Hierarchy For Package org.checkerframework.framework.util

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • 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.framework.util.PurityChecker
  • 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.framework.util.PurityAnnotatedTypeFactory
  • org.checkerframework.framework.util.AnnotatedTypes
  • org.checkerframework.framework.util.CheckerMain
  • org.checkerframework.framework.util.Contract
    • org.checkerframework.framework.util.Contract.ConditionalPostcondition
    • org.checkerframework.framework.util.Contract.Postcondition
    • org.checkerframework.framework.util.Contract.Precondition
  • org.checkerframework.framework.util.ContractsFromMethod
  • org.checkerframework.framework.util.DefaultAnnotationFormatter (implements org.checkerframework.framework.util.AnnotationFormatter)
  • org.checkerframework.framework.util.DefaultQualifierKindHierarchy (implements org.checkerframework.framework.util.QualifierKindHierarchy)
  • org.checkerframework.framework.util.DefaultQualifierKindHierarchy.DefaultQualifierKind (implements org.checkerframework.framework.util.QualifierKind)
  • org.checkerframework.framework.util.ExecUtil
  • org.checkerframework.framework.util.ExecUtil.Redirection
  • org.checkerframework.framework.util.FieldInvariants
  • org.checkerframework.framework.util.Heuristics
  • org.checkerframework.framework.util.JavaExpressionParseUtil
  • org.checkerframework.framework.util.JavaParserUtil
  • com.sun.source.util.SimpleTreeVisitor<R,P> (implements com.sun.source.tree.TreeVisitor<R,P>)
    • org.checkerframework.framework.util.Heuristics.Matcher
      • org.checkerframework.framework.util.Heuristics.OfKind
      • org.checkerframework.framework.util.Heuristics.OrMatcher
      • org.checkerframework.framework.util.Heuristics.PreceededBy
      • org.checkerframework.framework.util.Heuristics.Within
      • org.checkerframework.framework.util.Heuristics.WithinTrueBranch
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • org.checkerframework.framework.util.JavaExpressionParseUtil.JavaExpressionParseException
  • com.sun.source.util.TreeScanner<R,P> (implements com.sun.source.tree.TreeVisitor<R,P>)
    • org.checkerframework.framework.util.TreePathCacher
  • org.checkerframework.framework.util.TypeArgumentMapper
  • com.github.javaparser.ast.visitor.VoidVisitorAdapter<A> (implements com.github.javaparser.ast.visitor.VoidVisitor<A>)
    • org.checkerframework.framework.util.JavaParserUtil.StringLiteralConcatenateVisitor
    • org.checkerframework.framework.util.VoidVisitorWithDefaultAction

Interface Hierarchy

• org.checkerframework.framework.util.AnnotationFormatter
• java.lang.Comparable<T>
  • org.checkerframework.framework.util.QualifierKind
• org.checkerframework.framework.util.OptionConfiguration
• org.checkerframework.framework.util.QualifierKindHierarchy
• org.checkerframework.framework.util.StringToJavaExpression

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.util.AtmCombo
    • org.checkerframework.framework.util.Contract.Kind