edu.ucdavis.rj.Ops
Class Common.Largest

java.lang.Object
  extended by edu.ucdavis.rj.Ops.InniArm.By
      extended by edu.ucdavis.rj.Ops.Common
          extended by edu.ucdavis.rj.Ops.Common.Largest
All Implemented Interfaces:
Quantifiable
Enclosing class:
Common

public static class Common.Largest
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.Largest(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.Largest

public Common.Largest(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}}.