---

GOTO Class Reference

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

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

---

Detailed Description

GOTO - Branch always (offset, not address)

Version:

Id:

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

Author:

M. Dahm

Definition at line 11 of file lib/jpf/de/fub/bytecode/generic/GOTO.java.

---

Constructor & Destructor Documentation

GOTO::GOTO (    )  [inline, private]

Empty constructor needed for the Class.newInstance() statement in Instruction.readInstruction(). Not to be used otherwise. Definition at line 17 of file lib/jpf/de/fub/bytecode/generic/GOTO.java.

GOTO::GOTO (    )  [inline, private]

Empty constructor needed for the Class.newInstance() statement in Instruction.readInstruction(). Not to be used otherwise. Definition at line 17 of file src/de/fub/bytecode/generic/GOTO.java.

---

Member Function Documentation

void GOTO::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 29 of file src/de/fub/bytecode/generic/GOTO.java.

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

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

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

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

int GOTO::updatePosition (  int   offset, int   max_offset )  [inline, protected]

Called in pass 2 of InstructionList.setPositions() in order to update the branch target, that may shift due to variable length instructions. Reimplemented from BranchInstruction. Definition at line 53 of file src/de/fub/bytecode/generic/GOTO.java.

int GOTO::updatePosition (  int   offset, int   max_offset )  [inline, protected]

Called in pass 2 of InstructionList.setPositions() in order to update the branch target, that may shift due to variable length instructions. Reimplemented from BranchInstruction. Definition at line 38 of file lib/jpf/de/fub/bytecode/generic/GOTO.java.

---

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

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

---