edu.ucdavis.rj.Ops
Class InniArm.SuchThat

java.lang.Object
  extended by edu.ucdavis.rj.Ops.InniArm.SuchThat
Enclosing class:
InniArm

public abstract static class InniArm.SuchThat
extends java.lang.Object

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

q

public Quantifiers q
Value of quantifiers, if any, are accessible via this field.

Constructor Detail

InniArm.SuchThat

public InniArm.SuchThat()
Method Detail

expr

public abstract boolean expr(Invocation inv)
Expression applied to an invocation to determine whether it is eligible to be serviced.

Parameters:
inv - The invocation.
Returns:
True if the invocation is eligible; false otherwise.

setQuantifiers

public void setQuantifiers(Quantifiers q)
Sets quantifiers.

Parameters:
q - The quantifiers.