|
|||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--daj.GlobalAssertion | +--MutualExclusion.CriticalRegionConflict
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 |
|
Field Detail |
private java.util.Vector procsInCR
Constructor Detail |
CriticalRegionConflict()
Method Detail |
public boolean assert(daj.Program[] progs)
assert
in class daj.GlobalAssertion
public java.lang.String getText()
getText
in class daj.GlobalAssertion
|
|||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |