Package org.checkerframework.dataflow.reachingdef

Class Summary

Class	Description
ReachingDefinitionNode	A ReachingDefinitionNode contains a CFG node, which can only be a AssignmentNode.
ReachingDefinitionStore	A reaching definition store contains a set of reaching definitions represented by ReachingDefinitionNode
ReachingDefinitionTransfer	The reaching definition transfer function.