Hierarchy For Package org.checkerframework.checker.nullness

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • org.checkerframework.dataflow.analysis.AbstractAnalysis<V,S,T> (implements org.checkerframework.dataflow.analysis.Analysis<V,S,T>)
    • org.checkerframework.dataflow.analysis.ForwardAnalysisImpl<V,S,T> (implements org.checkerframework.dataflow.analysis.ForwardAnalysis<V,S,T>)
      • org.checkerframework.framework.flow.CFAbstractAnalysis<V,S,T>
        • org.checkerframework.checker.nullness.KeyForAnalysis
        • org.checkerframework.checker.nullness.NullnessAnalysis
  • org.checkerframework.framework.type.visitor.AbstractAtmComboVisitor<RETURN_TYPE,PARAM> (implements org.checkerframework.framework.type.visitor.AtmComboVisitor<RETURN_TYPE,PARAM>)
    • org.checkerframework.framework.type.DefaultTypeHierarchy (implements org.checkerframework.framework.type.TypeHierarchy)
      • org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory.KeyForTypeHierarchy
  • 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.checker.initialization.InitializationTransfer<V,T,S>
        • org.checkerframework.checker.nullness.NullnessTransfer
      • org.checkerframework.checker.nullness.KeyForTransfer
  • 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.initialization.InitializationChecker
            • org.checkerframework.checker.nullness.NullnessChecker
          • org.checkerframework.checker.nullness.KeyForSubchecker
  • org.checkerframework.framework.type.AnnotatedTypeFactory (implements org.checkerframework.javacutil.AnnotationProvider)
    • org.checkerframework.framework.type.GenericAnnotatedTypeFactory<Value,Store,TransferFunction,FlowAnalysis>
      • org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory<Value,Store,Transfer,Flow>
        • org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
      • org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory
  • org.checkerframework.framework.type.visitor.AnnotatedTypeScanner<R,P> (implements org.checkerframework.framework.type.visitor.AnnotatedTypeVisitor<R,P>)
    • org.checkerframework.framework.type.typeannotator.TypeAnnotator
      • org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory.CommitmentTypeAnnotator
        • org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory.NullnessTypeAnnotator
  • org.checkerframework.framework.flow.CFAbstractStore<V,S> (implements org.checkerframework.dataflow.analysis.Store<S>, org.plumelib.util.UniqueId)
    • org.checkerframework.checker.initialization.InitializationStore<V,S>
      • org.checkerframework.checker.nullness.NullnessStore (implements org.plumelib.util.UniqueId)
    • org.checkerframework.checker.nullness.KeyForStore
  • org.checkerframework.framework.flow.CFAbstractValue<V> (implements org.checkerframework.dataflow.analysis.AbstractValue<V>)
    • org.checkerframework.checker.nullness.KeyForValue
    • org.checkerframework.checker.nullness.NullnessValue
  • org.checkerframework.checker.nullness.CollectionToArrayHeuristics
  • org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter (implements org.checkerframework.framework.type.AnnotatedTypeFormatter)
    • org.checkerframework.checker.nullness.NullnessAnnotatedTypeFormatter
  • org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter.FormattingVisitor (implements org.checkerframework.framework.type.visitor.AnnotatedTypeVisitor<R,P>)
    • org.checkerframework.checker.nullness.NullnessAnnotatedTypeFormatter.NullnessFormattingVisitor
  • org.checkerframework.framework.type.ElementQualifierHierarchy (implements org.checkerframework.framework.type.QualifierHierarchy)
    • org.checkerframework.framework.type.MostlyNoElementQualifierHierarchy
      • org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory.InitializationQualifierHierarchy
        • org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory.NullnessQualifierHierarchy
  • org.checkerframework.checker.nullness.KeyForPropagator
  • com.sun.source.util.SimpleTreeVisitor<R,P> (implements com.sun.source.tree.TreeVisitor<R,P>)
    • org.checkerframework.framework.type.treeannotator.TreeAnnotator
      • org.checkerframework.checker.nullness.KeyForPropagationTreeAnnotator
      • org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory.NullnessTreeAnnotator
      • org.checkerframework.framework.type.treeannotator.PropagationTreeAnnotator
        • org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory.NullnessPropagationTreeAnnotator
  • org.checkerframework.checker.nullness.SystemGetPropertyHandler
  • 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.initialization.InitializationVisitor<Factory,Value,Store>
            • org.checkerframework.checker.nullness.NullnessVisitor

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • org.checkerframework.checker.nullness.KeyForPropagator.PropagationDirection