org.checkerframework.common.basetype

Interfaces

• BaseTypeContext
• TypeValidator

Classes

• BaseAnnotatedTypeFactory
• BaseTypeChecker
• BaseTypeValidator
• BaseTypeVisitor