Package org.checkerframework.dataflow.livevariable

Class LiveVarNode

java.lang.Object

org.checkerframework.dataflow.livevariable.LiveVarNode

public class LiveVarNode
extends Object

A LiveVarNode contains a CFG node, which can only be a LocalVariableNode or FieldAccessNode. It is used to represent the estimate of live variables 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 value (that is, two nodes refer to the same live variable in the program) to be regarded as the same.

Field Summary

Fields

Modifier and Type	Field	Description
protected final Node	liveVariable	A live variable is represented by a node, which can be a LocalVariableNode or FieldAccessNode.

Constructor Summary

Constructors

Constructor	Description
LiveVarNode(Node n)	Create a new live variable.

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

liveVariable

protected final Node liveVariable

A live variable is represented by a node, which can be a LocalVariableNode or FieldAccessNode.

Constructor Details

LiveVarNode

public LiveVarNode(Node n)

Create a new live variable.

Parameters:

n - a 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