Class BusyExprValue
- java.lang.Object
-
- org.checkerframework.dataflow.busyexpr.BusyExprValue
-
public class BusyExprValue extends java.lang.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 BinaryOperationNode
busyExpression
A busy expression is represented by a node, which can be aBinaryOperationNode
-
Constructor Summary
Constructors Constructor Description BusyExprValue(BinaryOperationNode n)
Create a new busy expression.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
equals(@Nullable java.lang.Object obj)
int
hashCode()
java.lang.String
toString()
-
-
-
Field Detail
-
busyExpression
protected final BinaryOperationNode busyExpression
A busy expression is represented by a node, which can be aBinaryOperationNode
-
-
Constructor Detail
-
BusyExprValue
public BusyExprValue(BinaryOperationNode n)
Create a new busy expression.- Parameters:
n
- a node
-
-
Method Detail
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classjava.lang.Object
-
equals
public boolean equals(@Nullable java.lang.Object obj)
- Overrides:
equals
in classjava.lang.Object
-
-