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
-
Interface Summary Interface Description 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. -
Class Summary Class Description BaseAnnotatedTypeFactory A factory that extendsGenericAnnotatedTypeFactory
to use the default flow-sensitive analysis as provided byCFAnalysis
.BaseTypeChecker An abstractSourceChecker
that provides a simpleSourceVisitor
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<?,?,?,?>> ASourceVisitor
that performs assignment and pseudo-assignment checking, method invocation checking, and assignability checking.BaseTypeVisitor.FoundRequired Class that creates string representations ofAnnotatedTypeMirror
s which are only verbose if required to differentiate the two types.