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<Checker extends BaseTypeChecker>	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