Name | Description | Type | Package | Framework |
AnnotationConverter | DefaultQualifiedTypeFactory component for converting annotations written in source code into type qualifiers. | Interface | org.checkerframework.qualframework.base | Checker |
Checker | Main entry point for a pluggable type system. | Class | org.checkerframework.qualframework.base | Checker |
CheckerAdapter | Adapter class for Checker, extending org. | Class | org.checkerframework.qualframework.base | Checker |
DefaultQualFormatter | DefaultQualFormatter is a very basic QualFormatter that returns the toString of the qual. | Class | org.checkerframework.qualframework.base.format | Checker |
DefaultQualifiedTypeFactory | Default implementation of QualifiedTypeFactory. | Class | org.checkerframework.qualframework.base | Checker |
DefaultQualifiedTypeFormatter | DefaultQualifiedTypeFormatter formats QualifiedTypeMirrors into Strings. | Class | org.checkerframework.qualframework.base.format | Checker |
DefaultTypeHierarchy | Default implementation of TypeHierarchy. | Class | org.checkerframework.qualframework.base | Checker |
QualAnalysis | Checkers should extend a QualAnalysis to customize the TransferFunction for their checker. | Class | org.checkerframework.qualframework.base.dataflow | Checker |
QualFormatter | Qual to String formatter. | Interface | org.checkerframework.qualframework.base.format | Checker |
QualifiedTypeFactory | Used to compute the qualified type of a Tree or Element. | Interface | org.checkerframework.qualframework.base | Checker |
QualifiedTypeFormatter | Interface to format a QualifiedTypeMirrors or an individual qualifier. | Interface | org.checkerframework.qualframework.base.format | Checker |
QualifiedTypeMirror | A ExtendedTypeMirror with a qualifier for the top level and for each component of the type. | Class | org.checkerframework.qualframework.base | Checker |
QualifiedTypeMirror .QualifiedArrayType | Class | org.checkerframework.qualframework.base | Checker | |
QualifiedTypeMirror .QualifiedDeclaredType | Class | org.checkerframework.qualframework.base | Checker | |
QualifiedTypeMirror .QualifiedExecutableType | Class | org.checkerframework.qualframework.base | Checker | |
QualifiedTypeMirror .QualifiedIntersectionType | Class | org.checkerframework.qualframework.base | Checker | |
QualifiedTypeMirror .QualifiedNoType | Class | org.checkerframework.qualframework.base | Checker | |
QualifiedTypeMirror .QualifiedNullType | Class | org.checkerframework.qualframework.base | Checker | |
QualifiedTypeMirror .QualifiedParameterDeclaration | Class | org.checkerframework.qualframework.base | Checker | |
QualifiedTypeMirror .QualifiedPrimitiveType | Class | org.checkerframework.qualframework.base | Checker | |
QualifiedTypeMirror .QualifiedTypeDeclaration | Class | org.checkerframework.qualframework.base | Checker | |
QualifiedTypeMirror .QualifiedTypeVariable | Class | org.checkerframework.qualframework.base | Checker | |
QualifiedTypeMirror .QualifiedUnionType | Class | org.checkerframework.qualframework.base | Checker | |
QualifiedTypeMirror .QualifiedWildcardType | Class | org.checkerframework.qualframework.base | Checker | |
QualifiedTypeParameterBounds | A pair of the qualified upper and lower bound types for a type parameter. | Class | org.checkerframework.qualframework.base | Checker |
QualifiedTypes | Helper functions for various manipulations of QualifiedTypeMirrors. | Interface | org.checkerframework.qualframework.base | Checker |
QualifiedTypeVisitor | A visitor for QualifiedTypeMirrors, patterned after TypeVisitor. | Interface | org.checkerframework.qualframework.base | Checker |
QualifierHierarchy | DefaultQualifiedTypeFactory component for performing subtyping checks between qualifiers. | Interface | org.checkerframework.qualframework.base | Checker |
QualifierMapVisitor | Visitor that maps a function over every qualifier in a QualifiedTypeMirror. | Class | org.checkerframework.qualframework.base | Checker |
QualStore | QualStore is a Store for quals. | Class | org.checkerframework.qualframework.base.dataflow | Checker |
QualTransfer | A TransferFunction for the Qual Framework. | Class | org.checkerframework.qualframework.base.dataflow | Checker |
QualTransferAdapter | QualTransferAdapter adapts the CFTransfer to a QualTransfer. | Class | org.checkerframework.qualframework.base.dataflow | Checker |
QualValue | QualValue is an AbstractValue for quals. | Class | org.checkerframework.qualframework.base.dataflow | Checker |
SetQualifierVisitor | Visitor that replaces the qualifier of a QualifiedTypeMirror. | Class | org.checkerframework.qualframework.base | Checker |
SimpleQualifiedTypeVisitor | A simple implementation of QualifiedTypeVisitor, patterned after SimpleTypeVisitor8. | Class | org.checkerframework.qualframework.base | Checker |
TreeAnnotator | Class | org.checkerframework.qualframework.base | Checker | |
TypeAnnotator | DefaultQualifiedTypeFactory component for annotating a ExtendedTypeMirror with qualifiers. | Class | org.checkerframework.qualframework.base | Checker |
TypecheckVisitorAdapter | This class is a shim to allow writing typecheck-visitors using QualifiedTypeMirrors instead of AnnotatedTypeMirrors. | Class | org.checkerframework.qualframework.base | Checker |
TypeHierarchy | DefaultQualifiedTypeFactory component for performing subtyping checks between QualifiedTypeMirrors. | Interface | org.checkerframework.qualframework.base | Checker |
TypeMirrorConverter | Helper class used by adapters to convert between QualifiedTypeMirror and AnnotatedTypeMirror. | Class | org.checkerframework.qualframework.base | Checker |
TypeMirrorConverter .Key | Class | org.checkerframework.qualframework.base | Checker | |
TypeVariableSubstitutor | TypeVariableSubstitutor replaces type variables from a declaration with arguments to its use. | Class | org.checkerframework.qualframework.base | Checker |
TypeVariableSubstitutorAdapter | Class | org.checkerframework.qualframework.base | Checker | |