---

IFGT Class Reference

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

Public Methods
	IFGT (InstructionHandle target)
IfInstruction	negate ()
InstructionHandle	execute (SystemState ss, KernelState ks, ThreadInfo th)
void	setPeer (de.fub.bytecode.generic.Instruction i)
	IFGT (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
	IFGT ()
	IFGT ()
Private Attributes
de fub bytecode generic IFGT	peer
int	target

---

Detailed Description

IFGT - Branch if int comparison with zero succeeds

Stack: ..., value -> ...

Version:

Id:

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

---

Constructor & Destructor Documentation

IFGT::IFGT (    )  [inline, private]

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

IFGT::IFGT (    )  [inline, private]

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

---

Member Function Documentation

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

IfInstruction IFGT::negate (    )  [inline, virtual]

Returns: negation of instruction Reimplemented from IfInstruction. Definition at line 38 of file src/de/fub/bytecode/generic/IFGT.java.

IfInstruction IFGT::negate (    )  [inline, virtual]

Returns: negation of instruction Reimplemented from IfInstruction. Definition at line 23 of file lib/jpf/de/fub/bytecode/generic/IFGT.java.

---

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

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

---