| Interface | Description |
|---|---|
| ExecutionVisitor |
A visitor that is invoked as the execution of a sequence unfolds.
|
| Class | Description |
|---|---|
| DummyVisitor |
A visitor that does nothing and adds no checks.
|
| ExceptionalExecution |
Means that the execution of a statement threw an exception.
|
| ExecutionOutcome |
Represents the outcome of executing one statement in a sequence, including:
the value returned by the statement, or the exception thrown.
|
| Globals |
Various general global variables used throughout Randoop.
|
| Globals.NullOutputStream |
Discards anything written to it.
|
| MultiVisitor |
An execution visitor that chains a list of visitors in sequence.
|
| NormalExecution |
Means that the statement that this result represents completed normally.
|
| NotExecuted |
Means that the statement that this outcome represents was not executed.
|
| SubTypeSet |
A set of classes.
|
| Exception | Description |
|---|---|
| ReplayFailureException |
Thrown by a ContractFailureReplayVisitor or a RegressionReplayVisitor when a regression
decoration fails to replay.
|
| Annotation Type | Description |
|---|---|
| CheckRep |
Write this annotation on a method to specify that that the method checks a representation
invariant.
|
| SideEffectFree |
A side-effect-free method does not change the state of receiver or parameters.
|
| TestValue |
Signals to Randoop that the value of a primitive (or primitive array) field in a class under test
should be used as an input value to methods under test.
|