edu.ucdavis.rj.Ops
Class InniArm.SuchThat

java.lang.Object
  edu.ucdavis.rj.Ops.InniArm.SuchThat

All Implemented Interfaces:

Quantifiable

Enclosing class:

InniArm

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

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)

Description copied from interface: Quantifiable

Sets quantifiers.

Specified by:

setQuantifiers in interface Quantifiable

Parameters:

q - The quantifiers.