| CheckpointingMultiMap<K extends @Signed Object,V extends @Signed Object> |
A MultiMap that supports checkpointing and restoring to a checkpoint (that is, undoing all
operations up to a checkpoint, also called a "mark").
|
| CheckpointingSet<E extends @Signed Object> |
A Set that supports settingcheckpoints (also called "marks") and restoring the data structure's
state to them.
|
| ClassFileConstants |
Reads literals from a class file, including from the constant pool and from bytecodes that take
immediate arguments.
|
| ClassFileConstants.ConstantSet |
Stores constant values from a class file.
|
| CollectionsExt |
|
| ConstructorReflectionCode |
Wraps a constructor together with its arguments, ready for execution.
|
| CountDownTimer |
|
| IdentityMultiMap<K,V> |
A multi-map using key identity rather than equality.
|
| JarReader |
|
| KeyToMultiSet<K extends @Signed Object,V extends @Signed Object> |
A map from a key to a multi-set.
|
| ListOfLists<E> |
Given a list of lists, defines methods that can access all the elements as if they were part of a
single list, without actually merging the lists.
|
| Log |
Static methods that log to GenInputsAbstract.log, if that is non-null.
|
| MethodReflectionCode |
Wraps a method together with its arguments, ready for execution.
|
| MultiMap<K extends @Signed Object,V extends @Signed Object> |
Implements an IMultiMap with a java.util.LinkedHashMap.
|
| MultiMap.EmptyMultiMap<K extends @Signed Object,V extends @Signed Object> |
An immutable, empty multimap.
|
| MultiSet<E extends @Signed Object> |
A multiset: each value may appear multiple times.
|
| ObjectContractReflectionCode |
|
| OneMoreElementList<E> |
|
| ProgressDisplay |
Modified from Daikon.FileIOProgress.
|
| Randomness |
A simple-to-use wrapper around Random. |
| RandoopUncaughtRunnerThreadExceptionHandler |
|
| RecordListReader |
Reads a list of records from a text file, where a record is partially specified by the client of
this class.
|
| ReflectionCode |
Wraps a method or constructor together with its arguments.
|
| ReflectionExecutor |
Static methods that executes the code of a ReflectionCode object.
|
| RunnerThread |
|
| SimpleArrayList<E> |
|
| TestCoverageInfo |
|
| TestCoverageInfo.BranchCov |
|
| TupleSet<E> |
Represents a non-empty set of tuples.
|
| Util |
Helpers for assertions, and stuff...
|