edu.ucdavis.rj

Class InniArm.SuchThat

java.lang.Object

edu.ucdavis.rj.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.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	edu.ucdavis.rj.Quantifiable.Helper

Field Summary

Fields

Modifier and Type	Field and Description
Quantifiers	q Value of quantifiers, if any, are accessible via this field.

Constructor Summary

Constructors

Constructor and Description
SuchThat()

Method Summary

Modifier and Type	Method and Description
abstract boolean	expr(Invocation inv) Expression applied to an invocation to determine whether it is eligible to be serviced.
void	setQuantifiers(Quantifiers q)

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

SuchThat

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