Package pascal.taie.ir.exp

Class ConditionExp

java.lang.Object

pascal.taie.ir.exp.ConditionExp

All Implemented Interfaces:

Serializable, BinaryExp, Exp, RValue

public class ConditionExp
extends Object

Representation of condition expression, e.g., a == b.

See Also:

• Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	ConditionExp.Op

Field Summary

Fields

Modifier and Type	Field	Description
protected final Var	operand1
protected final Var	operand2

Constructor Summary

Constructors

Constructor	Description
ConditionExp(ConditionExp.Op op, Var value1, Var value2)

Method Summary

Modifier and Type	Method	Description
<T> T	accept(ExpVisitor<T> visitor)
Var	getOperand1()
Var	getOperand2()
ConditionExp.Op	getOperator()
IntType	getType()
Set<RValue>	getUses()
String	toString()
protected void	validate()	Validates type correctness of the two values of this expression.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

operand1

protected final Var operand1

operand2

protected final Var operand2

Constructor Details

ConditionExp

public ConditionExp(ConditionExp.Op op,
 Var value1,
 Var value2)

Method Details

validate

protected void validate()

Validates type correctness of the two values of this expression.

getOperator

public ConditionExp.Op getOperator()

Returns:

the operator.

getType

public IntType getType()

Returns:

type of this expression.

accept

public <T> T accept(ExpVisitor<T> visitor)

getOperand1

public Var getOperand1()

Specified by:

getOperand1 in interface BinaryExp

Returns:

the first operand.

getOperand2

public Var getOperand2()

Specified by:

getOperand2 in interface BinaryExp

Returns:

the second operand.

getUses

public Set<RValue> getUses()

Specified by:

getUses in interface Exp

Returns:

a list of expressions which are used by (contained in) this Exp.

toString

public String toString()

Overrides:

toString in class Object