| CheckerClass |
Represents a class created by the instrumenter to check invariants.
|
| CheckerClasses |
Represents a set of classes created by the instrumenter to check invariants.
|
| CommandHandler |
A command handler handles a set of commands.
|
| InstrumentHandler |
Instruments a file to check invariant violations at run time.
|
| InstrumentVisitor |
Visitor that instruments a Java source file (i.e. adds code at certain places) to check invariant
violations at run time.
|
| Main |
Main entrypoint for the instrumenter.
|
| Property |
A program property (currently, derived by Daikon).
|
| Property.Kind |
A class representing the kind of an property.
|
| Runtime |
If a class has been instrumented with the instrumenter, invariant violations are added to the
violations list.
|
| Violation |
Represents a violation of a Property.
|
| Violation.Time |
Indicates at which program point the violation occurred: at method entry or method exit.
|