org.checkerframework.dataflow.analysis

Interfaces

• AbstractValue
• Store
• TransferFunction

Classes

• Analysis
• Analysis.Worklist
• AnalysisResult
• ConditionalTransferResult
• FlowExpressions
• FlowExpressions.ArrayAccess
• FlowExpressions.ArrayCreation
• FlowExpressions.ClassName
• FlowExpressions.FieldAccess
• FlowExpressions.LocalVariable
• FlowExpressions.MethodCall
• FlowExpressions.Receiver
• FlowExpressions.ThisReference
• FlowExpressions.Unknown
• FlowExpressions.ValueLiteral
• RegularTransferResult
• TransferInput
• TransferResult

Enums

• Store.FlowRule
• Store.Kind