Package org.checkerframework.qualframework.base

Interface Summary

Interface	Description
AnnotationConverter<Q>	DefaultQualifiedTypeFactory component for converting annotations written in source code into type qualifiers.
QualifiedTypeFactory<Q>	Used to compute the qualified type of a Tree or Element.
QualifiedTypes<Q>	Helper functions for various manipulations of QualifiedTypeMirrors.
QualifiedTypeVisitor<Q,R,P>	A visitor for QualifiedTypeMirrors, patterned after TypeVisitor.
QualifierHierarchy<Q>	DefaultQualifiedTypeFactory component for performing subtyping checks between qualifiers.
TypeHierarchy<Q>	DefaultQualifiedTypeFactory component for performing subtyping checks between QualifiedTypeMirrors.

Class Summary

Class	Description
Checker<Q>	Main entry point for a pluggable type system.
CheckerAdapter<Q>	Adapter class for Checker, extending org.checkerframework.common.basetype.BaseTypeChecker.
DefaultQualifiedTypeFactory<Q>	Default implementation of QualifiedTypeFactory.
DefaultTypeHierarchy<Q>	Default implementation of TypeHierarchy.
QualifiedTypeMirror<Q>	A ExtendedTypeMirror with a qualifier for the top level and for each component of the type.
QualifiedTypeMirror.QualifiedArrayType<Q>
QualifiedTypeMirror.QualifiedDeclaredType<Q>
QualifiedTypeMirror.QualifiedExecutableType<Q>
QualifiedTypeMirror.QualifiedIntersectionType<Q>
QualifiedTypeMirror.QualifiedNoType<Q>
QualifiedTypeMirror.QualifiedNullType<Q>
QualifiedTypeMirror.QualifiedParameterDeclaration<Q>
QualifiedTypeMirror.QualifiedPrimitiveType<Q>
QualifiedTypeMirror.QualifiedTypeDeclaration<Q>
QualifiedTypeMirror.QualifiedTypeVariable<Q>
QualifiedTypeMirror.QualifiedUnionType<Q>
QualifiedTypeMirror.QualifiedWildcardType<Q>
QualifiedTypeParameterBounds<Q>	A pair of the qualified upper and lower bound types for a type parameter.
QualifierMapVisitor<Q,R,P>	Visitor that maps a function over every qualifier in a QualifiedTypeMirror.
SetQualifierVisitor<Q>	Visitor that replaces the qualifier of a QualifiedTypeMirror.
SimpleQualifiedTypeVisitor<Q,R,P>	A simple implementation of QualifiedTypeVisitor, patterned after SimpleTypeVisitor8.
TreeAnnotator<Q>	DefaultQualifiedTypeFactory component for computing the qualified type of a Tree.
TypeAnnotator<Q>	DefaultQualifiedTypeFactory component for annotating a ExtendedTypeMirror with qualifiers.
TypecheckVisitorAdapter<Q>	This class is a shim to allow writing typecheck-visitors using QualifiedTypeMirrors instead of AnnotatedTypeMirrors.
TypeMirrorConverter<Q>	Helper class used by adapters to convert between QualifiedTypeMirror and AnnotatedTypeMirror.
TypeVariableSubstitutor<Q>	TypeVariableSubstitutor replaces type variables from a declaration with arguments to its use.
TypeVariableSubstitutorAdapter<Q>	Adapt substitution to the Qual Framework