Package checkers.basetype

Contains a simple typechecker plug-in that performs assignment and pseudo-assignment checks on annotated types.

See:
          Description

Class Summary
Class Description
BaseTypeChecker An abstract SourceChecker that provides a simple SourceVisitor implementation for typical assignment and pseudo-assignment checking of annotated types.
BaseTypeVisitor<R,P> A SourceVisitor that performs assignment and pseudo-assignment checking, method invocation checking, and assignability checking.
 

Package checkers.basetype Description

Contains a simple typechecker plug-in that performs assignment and pseudo-assignment checks on annotated types.

Most typechecker implementations will want to use the classes in this package as the base of their own typecheckers.

See the Checker Framework manual:
Writing a checker