Package pascal.taie.ir.exp

Class InstanceOfExp

java.lang.Object

pascal.taie.ir.exp.InstanceOfExp

All Implemented Interfaces:

Serializable, Exp, RValue

public class InstanceOfExp
extends Object
implements RValue

Representation of instanceof expression, e.g., o instanceof T.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
InstanceOfExp(Var value, ReferenceType checkedType)

Method Summary

Modifier and Type	Method	Description
<T> T	accept(ExpVisitor<T> visitor)
ReferenceType	getCheckedType()
BooleanType	getType()
Set<RValue>	getUses()
Var	getValue()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

InstanceOfExp

public InstanceOfExp(Var value,
 ReferenceType checkedType)

Method Details

getValue

public Var getValue()

getCheckedType

public ReferenceType getCheckedType()

getType

public BooleanType getType()

Specified by:

getType in interface Exp

Returns:

type of this expression.

getUses

public Set<RValue> getUses()

Specified by:

getUses in interface Exp

Returns:

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

accept

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

Specified by:

accept in interface Exp

toString

public String toString()

Overrides:

toString in class Object