org.checkerframework.framework.type

Interfaces

• AnnotatedTypeFormatter
• QualifierHierarchy
• TypeHierarchy

Classes

• AnnotatedTypeCopier
• AnnotatedTypeCopierWithReplacement
• AnnotatedTypeCopierWithReplacement.Visitor
• AnnotatedTypeFactory
• AnnotatedTypeFactory.ParameterizedExecutableType
• AnnotatedTypeMirror
• AnnotatedTypeMirror.AnnotatedArrayType
• AnnotatedTypeMirror.AnnotatedDeclaredType
• AnnotatedTypeMirror.AnnotatedExecutableType
• AnnotatedTypeMirror.AnnotatedIntersectionType
• AnnotatedTypeMirror.AnnotatedNoType
• AnnotatedTypeMirror.AnnotatedNullType
• AnnotatedTypeMirror.AnnotatedPrimitiveType
• AnnotatedTypeMirror.AnnotatedTypeVariable
• AnnotatedTypeMirror.AnnotatedUnionType
• AnnotatedTypeMirror.AnnotatedWildcardType
• AnnotatedTypeParameterBounds
• AnnotatedTypeReplacer
• AnnotationClassLoader
• AsSuperVisitor
• BoundsInitializer
• DeclarationsIntoElements
• DefaultAnnotatedTypeFormatter
• DefaultAnnotatedTypeFormatter.FormattingVisitor
• DefaultInferredTypesApplier
• DefaultTypeHierarchy
• ElementAnnotationApplier
• ElementQualifierHierarchy
• EqualityAtmComparer
• GenericAnnotatedTypeFactory
• HashcodeAtmVisitor
• MostlyNoElementQualifierHierarchy
• NoElementQualifierHierarchy
• QualifierUpperBounds
• StructuralEqualityComparer
• StructuralEqualityVisitHistory
• SubtypeIsSubsetQualifierHierarchy
• SubtypeIsSupersetQualifierHierarchy
• SubtypeVisitHistory
• SyntheticArrays
• TypesIntoElements
• TypeVariableSubstitutor

Enums

• GenericAnnotatedTypeFactory.ScanState