---

IF_ICMPLE Class Reference

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

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

---

Detailed Description

IF_ICMPLE - Branch if int comparison succeeds

Stack: ..., value1, value2 -> ...

Version:

Id:

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

Author:

M. Dahm

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

---

Constructor & Destructor Documentation

IF_ICMPLE::IF_ICMPLE (    )  [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/IF_ICMPLE.java.

IF_ICMPLE::IF_ICMPLE (    )  [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/IF_ICMPLE.java.

---

Member Function Documentation

void IF_ICMPLE::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/IF_ICMPLE.java.

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

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

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

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

---

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

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

---