edu.ucdavis.rj

Class InniArm.By

java.lang.Object

edu.ucdavis.rj.InniArm.By

All Implemented Interfaces:

Quantifiable

Direct Known Subclasses:

Common

Enclosing class:

InniArm

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

A `by clause' specifies the order in which invocations are serviced. (Aka `scheduling expression'.) Invocations will be serviced in order of the by clause, smallest values first.

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

Method Summary

Modifier and Type	Method and Description
int	compareTo(java.lang.Comparable o1, java.lang.Comparable o2) Comparison method used to compare two invocations' ranks.
abstract java.lang.Comparable	expr(Invocation inv) Expression applied to an invocation to determine the invocation's `rank'.
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

By

public By()

Method Detail

expr

public abstract java.lang.Comparable expr(Invocation inv)

Expression applied to an invocation to determine the invocation's `rank'.

Parameters:

inv - The invocation.

Returns:

The invocation's `rank'.

compareTo

public int compareTo(java.lang.Comparable o1,
                     java.lang.Comparable o2)

Comparison method used to compare two invocations' ranks. The specific types of the two ranks are the same, i.e., the type returned by expr(edu.ucdavis.rj.Invocation). This method may be overridden, but generally it won't need to be. (But, see Common.Largest).

Parameters:

o1 - First rank.

o2 - Second rank.

Returns:

The result of comparing the two ranks. Its value is the usual value for compareTo (Comparable.compareTo(T)).

setQuantifiers

public void setQuantifiers(Quantifiers q)

Description copied from interface: Quantifiable

Sets quantifiers.

Specified by:

setQuantifiers in interface Quantifiable

Parameters:

q - The quantifiers.