gov.nasa.jpf.vm.bytecode

Interface InstanceInvokeInstruction

All Superinterfaces:

Attributable, InstructionInterface

All Known Implementing Classes:

InstanceInvocation, INVOKEINTERFACE, INVOKESPECIAL, INVOKEVIRTUAL, VirtualInvocation

public interface InstanceInvokeInstruction
extends InstructionInterface

common type for all method invocations on objects

Method Summary

Modifier and Type	Method and Description
int	getCalleeThis(ThreadInfo ti)
MethodInfo	getInvokedMethod()
int	getObjectSlot(StackFrame frame)

Methods inherited from interface gov.nasa.jpf.vm.bytecode.InstructionInterface

asInstruction, execute, getByteCode, getFileLocation, getFilePos, getInstructionIndex, getLength, getLineNumber, getMethodInfo, getMnemonic, getNext, getNext, getPosition, getPrev, getSourceLine, getSourceLocation, isBackJump, isCompleted, isExtendedInstruction, isFirstInstruction, toPostExecString

Methods inherited from interface gov.nasa.jpf.util.Attributable

addAttr, attrIterator, attrIterator, getAttr, getAttr, getNextAttr, hasAttr, hasAttr, removeAttr, replaceAttr, setAttr

Method Detail

getInvokedMethod

MethodInfo getInvokedMethod()

getObjectSlot

int getObjectSlot(StackFrame frame)

getCalleeThis

int getCalleeThis(ThreadInfo ti)