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

LockAction Class Reference

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

Public Methods

 LockAction (Expr lockExpr, int operation, BirThread thread)
void apply (Switch sw)
boolean canSuspend ()
Expr getLockExpr ()
int getOperation ()
BirThread getThread ()
boolean isLock ()
boolean isLockAction (int operation)
boolean isNotify ()
boolean isNotifyAll ()
boolean isUnlock ()
boolean isUnwait ()
boolean isWait ()

Static Public Methods

int operationCode (String methodName)
String operationName (int operation)

Private Attributes

Expr lockExpr
int operation
BirThread thread

Detailed Description

A lock action.

Definition at line 41 of file LockAction.java.


Constructor & Destructor Documentation

LockAction::LockAction Expr   lockExpr,
int   operation,
BirThread   thread
[inline]
 

Create a lock action.

Parameters:
lockExpr   expression naming lock
operation   code for operation
thread   thread invoking operation

Definition at line 53 of file LockAction.java.


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