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.BackwardAnalysisImpl<V,S,T> (implements org.checkerframework.dataflow.analysis.BackwardAnalysis<V,S,T>)
- org.checkerframework.dataflow.analysis.ForwardAnalysisImpl<V,S,T> (implements org.checkerframework.dataflow.analysis.ForwardAnalysis<V,S,T>)
- org.checkerframework.dataflow.analysis.AbstractAnalysis.Worklist
- org.checkerframework.dataflow.analysis.AbstractAnalysis.Worklist.BackwardDFOComparator (implements java.util.Comparator<T>)
- org.checkerframework.dataflow.analysis.AbstractAnalysis.Worklist.ForwardDFOComparator (implements java.util.Comparator<T>)
- org.checkerframework.dataflow.analysis.AnalysisResult<V,S> (implements org.plumelib.util.UniqueId)
- org.checkerframework.dataflow.analysis.TransferInput<V,S> (implements org.plumelib.util.UniqueId)
- org.checkerframework.dataflow.analysis.TransferResult<V,S>
- org.checkerframework.dataflow.analysis.ConditionalTransferResult<V,S>
- org.checkerframework.dataflow.analysis.RegularTransferResult<V,S>
- org.checkerframework.dataflow.analysis.UnusedAbstractValue (implements org.checkerframework.dataflow.analysis.AbstractValue<V>)
- org.checkerframework.dataflow.analysis.AbstractAnalysis<V,S,T> (implements org.checkerframework.dataflow.analysis.Analysis<V,S,T>)
Interface Hierarchy
- org.checkerframework.dataflow.analysis.AbstractValue<V>
- org.checkerframework.dataflow.analysis.Analysis<V,S,T>
- org.checkerframework.dataflow.analysis.BackwardAnalysis<V,S,T>
- org.checkerframework.dataflow.analysis.ForwardAnalysis<V,S,T>
- org.checkerframework.dataflow.cfg.node.NodeVisitor<R,P>
- org.checkerframework.dataflow.analysis.TransferFunction<V,S>
- org.checkerframework.dataflow.analysis.BackwardTransferFunction<V,S>
- org.checkerframework.dataflow.analysis.ForwardTransferFunction<V,S>
- org.checkerframework.dataflow.analysis.TransferFunction<V,S>
- org.checkerframework.dataflow.analysis.Store<S>
Enum Hierarchy
- java.lang.Object
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
- org.checkerframework.dataflow.analysis.Analysis.BeforeOrAfter
- org.checkerframework.dataflow.analysis.Analysis.Direction
- org.checkerframework.dataflow.analysis.Store.FlowRule
- org.checkerframework.dataflow.analysis.Store.Kind
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)