Package org.checkerframework.dataflow.busyexpr

Class BusyExprValue

java.lang.Object

org.checkerframework.dataflow.busyexpr.BusyExprValue

public class BusyExprValue
extends Object

BusyExprValue class contains a BinaryOperationNode. So we only consider expressions that are in form of BinaryOperationNode: lefOperandNode operator rightOperandNode. 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 busy expression in the program) to be regarded as the same.

Field Summary

Fields

Modifier and Type	Field	Description
protected final BinaryOperationNode	busyExpression	A busy expression is represented by a node, which can be a BinaryOperationNode

Constructor Summary

Constructors

Constructor	Description
BusyExprValue(BinaryOperationNode n)	Create a new busy expression.

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

busyExpression

protected final BinaryOperationNode busyExpression

A busy expression is represented by a node, which can be a BinaryOperationNode

Constructor Details

BusyExprValue

public BusyExprValue(BinaryOperationNode n)

Create a new busy expression.

Parameters:

n - a node

Method Details

toString

public String toString()

Overrides:

toString in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(@Nullable Object obj)

Overrides:

equals in class Object