Public Methods | |
IF_ICMPGE (InstructionHandle target) | |
IfInstruction | negate () |
InstructionHandle | execute (SystemState ss, KernelState ks, ThreadInfo th) |
void | setPeer (de.fub.bytecode.generic.Instruction i) |
IF_ICMPGE (InstructionHandle target) | |
void | accept (Visitor v) |
IfInstruction | negate () |
Instruction | execute (SystemState ss, KernelState ks, ThreadInfo th) |
void | setPeer (de.fub.bytecode.generic.Instruction i, ConstantPool cp) |
Private Methods | |
IF_ICMPGE () | |
IF_ICMPGE () | |
Private Attributes | |
de fub bytecode generic IF_ICMPGE | peer |
int | target |
Stack: ..., value1, value2 -> ...
Definition at line 11 of file lib/jpf/de/fub/bytecode/generic/IF_ICMPGE.java.
|
Empty constructor needed for the Class.newInstance() statement in Instruction.readInstruction(). Not to be used otherwise. Definition at line 16 of file lib/jpf/de/fub/bytecode/generic/IF_ICMPGE.java. |
|
Empty constructor needed for the Class.newInstance() statement in Instruction.readInstruction(). Not to be used otherwise. Definition at line 16 of file src/de/fub/bytecode/generic/IF_ICMPGE.java. |
|
Call corresponding visitor method(s). The order is: Call visitor methods of implemented interfaces first, then call methods according to the class hierarchy in descending order, i.e., the most specific visitXXX() call comes last.
Reimplemented from Instruction. Definition at line 28 of file src/de/fub/bytecode/generic/IF_ICMPGE.java. |
|
Reimplemented from IfInstruction. Definition at line 38 of file src/de/fub/bytecode/generic/IF_ICMPGE.java. |
|
Reimplemented from IfInstruction. Definition at line 23 of file lib/jpf/de/fub/bytecode/generic/IF_ICMPGE.java. |