public final class Printer
extends java.lang.Object
Printer
class is responsible for printing generated symbolic test programs
(sequences of concrete calls to a file and to the screen).Modifier and Type | Method and Description |
---|---|
void |
close() |
void |
delete() |
static Printer |
getConsole(Options options,
Statistics statistics) |
java.lang.String |
getFileName() |
static java.lang.String |
getOutDir(Options options) |
static Printer |
newCodeFile(Options options,
int codeFileIndex) |
static Printer |
newDataFile(Options options,
int dataFileIndex) |
static Printer |
newExcHandlerFile(Options options,
java.lang.String id) |
void |
printData(java.util.Collection<DataSection> dataSections) |
void |
printData(DataSection dataSection) |
void |
printSequence(ProcessingElement observer,
ConcreteSequence sequence)
Prints the specified instruction call sequence.
|
public static Printer newCodeFile(Options options, int codeFileIndex) throws java.io.IOException
java.io.IOException
public static Printer getConsole(Options options, Statistics statistics)
public static Printer newDataFile(Options options, int dataFileIndex) throws java.io.IOException
java.io.IOException
public static Printer newExcHandlerFile(Options options, java.lang.String id) throws java.io.IOException
java.io.IOException
public static java.lang.String getOutDir(Options options)
public java.lang.String getFileName()
public void close()
public void delete()
public void printSequence(ProcessingElement observer, ConcreteSequence sequence) throws ConfigurationException
sequence
- Instruction call sequence.java.lang.NullPointerException
- if the parameter is null.ConfigurationException
- if failed to evaluate one of the output objects associated with
an instruction call in the sequence.public void printData(DataSection dataSection)
public void printData(java.util.Collection<DataSection> dataSections)