Class | Description |
---|---|
ClassLiterals |
For a given class C, ClassLiterals maps C (if present) to a collection of literals (represented
as single-element sequences) that are defined in C.
|
DummyVariable |
A dummy variable, to ensure that parameter lists are the expected length.
|
ExecutableSequence |
An ExecutableSequence wraps a
Sequence with functionality for executing the sequence, via
methods ExecutableSequence.execute(ExecutionVisitor, TestCheckGenerator) and ExecutableSequence.execute(ExecutionVisitor, TestCheckGenerator, boolean) . |
Execution |
Represents the unfolding execution of a sequence.
|
MappedSequences<K> |
A multimap from keys of type K to sequences.
|
PackageLiterals |
For a given package P, PackageLiterals maps P (if present) to a collection of literals
(represented as single-element sequences) that can be used as inputs to classes in the given
package.
|
ReferenceValue |
Represents a
ReferenceType value created by the execution of a Statement . |
Sequence |
An immutable sequence of
Statement s. |
Sequence.RelativeNegativeIndex |
Used internally (i.e.
|
SequenceCollection |
A collection of sequences that makes it efficient to ask for all the sequences that create a
value of a given type.
|
Statement |
Statement represents a Java statement, such as a method call
Foo f = m(i1...iN) or a
declaration int x = 0 . |
TupleSequence |
A Sequence that produces a tuple or collection of values, all of the same type.
|
Value |
Utility methods to work with values in test sequences.
|
Variable |
Represents the result of a statement call in a sequence.
|
VariableRenamer |
Exception | Description |
---|---|
SequenceExecutionException |
Represents an error that occurs during execution of a sequence.
|
SequenceParseException | |
StringTooLongException |
An exception indicating a string is too long.
|
Error | Description |
---|---|
SequenceExceptionError |
Exception representing occurrence of a "flaky" test sequence where an exception was thrown by a
statement other than the last of the sequence.
|