Class | Description |
---|---|
Config |
Used to hold various configuration parameters for T3.
|
CONSTANTS | |
CustomSuiteGenAPI |
A class to facilitate the definition of a custom suite generator.
|
ImplementationMap |
This class essentially implements a mapping between classes, and how their instance
can be created.
|
Pool |
Represents an object pool.
|
ReplayCmd |
A command-line tool to replay suite-files.
|
SuiteAPI |
Provides some basic APIs for suite, such as to load and replay suites.
|
SuiteAPI2 |
A slight extension of SuiteAPI, with common methods needed by subclasses,
but require java-8, or depends directly or indirectly on classes
that need java-8.
|
T3Cmd |
T3 command line tool.
|
T3Random | |
T3SuiteGenAPI |
This class provides top-level APIs to test a class.
|
TestingScope |
Representing the constructors, methods, and fields that are to be included in testing.
|
Exception | Description |
---|---|
T3Exception |
To represent issues in T3's own algorithm; so this exception is thrown by T3
itself.
|
Error | Description |
---|---|
ClassInvariantError |
To represent a violation to a class invariant.
|
OracleError |
A test sequence may be decorated with some oracles.
|
Violation |
When a test sequence throws an exception, when T3 is configured to re-throw exceptions,
it will be wrapped inside this Violation class, so that we can distinguish it from
exception thrown by T3 itself.
|