org.checkerframework.framework.type

Interfaces

• AnnotatedTypeMirror.AnnotatedReferenceType

Classes

• AnnotatedTypeFactory
• AnnotatedTypeFactory.InheritedFromClassAnnotator
• AnnotatedTypeMirror
• AnnotatedTypeMirror.AnnotatedArrayType
• AnnotatedTypeMirror.AnnotatedDeclaredType
• AnnotatedTypeMirror.AnnotatedExecutableType
• AnnotatedTypeMirror.AnnotatedIntersectionType
• AnnotatedTypeMirror.AnnotatedNoType
• AnnotatedTypeMirror.AnnotatedNullType
• AnnotatedTypeMirror.AnnotatedPrimitiveType
• AnnotatedTypeMirror.AnnotatedTypeVariable
• AnnotatedTypeMirror.AnnotatedUnionType
• AnnotatedTypeMirror.AnnotatedWildcardType
• AnnotatedTypeParameterBounds
• DeclarationsIntoElements
• GeneralAnnotatedTypeFactory
• GenericAnnotatedTypeFactory
• ImplicitsTreeAnnotator
• ListTreeAnnotator
• PropagationTreeAnnotator
• QualifierHierarchy
• TreeAnnotator
• TypeAnnotator
• TypeFromElement
• TypeHierarchy
• TypesIntoElements
• VisitorState

Enums

• GenericAnnotatedTypeFactory.ScanState