Package | Description |
---|---|
gov.nasa.jpf.jvm.bytecode | |
gov.nasa.jpf.listener |
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
|
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
|
Modifier and Type | Method and Description |
---|---|
void |
InstructionVisitor.visit(InvokeInstruction ins) |
void |
InstructionVisitorAdapter.visit(InvokeInstruction ins) |
Modifier and Type | Method and Description |
---|---|
protected String |
SimpleDot.getInvokeCG(InvokeInstruction insn) |