gov.nasa.jpf.jvm.bytecode

Class InstanceInvocation

java.lang.Object

gov.nasa.jpf.vm.Instruction

gov.nasa.jpf.jvm.JVMInstruction

gov.nasa.jpf.jvm.bytecode.InvokeInstruction

gov.nasa.jpf.jvm.bytecode.InstanceInvocation

All Implemented Interfaces:

InstructionVisitorAcceptor, Cloneable

Direct Known Subclasses:

INVOKESPECIAL, VirtualInvocation

public abstract class InstanceInvocation
extends InvokeInstruction

base class for INVOKEVIRTUAL, INVOKESPECIAL and INVOLEINTERFACE

Field Summary

Fields inherited from class gov.nasa.jpf.jvm.bytecode.InvokeInstruction

argSize, arguments, cname, invokedMethod, lastObj, mname, signature

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

attr, insnIndex, mi, position

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	InstanceInvocation()
protected	InstanceInvocation(String clsDescriptor, String methodName, String signature)

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(InstructionVisitor insVisitor)
int	getCalleeThis(ThreadInfo ti)
ElementInfo	getThisElementInfo(ThreadInfo ti)

Methods inherited from class gov.nasa.jpf.jvm.bytecode.InvokeInstruction

checkSyncCG, getArgSize, getArgumentAttrs, getArgumentValue, getArgumentValues, getFieldOrArgumentValue, getFieldValue, getInvokedMethod, getInvokedMethod, getInvokedMethodClassName, getInvokedMethodName, getInvokedMethodSignature, getLastObjRef, getLength, getReturnType, getReturnTypeName, hasArgumentAttr, hasAttrRefArgument, isCompleted, isReferenceReturnType, setInvokedMethod, setupCallee, typeSafeClone

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

addAttr, attrIterator, attrIterator, cleanupTransients, execute, getAttr, getAttr, getByteCode, getFileLocation, getFilePos, getInstructionIndex, getLineNumber, getMethodInfo, getMnemonic, getNext, getNext, getNextAttr, getPosition, getPrev, getSourceLine, getSourceLocation, getSourceOrLocation, hasAttr, hasAttr, init, isBackJump, isExtendedInstruction, isFirstInstruction, isSchedulingRelevant, removeAttr, replaceAttr, requiresClinitExecution, setAttr, setContext, setLocation, setMethodInfo, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

InstanceInvocation

protected InstanceInvocation()

InstanceInvocation

protected InstanceInvocation(String clsDescriptor,
                  String methodName,
                  String signature)

Method Detail

getCalleeThis

public int getCalleeThis(ThreadInfo ti)

getThisElementInfo

public ElementInfo getThisElementInfo(ThreadInfo ti)

accept

public void accept(InstructionVisitor insVisitor)

Specified by:

accept in interface InstructionVisitorAcceptor

Overrides:

accept in class InvokeInstruction