Package org.checkerframework.common.basetype

package org.checkerframework.common.basetype

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

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.
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.