Hierarchy For Package org.checkerframework.checker.index.upperbound

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor<R,P> (implements org.checkerframework.dataflow.cfg.node.NodeVisitor<R,P>)
    • org.checkerframework.framework.flow.CFAbstractTransfer<V,S,T> (implements org.checkerframework.dataflow.analysis.ForwardTransferFunction<V,S>)
      • org.checkerframework.framework.flow.CFTransfer
        • org.checkerframework.checker.index.IndexAbstractTransfer
          • org.checkerframework.checker.index.upperbound.UpperBoundTransfer
  • javax.annotation.processing.AbstractProcessor (implements javax.annotation.processing.Processor)
    • org.checkerframework.javacutil.AbstractTypeProcessor
      • org.checkerframework.framework.source.SourceChecker (implements org.checkerframework.framework.util.OptionConfiguration)
        • org.checkerframework.common.basetype.BaseTypeChecker
          • org.checkerframework.checker.index.upperbound.UpperBoundChecker
  • org.checkerframework.framework.type.AnnotatedTypeFactory (implements org.checkerframework.javacutil.AnnotationProvider)
    • org.checkerframework.framework.type.GenericAnnotatedTypeFactory<Value,Store,TransferFunction,FlowAnalysis>
      • org.checkerframework.common.basetype.BaseAnnotatedTypeFactory
        • org.checkerframework.checker.index.BaseAnnotatedTypeFactoryForIndexChecker
          • org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory
  • org.checkerframework.checker.index.upperbound.OffsetEquation
  • org.checkerframework.framework.type.QualifierHierarchy
    • org.checkerframework.framework.type.ElementQualifierHierarchy
      • org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory.UpperBoundQualifierHierarchy
  • com.sun.source.util.SimpleTreeVisitor<R,P> (implements com.sun.source.tree.TreeVisitor<R,P>)
    • org.checkerframework.framework.type.treeannotator.TreeAnnotator
      • org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory.UpperBoundTreeAnnotator
  • com.sun.source.util.TreeScanner<R,P> (implements com.sun.source.tree.TreeVisitor<R,P>)
    • com.sun.source.util.TreePathScanner<R,P>
      • org.checkerframework.framework.source.SourceVisitor<R,P>
        • org.checkerframework.common.basetype.BaseTypeVisitor<Factory>
          • org.checkerframework.checker.index.upperbound.UpperBoundVisitor
  • org.checkerframework.checker.index.upperbound.UBQualifier
    • org.checkerframework.checker.index.upperbound.UBQualifier.LessThanLengthOf
    • org.checkerframework.checker.index.upperbound.UBQualifier.UpperBoundLiteralQualifier
    • org.checkerframework.checker.index.upperbound.UBQualifier.UpperBoundUnknownQualifier