|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.ucdavis.rj.Ops.InniArm.SuchThat
public abstract static class InniArm.SuchThat
A `such that clause' specifies which invocations are eligible to be serviced. (Aka `synchronization expression'.) Only invocations with a `such that clause' that evaluates to true are serviced by this arm.
Field Summary | |
---|---|
Quantifiers |
q
Value of quantifiers, if any, are accessible via this field. |
Constructor Summary | |
---|---|
InniArm.SuchThat()
|
Method Summary | |
---|---|
abstract boolean |
expr(Invocation inv)
Expression applied to an invocation to determine whether it is eligible to be serviced. |
void |
setQuantifiers(Quantifiers q)
Sets quantifiers. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public Quantifiers q
Constructor Detail |
---|
public InniArm.SuchThat()
Method Detail |
---|
public abstract boolean expr(Invocation inv)
inv
- The invocation.
public void setQuantifiers(Quantifiers q)
q
- The quantifiers.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |