randoop.util

Class RecordListReader

java.lang.Object

randoop.util.RecordListReader

public class RecordListReader
extends java.lang.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. .

Field Summary

Fields

Modifier and Type	Field and Description
private java.lang.String	endMarker The value of endMarker is "END recordType"
private RecordProcessor	processor The object in charge of doing whatever is to be done with the record.
private java.lang.String	startMarker The value of startMarker is "START recordType"

Constructor Summary

Constructors

Constructor and Description
RecordListReader(java.lang.String recordType, RecordProcessor proc)

Method Summary

Modifier and Type	Method and Description
private static java.lang.String	nextNWCLine(java.io.BufferedReader reader)
void	parse(java.io.BufferedReader reader)
void	parse(java.nio.file.Path inFile)
void	parse(java.lang.String inFile)
private java.util.List<java.lang.String>	readOneRecord(java.io.BufferedReader reader)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

startMarker

private final java.lang.String startMarker

The value of startMarker is "START recordType"

endMarker

private final java.lang.String endMarker

The value of endMarker is "END recordType"

processor

private final RecordProcessor processor

The object in charge of doing whatever is to be done with the record.

Constructor Detail

RecordListReader

public RecordListReader(java.lang.String recordType,
                        RecordProcessor proc)

Method Detail

parse

public void parse(java.lang.String inFile)

parse

public void parse(java.nio.file.Path inFile)

parse

public void parse(java.io.BufferedReader reader)

readOneRecord

private java.util.List<java.lang.String> readOneRecord(java.io.BufferedReader reader)
                                                throws java.io.IOException

Throws:

java.io.IOException

nextNWCLine

private static java.lang.String nextNWCLine(java.io.BufferedReader reader)
                                     throws java.io.IOException

Throws:

java.io.IOException