Package pascal.taie.ir.exp

Class InvokeDynamic

java.lang.Object

pascal.taie.ir.exp.InvokeExp

pascal.taie.ir.exp.InvokeDynamic

All Implemented Interfaces:

Serializable, Exp, RValue

public class InvokeDynamic
extends InvokeExp

Representation of invokedynamic instructions. For more details about invokedynamic instructions, please refer to https://docs.oracle.com/javase/7/docs/api/java/lang/invoke/package-summary.html

See Also:

• Serialized Form

Field Summary

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

args, methodRef

Constructor Summary

Constructors

Constructor	Description
InvokeDynamic(MethodRef bootstrapMethodRef, String methodName, MethodType methodType, List<Literal> bootstrapArgs, List<Var> args)

Method Summary

Modifier and Type	Method	Description
<T> T	accept(ExpVisitor<T> visitor)
List<Literal>	getBootstrapArgs()
MethodRef	getBootstrapMethodRef()
String	getInvokeString()
String	getMethodName()
MethodRef	getMethodRef()
MethodType	getMethodType()
Type	getType()
String	toString()

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

getArg, getArgCount, getArgs, getArgsString, getUses

Methods inherited from class java.lang.Object

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

Constructor Details

InvokeDynamic

public InvokeDynamic(MethodRef bootstrapMethodRef,
 String methodName,
 MethodType methodType,
 List<Literal> bootstrapArgs,
 List<Var> args)

Method Details

getBootstrapMethodRef

public MethodRef getBootstrapMethodRef()

getMethodName

public String getMethodName()

getMethodType

public MethodType getMethodType()

getBootstrapArgs

public List<Literal> getBootstrapArgs()

getType

public Type getType()

Specified by:

getType in interface Exp

Overrides:

getType in class InvokeExp

Returns:

type of this expression.

getMethodRef

public MethodRef getMethodRef()

Overrides:

getMethodRef in class InvokeExp

Returns:

the method reference at the invocation.

getInvokeString

public String getInvokeString()

Specified by:

getInvokeString in class InvokeExp

toString

public String toString()

Overrides:

toString in class Object

accept

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