Class Statistics


  • public final class Statistics
    extends java.lang.Object
    The Statistics class collects statistical information and performance metrics during test program generation.
    • Constructor Detail

      • Statistics

        public Statistics()
      • Statistics

        public Statistics​(long programLengthLimit,
                          long traceLengthLimit)
    • Method Detail

      • saveTotalTime

        public void saveTotalTime()
      • popActivity

        public void popActivity()
      • incPrograms

        public void incPrograms()
      • incDataFiles

        public void incDataFiles()
      • incSequences

        public void incSequences()
      • incInstructions

        public void incInstructions​(int count)
      • incTraceLength

        public void incTraceLength()
      • getTotalTime

        public long getTotalTime()
      • getTimeMetricText

        public java.lang.String getTimeMetricText​(Statistics.Activity activity)
      • getPrograms

        public int getPrograms()
      • getDataFiles

        public int getDataFiles()
      • getSequences

        public int getSequences()
      • getInstructions

        public long getInstructions()
      • getProgramLength

        public long getProgramLength()
      • getTotalTraceLength

        public long getTotalTraceLength()
      • isFileLengthLimitExceeded

        public boolean isFileLengthLimitExceeded()
      • isProgramLengthLimitExceeded

        public boolean isProgramLengthLimitExceeded()
      • isTraceLengthLimitExceeded

        public boolean isTraceLengthLimitExceeded()
      • setProgramLengthLimit

        public void setProgramLengthLimit​(long value)
      • setTraceLengthLimit

        public void setTraceLengthLimit​(long value)
      • timeToString

        public static java.lang.String timeToString​(long time)