MutualExclusion
Class CriticalRegionConflict

java.lang.Object
  |
  +--daj.GlobalAssertion
        |
        +--MutualExclusion.CriticalRegionConflict

class CriticalRegionConflict
extends daj.GlobalAssertion

This assertion checks that at most 1 process is in the critical region at the same time.


Field Summary
private  java.util.Vector procsInCR
           
 
Constructor Summary
(package private) CriticalRegionConflict()
           
 
Method Summary
 boolean assert(daj.Program[] progs)
           
 java.lang.String getText()
           
 
Methods inherited from class daj.GlobalAssertion
getMessages, getMessages
 
Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait
 

Field Detail

procsInCR

private java.util.Vector procsInCR
Constructor Detail

CriticalRegionConflict

CriticalRegionConflict()
Method Detail

assert

public boolean assert(daj.Program[] progs)
Overrides:
assert in class daj.GlobalAssertion

getText

public java.lang.String getText()
Overrides:
getText in class daj.GlobalAssertion