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