Package | Description |
---|---|
gov.nasa.jpf.jvm.bytecode |
Modifier and Type | Class and Description |
---|---|
class |
IF_ACMPEQ
Branch if reference comparison succeeds
..., value1, value2 => ...
|
class |
IF_ACMPNE
Branch if reference comparison does not succeed
..., value1, value2 => ...
|
class |
IF_ICMPEQ
Branch if int comparison succeeds
..., value1, value2 => ...
|
class |
IF_ICMPGE
Branch if int comparison succeeds
..., value1, value2 => ...
|
class |
IF_ICMPGT
Branch if int comparison succeeds
..., value1, value2 => ...
|
class |
IF_ICMPLE
Branch if int comparison succeeds
..., value1, value2 => ...
|
class |
IF_ICMPLT
Branch if int comparison succeeds
..., value1, value2 => ...
|
class |
IF_ICMPNE
Branch if int comparison succeeds
..., value1, value2 => ...
|
class |
IFEQ
Branch if int comparison with zero succeeds
..., value => ...
|
class |
IFGE
Branch if int comparison with zero succeeds
..., value => ...
|
class |
IFGT
Branch if int comparison with zero succeeds
..., value => ...
|
class |
IFLE
Branch if int comparison with zero succeeds
..., value => ...
|
class |
IFLT
Branch if int comparison with zero succeeds
..., value => ...
|
class |
IFNE
Branch if int comparison with zero succeeds
..., value => ...
|
class |
IFNONNULL
Branch if reference not null
..., value => ..., result
|
class |
IFNULL
DOCUMENT ME!
|
Modifier and Type | Method and Description |
---|---|
void |
InstructionVisitor.visit(IfInstruction ins) |
void |
InstructionVisitorAdapter.visit(IfInstruction ins) |