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) |