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.common.accumulation.AccumulationAnalysis
- org.checkerframework.checker.calledmethods.CalledMethodsAnalysis
- org.checkerframework.checker.resourceleak.ResourceLeakAnalysis
- org.checkerframework.checker.calledmethods.CalledMethodsAnalysis
- org.checkerframework.common.accumulation.AccumulationAnalysis
- org.checkerframework.framework.flow.CFAbstractAnalysis<V,
- org.checkerframework.dataflow.analysis.ForwardAnalysisImpl<V,
- 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.common.accumulation.AccumulationTransfer
- org.checkerframework.checker.calledmethods.CalledMethodsTransfer
- org.checkerframework.checker.resourceleak.ResourceLeakTransfer
- org.checkerframework.checker.calledmethods.CalledMethodsTransfer
- org.checkerframework.common.accumulation.AccumulationTransfer
- org.checkerframework.framework.flow.CFAbstractTransfer<V,
- 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.common.accumulation.AccumulationChecker
- org.checkerframework.checker.calledmethods.CalledMethodsChecker
- org.checkerframework.checker.resourceleak.ResourceLeakChecker
- org.checkerframework.checker.calledmethods.CalledMethodsChecker
- org.checkerframework.common.accumulation.AccumulationChecker
- org.checkerframework.common.basetype.BaseTypeChecker
- org.checkerframework.framework.source.SourceChecker (implements org.checkerframework.framework.util.OptionConfiguration)
- org.checkerframework.javacutil.AbstractTypeProcessor
- org.checkerframework.framework.type.AnnotatedTypeFactory (implements org.checkerframework.javacutil.AnnotationProvider)
- org.checkerframework.framework.type.GenericAnnotatedTypeFactory<Value,
Store, TransferFunction, FlowAnalysis> - org.checkerframework.common.accumulation.AccumulationAnnotatedTypeFactory
- org.checkerframework.checker.calledmethods.CalledMethodsAnnotatedTypeFactory
- org.checkerframework.checker.resourceleak.ResourceLeakAnnotatedTypeFactory (implements org.checkerframework.checker.mustcall.CreatesMustCallForElementSupplier)
- org.checkerframework.checker.calledmethods.CalledMethodsAnnotatedTypeFactory
- org.checkerframework.common.accumulation.AccumulationAnnotatedTypeFactory
- org.checkerframework.framework.type.GenericAnnotatedTypeFactory<Value,
- org.checkerframework.checker.resourceleak.MustCallInferenceLogic
- 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.common.accumulation.AccumulationVisitor
- org.checkerframework.checker.calledmethods.CalledMethodsVisitor
- org.checkerframework.checker.resourceleak.ResourceLeakVisitor
- org.checkerframework.checker.calledmethods.CalledMethodsVisitor
- org.checkerframework.common.accumulation.AccumulationVisitor
- org.checkerframework.common.basetype.BaseTypeVisitor<Factory>
- org.checkerframework.framework.source.SourceVisitor<R,
- com.sun.source.util.TreePathScanner<R,
- org.checkerframework.dataflow.analysis.AbstractAnalysis<V,