Contains a simple type-checker plug-in that performs assignment and pseudo-assignment checks on annotated types.
Most type-checker implementations will want to use the classes in this package as the base of their own type-checkers.
- See the Checker Framework Manual:
- Writing a checker
ClassDescriptionA visitor to validate the types in a tree.A
SourceVisitorthat performs assignment and pseudo-assignment checking, method invocation checking, and assignability checking.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.