Class Hierarchy
- java.lang.Object
- org.checkerframework.framework.type.visitor.AbstractAtmComboVisitor<RETURN_TYPE,
PARAM> (implements org.checkerframework.framework.type.visitor.AtmComboVisitor<RETURN_TYPE, PARAM>) - org.checkerframework.framework.type.AsSuperVisitor
- org.checkerframework.framework.type.DefaultTypeHierarchy (implements org.checkerframework.framework.type.TypeHierarchy)
- org.checkerframework.framework.type.visitor.EquivalentAtmComboScanner<RETURN_TYPE,
PARAM> - org.checkerframework.framework.type.EqualityAtmComparer
- org.checkerframework.framework.type.StructuralEqualityComparer
- org.checkerframework.framework.type.AnnotatedTypeCopier (implements org.checkerframework.framework.type.visitor.AnnotatedTypeVisitor<R,
P>) - org.checkerframework.framework.type.AnnotatedTypeCopierWithReplacement.Visitor
- org.checkerframework.framework.type.AnnotatedTypeFactory.CapturedTypeVarSubstitutor
- org.checkerframework.framework.type.TypeVariableSubstitutor.Visitor
- org.checkerframework.framework.type.AnnotatedTypeCopierWithReplacement
- org.checkerframework.framework.type.AnnotatedTypeFactory (implements org.checkerframework.javacutil.AnnotationProvider)
- org.checkerframework.framework.type.GenericAnnotatedTypeFactory<Value,
Store, TransferFunction, FlowAnalysis>
- org.checkerframework.framework.type.GenericAnnotatedTypeFactory<Value,
- org.checkerframework.framework.type.AnnotatedTypeFactory.ParameterizedExecutableType
- org.checkerframework.framework.type.AnnotatedTypeMirror (implements org.plumelib.util.DeepCopyable<T>)
- org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedArrayType
- org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedDeclaredType
- org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedExecutableType
- org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedIntersectionType
- org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedNoType
- org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedNullType
- org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedPrimitiveType
- org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedTypeVariable
- org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedUnionType
- org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedWildcardType
- org.checkerframework.framework.type.AnnotatedTypeParameterBounds
- org.checkerframework.framework.type.visitor.AnnotatedTypeScanner<R,
P> (implements org.checkerframework.framework.type.visitor.AnnotatedTypeVisitor<R, P>) - org.checkerframework.framework.type.visitor.DoubleAnnotatedTypeScanner<R>
- org.checkerframework.framework.type.AnnotatedTypeReplacer
- org.checkerframework.framework.type.visitor.SimpleAnnotatedTypeScanner<R,
P> - org.checkerframework.framework.type.HashcodeAtmVisitor
- org.checkerframework.framework.type.visitor.DoubleAnnotatedTypeScanner<R>
- org.checkerframework.framework.type.AnnotationClassLoader (implements java.io.Closeable)
- org.checkerframework.framework.type.BoundsInitializer
- org.checkerframework.framework.type.DeclarationsIntoElements
- org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter (implements org.checkerframework.framework.type.AnnotatedTypeFormatter)
- org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter.FormattingVisitor (implements org.checkerframework.framework.type.visitor.AnnotatedTypeVisitor<R,
P>) - org.checkerframework.framework.type.DefaultInferredTypesApplier
- org.checkerframework.framework.type.ElementAnnotationApplier
- org.checkerframework.framework.type.QualifierHierarchy
- org.checkerframework.framework.type.ElementQualifierHierarchy
- org.checkerframework.framework.type.MostlyNoElementQualifierHierarchy
- org.checkerframework.framework.type.SubtypeIsSubsetQualifierHierarchy
- org.checkerframework.framework.type.SubtypeIsSupersetQualifierHierarchy
- org.checkerframework.framework.type.MostlyNoElementQualifierHierarchy
- org.checkerframework.framework.type.NoElementQualifierHierarchy
- org.checkerframework.framework.type.ElementQualifierHierarchy
- org.checkerframework.framework.type.QualifierUpperBounds
- org.checkerframework.framework.type.StructuralEqualityVisitHistory
- org.checkerframework.framework.type.SubtypeVisitHistory
- org.checkerframework.framework.type.SyntheticArrays
- org.checkerframework.framework.type.TypesIntoElements
- org.checkerframework.framework.type.TypeVariableSubstitutor
- org.checkerframework.framework.type.visitor.AbstractAtmComboVisitor<RETURN_TYPE,
Interface Hierarchy
- org.checkerframework.framework.type.AnnotatedTypeFormatter
- org.checkerframework.framework.type.TypeHierarchy
Enum Class Hierarchy
- java.lang.Object
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
- org.checkerframework.framework.type.GenericAnnotatedTypeFactory.ScanState
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)