public class Config
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
boolean |
assumeClientInTheSamePackage |
java.lang.Class |
CUT |
java.lang.String[] |
dirsToClasses
A list of paths to roots of the class files that are to be scanned for building
an interface map.
|
double |
fieldUpdateProbability |
boolean |
keepOnlyRedTraces
If true we will only keep sequences that violates assertions, or throws an exception,
one that is caused by a violation to a pre-condition.
|
int |
maxCollectionSize |
int |
maxLevelOfObjectsNesting |
int |
maxNumberOfSeqRetry |
int |
maxNumberOfStepRetry |
int |
maxPrefixLength |
int |
maxSuffixLength |
int |
numberOfCores
The number of processor cores.
|
boolean |
regressionMode
If true, the CUT is assumed to be correct, and we want to generate
a suite to be used for regression testing.
|
boolean |
replayRunAll
If true, when replaying a suite, all sequences will be run; else the execution will
stop at the first step, in the first execution that throws an exception.
|
int |
replayShowDepth |
boolean |
replayShowExcExecution
If true, then replays that throw exception (or Oracle
Error in the regression-mode) will be shown/reported into the given output stream.
|
int |
replayShowLength |
java.io.OutputStream |
reportOut
An output stream to print out report and statistics.
|
java.io.OutputStream |
sequencePrintOut
An output stream to print out sequence-executions (if requested).
|
int |
splitSuite
The resulting suite will be split into this number of sub-suites.
|
double |
suiteSizeMultiplierPerGoal |
Constructor and Description |
---|
Config()
Create a config, with default setting.
|
Modifier and Type | Method and Description |
---|---|
void |
print() |
void |
printGeneral() |
void |
printGeneratorRelated() |
void |
printReplayRelated() |
protected void |
reportWrite(java.lang.String s) |
protected void |
reportWriteln(java.lang.String s) |
void |
setDirsToClasses(java.lang.String... dirs) |
public java.lang.Class CUT
public boolean assumeClientInTheSamePackage
public int maxLevelOfObjectsNesting
public int maxCollectionSize
public int maxNumberOfStepRetry
public int maxNumberOfSeqRetry
public int maxPrefixLength
public int maxSuffixLength
public double suiteSizeMultiplierPerGoal
public double fieldUpdateProbability
public boolean keepOnlyRedTraces
public int splitSuite
public java.io.OutputStream sequencePrintOut
public java.io.OutputStream reportOut
public boolean regressionMode
public int numberOfCores
public java.lang.String[] dirsToClasses
public boolean replayRunAll
public boolean replayShowExcExecution
public int replayShowLength
public int replayShowDepth
public void setDirsToClasses(java.lang.String... dirs)
protected void reportWrite(java.lang.String s)
protected void reportWriteln(java.lang.String s)
public void print()
public void printGeneral()
public void printGeneratorRelated()
public void printReplayRelated()