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