org.checkerframework.dataflow.livevariable

Class LiveVarValue

java.lang.Object

org.checkerframework.dataflow.livevariable.LiveVarValue

All Implemented Interfaces:

AbstractValue<LiveVarValue>

public class LiveVarValue
extends Object
implements AbstractValue<LiveVarValue>

A live variable (which is represented by a node) wrapper turning node into abstract value.

Field Summary

Fields

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
boolean	equals(@Nullable Object obj)
int	hashCode()
LiveVarValue	leastUpperBound(LiveVarValue other) Compute the least upper bound of two stores.
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

liveVariable

protected final Node liveVariable

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

Constructor Detail

LiveVarValue

public LiveVarValue(Node n)

Create a new live variable.

Parameters:

n - a node

Method Detail

leastUpperBound

public LiveVarValue leastUpperBound(LiveVarValue other)

Description copied from interface: AbstractValue

Compute the least upper bound of two stores.

Important: This method must fulfill the following contract:

• Does not change this.
• Does not change other.
• Returns a fresh object which is not aliased yet.
• Returns an object of the same (dynamic) type as this, even if the signature is more permissive.
• Is commutative.

Specified by:

leastUpperBound in interface AbstractValue<LiveVarValue>

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