See: Description
Interface | Description |
---|---|
BaseTypeContext |
An extension of
CFContext that includes BaseTypeChecker -specific components. |
TypeValidator |
TypeValidator ensures that a type for a given tree is valid both for the tree
and the type system that is being used to check the tree.
|
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 that
type-checks assignments, pseudo-assignments such as parameter passing
and method invocation, and method overriding. |
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.