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.