coordination
Class Mutex
java.lang.Object
|
+--coordination.Mutex
- class Mutex
- extends java.lang.Object
Constructor Summary |
(package private) |
Mutex(java.lang.String[] _methodNames)
|
Methods inherited from class java.lang.Object |
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
methodNames
java.lang.String[] methodNames
methodStates
MethodState[] methodStates
prettyName
java.lang.String prettyName
Mutex
Mutex(java.lang.String[] _methodNames)
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()