Package org.checkerframework.dataflow.reachingdef

Class ReachingDefinitionNode

java.lang.Object

org.checkerframework.dataflow.reachingdef.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 Summary

Fields

Modifier and Type	Field	Description
protected final AssignmentNode	def	A reaching definition is represented by a node, which can only be a AssignmentNode.

Constructor Summary

Constructors

Constructor	Description
ReachingDefinitionNode(AssignmentNode n)	Create a new reaching definition.

Method Summary

Modifier and Type	Method	Description
boolean	equals(@Nullable Object obj)
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Details

def

protected final AssignmentNode def

A reaching definition is represented by a node, which can only be a AssignmentNode.

Constructor Details

ReachingDefinitionNode

public ReachingDefinitionNode(AssignmentNode n)

Create a new reaching definition.

Parameters:

n - an assignment node

Method Details

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(@Nullable Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object