Class Printer


  • public final class Printer
    extends java.lang.Object
    The Printer class is responsible for printing generated symbolic test programs (sequences of concrete calls to a file and to the screen).
    • Method Detail

      • addToHeader

        public static void addToHeader​(java.lang.String text)
      • addToFooter

        public static void addToFooter​(java.lang.String text)
      • newCodeFile

        public static Printer newCodeFile​(Options options,
                                          int fileIndex)
                                   throws java.io.IOException
        Throws:
        java.io.IOException
      • newDataFile

        public static Printer newDataFile​(Options options,
                                          int fileIndex)
                                   throws java.io.IOException
        Throws:
        java.io.IOException
      • newSectionFile

        public static Printer newSectionFile​(java.lang.String name,
                                             Options options,
                                             int fileIndex)
                                      throws java.io.IOException
        Throws:
        java.io.IOException
      • newExceptionHandlerFile

        public static Printer newExceptionHandlerFile​(Options options,
                                                      java.lang.String id)
                                               throws java.io.IOException
        Throws:
        java.io.IOException
      • getOutDir

        public static java.lang.String getOutDir​(Options options)
      • getFileName

        public java.lang.String getFileName()
      • close

        public void close()
      • delete

        public void delete()
      • printSequence

        public void printSequence​(Model model,
                                  ConcreteSequence sequence)
                           throws ConfigurationException
        Prints the specified instruction call sequence.
        Parameters:
        model - Microprocessor model.
        sequence - Instruction call sequence.
        Throws:
        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.
      • printData

        public void printData​(DataSection dataSection)
      • printData

        public void printData​(java.util.Collection<DataSection> dataSections)