org.checkerframework.qualframework.base

Interfaces

• AnnotationConverter
• QualifiedTypeFactory
• QualifiedTypes
• QualifiedTypeVisitor
• QualifierHierarchy
• TypeHierarchy

Classes

• Checker
• CheckerAdapter
• DefaultQualifiedTypeFactory
• DefaultTypeHierarchy
• QualifiedTypeMirror
• QualifiedTypeMirror.QualifiedArrayType
• QualifiedTypeMirror.QualifiedDeclaredType
• QualifiedTypeMirror.QualifiedExecutableType
• QualifiedTypeMirror.QualifiedIntersectionType
• QualifiedTypeMirror.QualifiedNoType
• QualifiedTypeMirror.QualifiedNullType
• QualifiedTypeMirror.QualifiedParameterDeclaration
• QualifiedTypeMirror.QualifiedPrimitiveType
• QualifiedTypeMirror.QualifiedTypeDeclaration
• QualifiedTypeMirror.QualifiedTypeVariable
• QualifiedTypeMirror.QualifiedUnionType
• QualifiedTypeMirror.QualifiedWildcardType
• QualifiedTypeParameterBounds
• QualifierMapVisitor
• SetQualifierVisitor
• SimpleQualifiedTypeVisitor
• TreeAnnotator
• TypeAnnotator
• TypecheckVisitorAdapter
• TypeMirrorConverter
• TypeVariableSubstitutor
• TypeVariableSubstitutorAdapter

Annotation Types

• TypeMirrorConverter.Key