Uses of Class
gov.nasa.jpf.jvm.bytecode.InvokeInstruction

Packages that use InvokeInstruction

Package	Description
gov.nasa.jpf.jvm.bytecode
gov.nasa.jpf.listener

Uses of InvokeInstruction in gov.nasa.jpf.jvm.bytecode

Subclasses of InvokeInstruction in gov.nasa.jpf.jvm.bytecode

Modifier and Type	Class and Description
class	InstanceInvocation base class for INVOKEVIRTUAL, INVOKESPECIAL and INVOLEINTERFACE
class	INVOKECLINIT this is an artificial bytecode that we use to deal with the particularities of calls, which are never in the loaded bytecode but always directly called by the VM.
class	INVOKEINTERFACE Invoke interface method ..., objectref, [arg1, [arg2 ...]] => ...
class	INVOKESPECIAL Invoke instance method; special handling for superclass, private, and instance initialization method invocations ..., objectref, [arg1, [arg2 ...]] => ...
class	INVOKESTATIC Invoke a class (static) method ..., [arg1, [arg2 ...]] => ...
class	INVOKEVIRTUAL Invoke instance method; dispatch based on class ..., objectref, [arg1, [arg2 ...]] => ...
class	VirtualInvocation a base class for virtual call instructions

Methods in gov.nasa.jpf.jvm.bytecode with parameters of type InvokeInstruction

Modifier and Type	Method and Description
void	InstructionVisitor.visit(InvokeInstruction ins)
void	InstructionVisitorAdapter.visit(InvokeInstruction ins)

Uses of InvokeInstruction in gov.nasa.jpf.listener

Methods in gov.nasa.jpf.listener with parameters of type InvokeInstruction

Modifier and Type	Method and Description
protected String	SimpleDot.getInvokeCG(InvokeInstruction insn)