Main Page   Packages   Class Hierarchy   Alphabetical List   Compound List   File List   Compound Members  

IFNONNULL Class Reference

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

Public Methods

 IFNONNULL (InstructionHandle target)
IfInstruction negate ()
InstructionHandle execute (SystemState ss, KernelState ks, ThreadInfo th)
void setPeer (de.fub.bytecode.generic.Instruction i)
 IFNONNULL (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

 IFNONNULL ()
 IFNONNULL ()

Private Attributes

de fub bytecode generic IFNONNULL peer
int target

Detailed Description

IFNONNULL - Branch if reference is not null 

Stack: ..., reference -> ...

Version:
Id:
IFNONNULL.java,v 1.1.1.1 2002/01/24 03:44:04 pserver Exp
Author:
M. Dahm

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

Constructor & Destructor Documentation

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

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

Member Function Documentation

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

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

Returns:
negation of instruction

Reimplemented from IfInstruction.

Definition at line 38 of file src/de/fub/bytecode/generic/IFNONNULL.java.

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

Returns:
negation of instruction

Reimplemented from IfInstruction.

Definition at line 23 of file lib/jpf/de/fub/bytecode/generic/IFNONNULL.java.

The documentation for this class was generated from the following files:
Generated at Thu Feb 7 07:13:23 2002 for Bandera by doxygen1.2.10 written by Dimitri van Heesch, © 1997-2001