| Package | Description |
|---|---|
| gov.nasa.jpf.jvm.bytecode |
| Modifier and Type | Class and Description |
|---|---|
class |
ARETURN
Return reference from method
..., objectref => [empty]
|
class |
DRETURN
Return double from method
..., value => [empty]
|
class |
FRETURN
Return float from method
..., value => [empty]
|
class |
IRETURN
Return int from method
..., value => [empty]
|
class |
LongReturn
common base for DRETURN and LRETURN
|
class |
LRETURN
Return long from method
..., value => [empty]
|
class |
NATIVERETURN
synthetic return instruction for native method invocations, so that
we don't have to do special provisions to copy the caller args in case
a post exec listener wants them.
|
class |
RETURN
Return void from method
...
|
| Modifier and Type | Method and Description |
|---|---|
void |
InstructionVisitor.visit(ReturnInstruction ins) |
void |
InstructionVisitorAdapter.visit(ReturnInstruction ins) |