Skip navigation links

Package org.checkerframework.common.basetype

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

See: Description

Package org.checkerframework.common.basetype Description

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
Skip navigation links