Package pascal.taie.ir.exp

Class NewInstance

java.lang.Object

pascal.taie.ir.exp.NewInstance

All Implemented Interfaces:

Serializable, Exp, NewExp, RValue

public class NewInstance
extends Object
implements NewExp

Representation of new instance expression, e.g., new T.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
NewInstance(ClassType type)

Method Summary

Modifier and Type	Method	Description
<T> T	accept(ExpVisitor<T> visitor)
ClassType	getType()
String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface pascal.taie.ir.exp.Exp

getUses

Constructor Details

NewInstance

public NewInstance(ClassType type)

Method Details

getType

public ClassType getType()

Specified by:

getType in interface Exp

Specified by:

getType in interface NewExp

Returns:

type of this expression.

accept

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

Specified by:

accept in interface Exp

toString

public String toString()

Overrides:

toString in class Object