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

MONITOREXIT Class Reference

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

Public Methods

 MONITOREXIT ()
Class[] getExceptions ()
InstructionHandle execute (SystemState ss, KernelState ks, ThreadInfo th)
void setPeer (de.fub.bytecode.generic.Instruction i)
 MONITOREXIT ()
void accept (Visitor v)
Class[] getExceptions ()
Instruction execute (SystemState ss, KernelState ks, ThreadInfo th)
void setPeer (de.fub.bytecode.generic.Instruction i, ConstantPool cp)

Private Attributes

de fub bytecode generic MONITOREXIT peer

Detailed Description

MONITOREXIT - Exit monitor for object 
Stack: ..., objectref -> ...

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

Definition at line 10 of file lib/jpf/de/fub/bytecode/generic/MONITOREXIT.java.

Member Function Documentation

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

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