org.checkerframework.dataflow.analysis
Interfaces
AbstractValue
Analysis
BackwardAnalysis
BackwardTransferFunction
ForwardAnalysis
ForwardTransferFunction
Store
TransferFunction
Classes
AbstractAnalysis
AbstractAnalysis.Worklist
AnalysisResult
BackwardAnalysisImpl
ConditionalTransferResult
ForwardAnalysisImpl
RegularTransferResult
TransferInput
TransferResult
Enums
Analysis.BeforeOrAfter
Analysis.Direction
Store.FlowRule
Store.Kind