coordination
Class Mutex

java.lang.Object
  |
  +--coordination.Mutex

class Mutex
extends java.lang.Object


Field Summary
(package private)  java.lang.String[] methodNames
          
(package private)  MethodState[] methodStates
          
(package private)  java.lang.String prettyName
          
 
Constructor Summary
(package private) Mutex(java.lang.String[] _methodNames)
          
 
Method Summary
 void enterExclusion(java.lang.String _methodName)
          
 void exitExclusion(java.lang.String _methodName)
          
 void printNames()
          
 boolean testExclusion(java.lang.String _methodName)
          
 
Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

methodNames

java.lang.String[] methodNames

methodStates

MethodState[] methodStates

prettyName

java.lang.String prettyName
Constructor Detail

Mutex

Mutex(java.lang.String[] _methodNames)
Method Detail

testExclusion

public boolean testExclusion(java.lang.String _methodName)

enterExclusion

public void enterExclusion(java.lang.String _methodName)

exitExclusion

public void exitExclusion(java.lang.String _methodName)

printNames

public void printNames()