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.AbstractViewpointAdapter (implements org.checkerframework.framework.type.ViewpointAdapter)
- org.checkerframework.framework.type.AnnotatedTypeCopier (implements org.checkerframework.framework.type.visitor.AnnotatedTypeVisitor<R,P>)
- org.checkerframework.framework.type.AnnotatedTypeCopierWithReplacement.Visitor
- 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.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,PARAM> (implements org.checkerframework.framework.type.visitor.AtmComboVisitor<RETURN_TYPE,PARAM>)
Interface Hierarchy
- org.checkerframework.framework.type.AnnotatedTypeFormatter
- org.checkerframework.framework.type.TypeHierarchy
- org.checkerframework.framework.type.ViewpointAdapter
Enum Hierarchy
- java.lang.Object
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
- org.checkerframework.framework.type.GenericAnnotatedTypeFactory.ScanState
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)