MutualExclusion
Class CriticalRegionLockout

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

class CriticalRegionLockout
extends daj.GlobalAssertion

This assertion checks that if a process tries to enter the critical region, no other process trying it at any time later will be allowed to enter the critical region before the first process has entered it.


Field Summary
private  int procInCR
           
private  int procTryingLonger
           
private  LogicalTime[] tryTimes
           
 
Constructor Summary
CriticalRegionLockout()
           
 
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

tryTimes

private LogicalTime[] tryTimes

procInCR

private int procInCR

procTryingLonger

private int procTryingLonger
Constructor Detail

CriticalRegionLockout

public CriticalRegionLockout()
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