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 |
---|---|
static void |
addToFooter(java.lang.String text) |
static void |
addToHeader(java.lang.String text) |
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 fileIndex) |
static Printer |
newDataFile(Options options,
int fileIndex) |
static Printer |
newExceptionHandlerFile(Options options,
java.lang.String id) |
static Printer |
newSectionFile(java.lang.String name,
Options options,
int fileIndex) |
void |
printData(java.util.Collection<DataSection> dataSections) |
void |
printData(DataSection dataSection) |
void |
printSequence(Model model,
ConcreteSequence sequence)
Prints the specified instruction call sequence.
|
public static void addToHeader(java.lang.String text)
public static void addToFooter(java.lang.String text)
public static Printer getConsole(Options options, Statistics statistics)
public static Printer newCodeFile(Options options, int fileIndex) throws java.io.IOException
java.io.IOException
public static Printer newDataFile(Options options, int fileIndex) throws java.io.IOException
java.io.IOException
public static Printer newSectionFile(java.lang.String name, Options options, int fileIndex) throws java.io.IOException
java.io.IOException
public static Printer newExceptionHandlerFile(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(Model model, ConcreteSequence sequence) throws ConfigurationException
model
- Microprocessor model.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)