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

Packages that use InstanceInvocation

Package	Description
gov.nasa.jpf.jvm.bytecode

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

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

Modifier and Type	Class and Description
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	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 InstanceInvocation

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