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 and Description
protected AssignmentNode	def A reaching definition is represented by a node, which can only be a AssignmentNode.

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and 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 Detail

def

protected final AssignmentNode def

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

Constructor Detail

ReachingDefinitionNode

public ReachingDefinitionNode(AssignmentNode n)

Create a new reaching definition.

Parameters:

n - an assignment node

Method Detail

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