Package pascal.taie.ir.exp

Class CastExp

java.lang.Object

pascal.taie.ir.exp.CastExp

All Implemented Interfaces:

Serializable, Exp, RValue

public class CastExp
extends Object
implements RValue

Representation of cast expression, e.g., (T) o.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
CastExp(Var value, Type castType)

Method Summary

Modifier and Type	Method	Description
<T> T	accept(ExpVisitor<T> visitor)
Type	getCastType()
Type	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

CastExp

public CastExp(Var value,
 Type castType)

Method Details

getValue

public Var getValue()

getCastType

public Type getCastType()

getType

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