Package ru.ispras.microtesk.test
Class Statistics
- java.lang.Object
-
- ru.ispras.microtesk.test.Statistics
-
public final class Statistics extends java.lang.Object
TheStatistics
class collects statistical information and performance metrics during test program generation.
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
Statistics.Activity
-
Constructor Summary
Constructors Constructor Description Statistics()
Statistics(long programLengthLimit, long traceLengthLimit)
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description int
getDataFiles()
long
getInstructions()
long
getProgramLength()
int
getPrograms()
int
getSequences()
long
getTimeMetric(Statistics.Activity activity)
java.lang.String
getTimeMetricText(Statistics.Activity activity)
long
getTotalTime()
long
getTotalTraceLength()
void
incDataFiles()
void
incInstructions(int count)
void
incPrograms()
void
incSequences()
void
incTraceLength()
boolean
isFileLengthLimitExceeded()
boolean
isProgramLengthLimitExceeded()
boolean
isTraceLengthLimitExceeded()
void
popActivity()
void
pushActivity(Statistics.Activity activity)
void
saveTotalTime()
void
setProgramLengthLimit(long value)
void
setTraceLengthLimit(long value)
static java.lang.String
timeToString(long time)
-
-
-
Method Detail
-
saveTotalTime
public void saveTotalTime()
-
pushActivity
public void pushActivity(Statistics.Activity activity)
-
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()
-
getTimeMetric
public long getTimeMetric(Statistics.Activity activity)
-
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)
-
-