Public Methods | |
LOOKUPSWITCH (int[] match, InstructionHandle[] targets, InstructionHandle target) | |
void | dump (DataOutputStream out) throws IOException |
LOOKUPSWITCH (int[] match, InstructionHandle[] targets, InstructionHandle target) | |
void | accept (Visitor v) |
void | dump (DataOutputStream out) throws IOException |
Instruction | execute (SystemState ss, KernelState ks, ThreadInfo th) |
void | setPeer (de.fub.bytecode.generic.Instruction i, ConstantPool cp) |
Protected Methods | |
void | initFromFile (ByteSequence bytes, boolean wide) throws IOException |
void | initFromFile (ByteSequence bytes, boolean wide) throws IOException |
Private Methods | |
LOOKUPSWITCH () | |
LOOKUPSWITCH () | |
Private Attributes | |
int | target |
int[] | matches |
int[] | targets |
Definition at line 13 of file lib/jpf/de/fub/bytecode/generic/LOOKUPSWITCH.java.
|
Empty constructor needed for the Class.newInstance() statement in Instruction.readInstruction(). Not to be used otherwise. Definition at line 18 of file lib/jpf/de/fub/bytecode/generic/LOOKUPSWITCH.java. |
|
Empty constructor needed for the Class.newInstance() statement in Instruction.readInstruction(). Not to be used otherwise. Definition at line 18 of file src/de/fub/bytecode/generic/LOOKUPSWITCH.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 35 of file src/de/fub/bytecode/generic/LOOKUPSWITCH.java. |
|
Dump instruction as byte code to stream out.
Reimplemented from Instruction. Definition at line 47 of file src/de/fub/bytecode/generic/LOOKUPSWITCH.java. |
|
Dump instruction as byte code to stream out.
Reimplemented from Instruction. Definition at line 31 of file lib/jpf/de/fub/bytecode/generic/LOOKUPSWITCH.java. |
|
Read needed data (e.g. index) from file. Reimplemented from Instruction. Definition at line 59 of file src/de/fub/bytecode/generic/LOOKUPSWITCH.java. |
|
Read needed data (e.g. index) from file. Reimplemented from Instruction. Definition at line 43 of file lib/jpf/de/fub/bytecode/generic/LOOKUPSWITCH.java. |