|
Class Summary |
| 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
runtime. |
| InstrumentVisitor |
Visitor that instruments a Java source file (i.e. adds code at
certain places) to check invariant violations at runtime. |
| 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. |