Package pascal.taie.ir.exp
Class ConditionExp
java.lang.Object
pascal.taie.ir.exp.ConditionExp
- All Implemented Interfaces:
Serializable
,BinaryExp
,Exp
,RValue
Representation of condition expression, e.g., a == b.
- See Also:
-
Field Details
-
operand1
-
operand2
-
-
Constructor Details
-
ConditionExp
-
-
Method Details
-
validate
protected void validate()Validates type correctness of the two values of this expression. -
getOperator
- Returns:
- the operator.
-
getType
- Returns:
- type of this expression.
-
accept
-
getOperand1
- Specified by:
getOperand1
in interfaceBinaryExp
- Returns:
- the first operand.
-
getOperand2
- Specified by:
getOperand2
in interfaceBinaryExp
- Returns:
- the second operand.
-
getUses
-
toString
-