edu.ucdavis.rj.Ops
Class Common.Smallest

java.lang.Object
  edu.ucdavis.rj.Ops.InniArm.By
      edu.ucdavis.rj.Ops.Common
          edu.ucdavis.rj.Ops.Common.Smallest

Enclosing class:

Common

public static class Common.Smallest
extends Common

Nested Class Summary

Nested classes/interfaces inherited from class edu.ucdavis.rj.Ops.Common

Common.Largest, Common.Smallest

Field Summary

Fields inherited from class edu.ucdavis.rj.Ops.Common

exprPos

Fields inherited from class edu.ucdavis.rj.Ops.InniArm.By

q

Constructor Summary

Common.Smallest(int exprPos)

Method Summary

int	compareTo(java.lang.Comparable o1, java.lang.Comparable o2) Comparison method used to compare two invocations' ranks.
java.lang.Comparable	expr(Invocation inv) Expression applied to an invocation to determine the invocation's `rank'.

Methods inherited from class edu.ucdavis.rj.Ops.InniArm.By

setQuantifiers

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Common.Smallest

public Common.Smallest(int exprPos)

Method Detail

expr

public java.lang.Comparable expr(Invocation inv)

Description copied from class: InniArm.By

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

Specified by:

expr in class InniArm.By

Parameters:

inv - The invocation.

Returns:

The invocation's `rank'.

compareTo

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

Description copied from class: InniArm.By

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

Overrides:

compareTo in class InniArm.By

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}}.