| java.lang.Object gov.nasa.jpf.jvm.bytecode.Instruction gov.nasa.jpf.jvm.bytecode.InvokeInstruction
All known Subclasses: gov.nasa.jpf.jvm.bytecode.INVOKESPECIAL, gov.nasa.jpf.jvm.bytecode.INVOKESTATIC, gov.nasa.jpf.jvm.bytecode.VirtualInvocation,
InvokeInstruction | abstract public class InvokeInstruction extends Instruction (Code) | | abstraction for all invoke instructions
|
invokedMethod | MethodInfo invokedMethod(Code) | | watch out - this is only const for static and special invocation
all virtuals will use it only as a cache
|
lastObj | int lastObj(Code) | | to cache the last callee object
|
InvokeInstruction | protected InvokeInstruction()(Code) | | |
getArgSize | protected int getArgSize()(Code) | | |
getInvokedMethod | public MethodInfo getInvokedMethod()(Code) | | return the last invoked MethodInfo (cached). Note this is only
valid AFTER the insn got checked/executed, since it has to be set by
the concrete InvokeInstruction subclasses (and only statics and specials
give us const MehodInfos)
|
init | protected void init(InstructionHandle h, int o, MethodInfo m, ConstantPool cp)(Code) | | |
setPeer | public void setPeer(org.apache.bcel.generic.Instruction i, ConstantPool cp)(Code) | | |
Methods inherited from gov.nasa.jpf.jvm.bytecode.Instruction | public boolean Methodexamine(ThreadInfo th)(Code)(Java Doc) public static Instruction create(InstructionHandle h, int o, MethodInfo m, ConstantPool cp)(Code)(Java Doc) public boolean examine(SystemState ss, KernelState ks, ThreadInfo th)(Code)(Java Doc) public boolean examineAbstraction(SystemState ss, KernelState ks, ThreadInfo th)(Code)(Java Doc) abstract public Instruction execute(SystemState ss, KernelState ks, ThreadInfo th)(Code)(Java Doc) abstract public int getByteCode()(Code)(Java Doc) public MethodInfo getMethod()(Code)(Java Doc) public String getMnemonic()(Code)(Java Doc) public Instruction getNext()(Code)(Java Doc) Instruction getNext(ThreadInfo th)(Code)(Java Doc) public int getOffset()(Code)(Java Doc) public int getPosition()(Code)(Java Doc) public Instruction getPrev()(Code)(Java Doc) public String getSourceLocation()(Code)(Java Doc) protected void init(InstructionHandle h, int o, MethodInfo m, ConstantPool cp)(Code)(Java Doc) public boolean isBackJump()(Code)(Java Doc) public boolean isDeterministic(SystemState ss, KernelState ks, ThreadInfo ti)(Code)(Java Doc) public boolean isExecutable(SystemState ss, KernelState ks, ThreadInfo th)(Code)(Java Doc) public boolean isFirstInstruction()(Code)(Java Doc) public boolean isObservable()(Code)(Java Doc) public boolean isSchedulingRelevant(SystemState ss, KernelState ks, ThreadInfo ti)(Code)(Java Doc) public boolean isVisible(SystemState ss, KernelState ks, ThreadInfo th)(Code)(Java Doc) public void setContext(String className, String methodName, int lineNumber, int offset)(Code)(Java Doc) public void setObservable()(Code)(Java Doc) abstract protected void setPeer(org.apache.bcel.generic.Instruction i, ConstantPool cp)(Code)(Java Doc) public String toString()(Code)(Java Doc)
|
|
|