edu.ucdavis.rj.Ops
Class InniArm.By

java.lang.Object
  edu.ucdavis.rj.Ops.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.

Field Summary

Quantifiers

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

Constructor Summary

InniArm.By()

Method Summary

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

InniArm.By

public InniArm.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.Ops.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 ((@link Comparable#compareTo}}.

setQuantifiers

public void setQuantifiers(Quantifiers q)

Description copied from interface: Quantifiable

Sets quantifiers.

Specified by:

setQuantifiers in interface Quantifiable

Parameters:

q - The quantifiers.