edu.ucdavis.rj

Class InniArm.SuchThat

java.lang.Object

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

Nested Class Summary

Nested classes/interfaces inherited from interface edu.ucdavis.rj.Quantifiable

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

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)

Description copied from interface: Quantifiable

Sets quantifiers.

Specified by:

setQuantifiers in interface Quantifiable

Parameters:

q - The quantifiers.