Package randoop.util

Class RecordListReader


  • public class RecordListReader
    extends Object
    Reads a list of records from a text file, where a record is partially specified by the client of this class.

    A record is a sequence of lines, where the first line is the string "START <recordtype>" and the last line is the string "END <recordtype>" where <recordtype> is specified by the client. For example:

    START person
     ... arbitrary text ...
     ... more arbitrary text ...
     END person
    Any lines within and between records, that are only whitespace or start with "#", are skipped.

    This class's built-in functionality extracts records from a file. It then parses and processes each record, using the RecordProcessor provided by the client. .