See: Description
Class | Description |
---|---|
BaseAnnotatedTypeFactory |
A factory that extends
GenericAnnotatedTypeFactory to use the
default flow-sensitive analysis as provided by CFAnalysis . |
BaseTypeChecker |
An abstract
SourceChecker that provides a simple SourceVisitor implementation for typical assignment and
pseudo-assignment checking of annotated types. |
BaseTypeValidator |
A visitor to validate the types in a tree.
|
BaseTypeVisitor<Factory extends GenericAnnotatedTypeFactory<?,?,?,?>> |
A
SourceVisitor that performs assignment and pseudo-assignment
checking, method invocation checking, and assignability checking. |
Most type-checker implementations will want to use the classes in this package as the base of their own type-checkers.