Package pascal.taie.ir.exp

Class InvokeInstanceExp

java.lang.Object

pascal.taie.ir.exp.InvokeExp

pascal.taie.ir.exp.InvokeInstanceExp

All Implemented Interfaces:

Serializable, Exp, RValue

Direct Known Subclasses:

InvokeInterface, InvokeSpecial, InvokeVirtual

public abstract class InvokeInstanceExp
extends InvokeExp

Representation of instance invocation (virtual, interface, and special) expression.

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
protected final Var	base

Fields inherited from class pascal.taie.ir.exp.InvokeExp

args, methodRef

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	InvokeInstanceExp(MethodRef methodRef, Var base, List<Var> args)

Method Summary

Modifier and Type	Method	Description
Var	getBase()
Set<RValue>	getUses()
String	toString()

Methods inherited from class pascal.taie.ir.exp.InvokeExp

getArg, getArgCount, getArgs, getArgsString, getInvokeString, getMethodRef, getType

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

accept

Field Details

base

protected final Var base

Constructor Details

InvokeInstanceExp

protected InvokeInstanceExp(MethodRef methodRef,
 Var base,
 List<Var> args)

Method Details

getBase

public Var getBase()

getUses

public Set<RValue> getUses()

Specified by:

getUses in interface Exp

Overrides:

getUses in class InvokeExp

Returns:

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

toString

public String toString()

Overrides:

toString in class Object