---

TABLESWITCH Class Reference

Inheritance diagram for TABLESWITCH:[legend]Collaboration diagram for TABLESWITCH:[legend]List of all members.

Public Methods
	TABLESWITCH (int[] match, InstructionHandle[] targets, InstructionHandle target)
void	dump (DataOutputStream out) throws IOException
InstructionHandle	execute (SystemState ss, KernelState ks, ThreadInfo th)
void	setPeer (de.fub.bytecode.generic.Instruction i)
	TABLESWITCH (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
	TABLESWITCH ()
	TABLESWITCH ()
Private Attributes
de fub bytecode generic TABLESWITCH	peer
int	target
int[]	matches
int[]	targets

---

Detailed Description

TABLESWITCH - Switch within given range of values, i.e. low..high

Version:

Id:

TABLESWITCH.java,v 1.1.1.1 2002/01/24 03:44:06 pserver Exp

Author:

M. Dahm

See also:

SWITCH

Definition at line 13 of file lib/jpf/de/fub/bytecode/generic/TABLESWITCH.java.

---

Constructor & Destructor Documentation

TABLESWITCH::TABLESWITCH (    )  [inline, private]

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/TABLESWITCH.java.

TABLESWITCH::TABLESWITCH (  int   match[], InstructionHandle   targets[], InstructionHandle   target )  [inline]

Parameters: match   sorted array of match values, match[0] must be low value, match[match_length - 1] high value targets   where to branch for matched values target   default branch Definition at line 25 of file lib/jpf/de/fub/bytecode/generic/TABLESWITCH.java.

TABLESWITCH::TABLESWITCH (    )  [inline, private]

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/TABLESWITCH.java.

TABLESWITCH::TABLESWITCH (  int   match[], InstructionHandle   targets[], InstructionHandle   target )  [inline]

Parameters: match   sorted array of match values, match[0] must be low value, match[match_length - 1] high value targets   where to branch for matched values target   default branch Definition at line 25 of file src/de/fub/bytecode/generic/TABLESWITCH.java.

---

Member Function Documentation

void TABLESWITCH::accept (  Visitor   v )  [inline, virtual]

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. Parameters: v   Visitor object Reimplemented from Instruction. Definition at line 41 of file src/de/fub/bytecode/generic/TABLESWITCH.java.

void TABLESWITCH::dump (  DataOutputStream   out )  [inline]

Dump instruction as byte code to stream out. Parameters: out   Output stream Reimplemented from Instruction. Definition at line 53 of file src/de/fub/bytecode/generic/TABLESWITCH.java.

void TABLESWITCH::dump (  DataOutputStream   out )  [inline]

Dump instruction as byte code to stream out. Parameters: out   Output stream Reimplemented from Instruction. Definition at line 37 of file lib/jpf/de/fub/bytecode/generic/TABLESWITCH.java.

void TABLESWITCH::initFromFile (  ByteSequence   bytes, boolean   wide )  [inline, protected]

Read needed data (e.g. index) from file. Reimplemented from Instruction. Definition at line 65 of file src/de/fub/bytecode/generic/TABLESWITCH.java.

void TABLESWITCH::initFromFile (  ByteSequence   bytes, boolean   wide )  [inline, protected]

Read needed data (e.g. index) from file. Reimplemented from Instruction. Definition at line 49 of file lib/jpf/de/fub/bytecode/generic/TABLESWITCH.java.

---

The documentation for this class was generated from the following files:

• lib/jpf/de/fub/bytecode/generic/TABLESWITCH.java
• lib/jpf/gov/nasa/arc/ase/jpf/jvm/bytecode/TABLESWITCH.java
• src/gov/nasa/arc/ase/jpf/jvm/bytecode/TABLESWITCH.java
• src/de/fub/bytecode/generic/TABLESWITCH.java

---