|
Class Summary |
| Annotate |
Merge Daikon-generated invariants into Java source code as ESC/JML/DBC
annotations. |
| AnnotateVisitor |
|
| Annotation |
Utility class to parse annotations generated with the Annotate program
using --wrap_xml flag. |
| Annotation.Kind |
A class representing the kind of an annotation. |
| Ast |
|
| ClassOrInterfaceTypeDecorateVisitor |
Replaces uses of generic type parameters with versions that do not
use generics. |
| CreateSpinfo |
Create a splitter info file from Java source. |
| CreateSpinfoC |
|
| InsertCommentFormatter |
InsertCommentFormatter is a visitor that does not actually insert
comments, but instead corrects positioning fields of all the tokens
in the tree to accomodate already-inserted comments, while
modifying the formatting as little as possible. |
| InstrumentObserversVisitor |
Given a class with certain methods annotated as observers, adds one
field for each method, and adds code to update those fields with
the value of the observer at every procedure entry and exit. |
| InstrumentObserversVisitor.GrepObserversVisitor |
Constructs a list of "@ observer"-annotated methods. |
| OrigModifier |
OrigModifier is a visitor that places "orig()" around varible names
and correspondingly corrects positioning fields of all the tokens in
tree to accomodate the change. |
| ParseResults |
The wrapped result of parsing a .java source file. |
| PptNameMatcher |
Matches program point names with their corresponding MethodDeclaration's
(or ConstructorDeclaration's) in an AST. |
| SimpleTreeDumper |
Dumps the syntax tree to a Writer. |