Config

java.lang.Object
- Sequenic.T3.Config

```
public class Config
extends java.lang.Object
```
Used to hold various configuration parameters for T3. The use of this Config class is shared by multiple T3's API classes, but keep in mind that such an API class may not utilize all configuration parameters available in this Config class.

Field Summary

Fields
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.
`boolean`	`dropDuplicates`
`boolean`	`dropInvalidTraces` In non-regression mode, if true this will drop traces that violate some assumption, e.g.
`double`	`fieldUpdateProbability`
`boolean`	`includeInheritedMembers`
`boolean`	`injectOracles` If regressionMode and this flag are true, this will automatically inject oracles into the generated test-sequence.
`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`
`boolean`	`maximizePrefix` If true will try to maximize the prefix to the specified maximum length.
`int`	`maxLevelOfObjectsNesting`
`int`	`maxNumberOfPairs` Specify the max.
`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 violation.
`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.
`int`	`reportVerbosity`
`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`
`boolean`	`surpressPairwiseTesting` If true will supress the pair-wise generation of test goals by T3.

Constructor Summary

Constructors
Constructor and Description

Config()
Create a config, with default setting.

Constructors
Constructor and Description
`Config()` Create a config, with default setting.

Method Summary

All Methods Instance Methods Concrete Methods
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)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - CUT
```
public java.lang.Class CUT
```
  - assumeClientInTheSamePackage
```
public boolean assumeClientInTheSamePackage
```
  - includeInheritedMembers
```
public boolean includeInheritedMembers
```
  - maxLevelOfObjectsNesting
```
public int maxLevelOfObjectsNesting
```
  - maxCollectionSize
```
public int maxCollectionSize
```
  - maxNumberOfStepRetry
```
public int maxNumberOfStepRetry
```
  - maxNumberOfSeqRetry
```
public int maxNumberOfSeqRetry
```
  - maxPrefixLength
```
public int maxPrefixLength
```
  - maxSuffixLength
```
public int maxSuffixLength
```
  - maximizePrefix
```
public boolean maximizePrefix
```
    If true will try to maximize the prefix to the specified maximum length. Default it true.
  - suiteSizeMultiplierPerGoal
```
public double suiteSizeMultiplierPerGoal
```
  - fieldUpdateProbability
```
public double fieldUpdateProbability
```
  - maxNumberOfPairs
```
public int maxNumberOfPairs
```
    Specify the max. number of pairs, in T3's pairwise goal calculation. This is to prevent exploding the size of the suite:
  - surpressPairwiseTesting
```
public boolean surpressPairwiseTesting
```
    If true will supress the pair-wise generation of test goals by T3. The default is false.
  - keepOnlyRedTraces
```
public 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. Other sequences are dropped. Default is false.
  - dropInvalidTraces
```
public boolean dropInvalidTraces
```
    In non-regression mode, if true this will drop traces that violate some assumption, e.g. throwing IllegalArgumentException. In the regression-mode this has no effect. The default is true.
  - dropDuplicates
```
public boolean dropDuplicates
```
  - splitSuite
```
public int splitSuite
```
    The resulting suite will be split into this number of sub-suites.
  - sequencePrintOut
```
public java.io.OutputStream sequencePrintOut
```
    An output stream to print out sequence-executions (if requested).
  - reportOut
```
public java.io.OutputStream reportOut
```
    An output stream to print out report and statistics.
  - reportVerbosity
```
public int reportVerbosity
```
  - regressionMode
```
public boolean regressionMode
```
    If true, the CUT is assumed to be correct, and we want to generate a suite to be used for regression testing. Oralces will be injected into the sequences; e.g. stating that methods should return exactly the same values as they do now. If exceptions are thrown, then they are converted into oracles, stating that the same exceptions should be thrown by replay (negative tests). The default is false.
  - injectOracles
```
public boolean injectOracles
```
    If regressionMode and this flag are true, this will automatically inject oracles into the generated test-sequence. Default is true.
  - numberOfCores
```
public int numberOfCores
```
    The number of processor cores. The default is 1.
  - dirsToClasses
```
public java.lang.String[] dirsToClasses
```
    A list of paths to roots of the class files that are to be scanned for building an interface map.
  - replayRunAll
```
public 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 violation. This exception will be wrapped in a Violation, and then (re-)thrown.
  - replayShowExcExecution
```
public 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.
  - replayShowLength
```
public int replayShowLength
```
  - replayShowDepth
```
public int replayShowDepth
```
- Constructor Detail
  - Config
```
public Config()
```
    Create a config, with default setting.
- Method Detail
  - setDirsToClasses
```
public void setDirsToClasses(java.lang.String... dirs)
```
  - reportWrite
```
protected void reportWrite(java.lang.String s)
```
  - reportWriteln
```
protected void reportWriteln(java.lang.String s)
```
  - print
```
public void print()
```
  - printGeneral
```
public void printGeneral()
```
  - printGeneratorRelated
```
public void printGeneratorRelated()
```
  - printReplayRelated
```
public void printReplayRelated()
```

Class Config

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

CUT

assumeClientInTheSamePackage

includeInheritedMembers

maxLevelOfObjectsNesting

maxCollectionSize

maxNumberOfStepRetry

maxNumberOfSeqRetry

maxPrefixLength

maxSuffixLength

maximizePrefix

suiteSizeMultiplierPerGoal

fieldUpdateProbability

maxNumberOfPairs

surpressPairwiseTesting

keepOnlyRedTraces

dropInvalidTraces

dropDuplicates

splitSuite

sequencePrintOut

reportOut

reportVerbosity

regressionMode

injectOracles

numberOfCores

dirsToClasses

replayRunAll

replayShowExcExecution

replayShowLength

replayShowDepth

Constructor Detail

Config

Method Detail

setDirsToClasses

reportWrite

reportWriteln

print

printGeneral

printGeneratorRelated

printReplayRelated