| 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 the
--wrap_xml flag.
|
| Annotation.Kind |
A class representing the kind of an annotation.
|
| Ast |
Static methods for manipulating the 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.
|
| 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.
|