Class ReachingDefinitionNode


public class ReachingDefinitionNode extends Object
A ReachingDefinitionNode contains a CFG node, which can only be a AssignmentNode. It is used to represent the estimate of a reaching definition at certain CFG block during dataflow analysis. We override `.equals` in this class to compare Nodes by value equality rather than reference equality. We want two different nodes with the same values (that is, the two nodes refer to the same reaching definition in the program) to be regarded as the same here.
  • Field Details

  • Constructor Details

    • ReachingDefinitionNode

      public ReachingDefinitionNode(AssignmentNode n)
      Create a new reaching definition.
      n - an assignment node
  • Method Details