gov.nasa.jpf.vm.bytecode

Class InvokeInstruction

java.lang.Object

gov.nasa.jpf.vm.Instruction

gov.nasa.jpf.vm.bytecode.InvokeInstruction

All Implemented Interfaces:

Attributable, InstructionInterface, java.lang.Cloneable

Direct Known Subclasses:

JVMInvokeInstruction

public abstract class InvokeInstruction
extends Instruction

abstract base for InvokeInstructions

Field Summary

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

attr, insnIndex, mi, position

Constructor Summary

Constructors

Constructor and Description
InvokeInstruction()

Method Summary

Modifier and Type	Method and Description
abstract MethodInfo	getInvokedMethod()
abstract java.lang.String	getInvokedMethodClassName()
abstract java.lang.String	getInvokedMethodName()
abstract java.lang.String	getInvokedMethodSignature()
protected boolean	reschedulesLockAcquisition(ThreadInfo ti, ElementInfo ei) this does the lock registration/acquisition and respective transition break return true if the caller has to re-execute

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

addAttr, asInstruction, attrIterator, attrIterator, cleanupTransients, execute, 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, toString, typeSafeClone

Methods inherited from class java.lang.Object

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

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

getByteCode

Constructor Detail

InvokeInstruction

public InvokeInstruction()

Method Detail

getInvokedMethod

public abstract MethodInfo getInvokedMethod()

getInvokedMethodName

public abstract java.lang.String getInvokedMethodName()

getInvokedMethodSignature

public abstract java.lang.String getInvokedMethodSignature()

getInvokedMethodClassName

public abstract java.lang.String getInvokedMethodClassName()

reschedulesLockAcquisition

protected boolean reschedulesLockAcquisition(ThreadInfo ti,
                                             ElementInfo ei)

this does the lock registration/acquisition and respective transition break return true if the caller has to re-execute