Package pascal.taie.ir.exp

Class ArithmeticExp

java.lang.Object

pascal.taie.ir.exp.ArithmeticExp

All Implemented Interfaces:

Serializable, BinaryExp, Exp, RValue

public class ArithmeticExp
extends Object

Representation of arithmetic expression, e.g., a + b.

See Also:

• Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	ArithmeticExp.Op

Field Summary

Fields

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
<T> T	accept(ExpVisitor<T> visitor)
Var	getOperand1()
Var	getOperand2()
ArithmeticExp.Op	getOperator()
PrimitiveType	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

ArithmeticExp

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

Method Details

validate

protected void validate()

Validates type correctness of the two values of this expression.

getOperator

public ArithmeticExp.Op getOperator()

Returns:

the operator.

getType

public PrimitiveType 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