Package | Description |
---|---|
gov.nasa.jpf.jvm.bytecode |
Modifier and Type | Class and Description |
---|---|
class |
ARETURN
Return reference from method
..., objectref => [empty]
|
class |
DIRECTCALLRETURN
this is used to return from a DirectCallStackFrame
Note that it is NOT a ReturnInstruction, in case listeners monitor these
and expect corresponding InvokeInstructions.
|
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
...
|
class |
ReturnInstruction
abstraction for the various return instructions
|