gov.nasa.jpf.jvm.bytecode

Class INVOKEDYNAMIC

java.lang.Object

gov.nasa.jpf.vm.Instruction

gov.nasa.jpf.jvm.bytecode.INVOKEDYNAMIC

All Implemented Interfaces:

Attributable, InstructionInterface, java.lang.Cloneable

public class INVOKEDYNAMIC
extends Instruction

Field Summary

Fields inherited from class gov.nasa.jpf.vm.Instruction

attr, insnIndex, mi, position

Constructor Summary

Constructors

Modifier	Constructor and Description
	INVOKEDYNAMIC()
protected	INVOKEDYNAMIC(int bmIndex, java.lang.String methodName, java.lang.String descriptor)

Method Summary

Modifier and Type	Method and Description
Instruction	execute(ThreadInfo ti) For now, INVOKEDYNAMIC works only in the context of lambda expressions.
int	getByteCode()
java.lang.String	toString()

Methods inherited from class gov.nasa.jpf.vm.Instruction

addAttr, asInstruction, attrIterator, attrIterator, cleanupTransients, getAttr, getAttr, getFileLocation, getFilePos, getInstructionIndex, getLength, getLineNumber, getMethodInfo, getMnemonic, getNext, getNext, getNextAttr, getPosition, getPrev, getSourceLine, getSourceLocation, getSourceOrLocation, hasAttr, hasAttr, init, isBackJump, isCompleted, isExtendedInstruction, isFirstInstruction, isMonitorEnterPrologue, isSchedulingRelevant, removeAttr, replaceAttr, requiresClinitExecution, setAttr, setContext, setLocation, setMethodInfo, toPostExecString, typeSafeClone

Methods inherited from class java.lang.Object

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

Constructor Detail

INVOKEDYNAMIC

public INVOKEDYNAMIC()

INVOKEDYNAMIC

protected INVOKEDYNAMIC(int bmIndex,
                        java.lang.String methodName,
                        java.lang.String descriptor)

Method Detail

getByteCode

public int getByteCode()

toString

public java.lang.String toString()

Overrides:

toString in class Instruction

execute

public Instruction execute(ThreadInfo ti)

For now, INVOKEDYNAMIC works only in the context of lambda expressions. Executing this returns an object that implements the functional interface and contains a method which captures the behavior of the lambda expression.

Specified by:

execute in interface InstructionInterface

Specified by:

execute in class Instruction