Class BusyExprValue
- java.lang.Object
-
- org.checkerframework.dataflow.busyexpr.BusyExprValue
-
public class BusyExprValue extends java.lang.ObjectBusyExprValue class contains a BinaryOperationNode. So we only consider expressions that are in form of BinaryOperationNode: lefOperandNode operator rightOperandNode. We override.equalsin 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 BinaryOperationNodebusyExpressionA 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 booleanequals(@Nullable java.lang.Object obj)inthashCode()java.lang.StringtoString()
-
-
-
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:
toStringin classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCodein classjava.lang.Object
-
equals
public boolean equals(@Nullable java.lang.Object obj)
- Overrides:
equalsin classjava.lang.Object
-
-