edu.ucdavis.rj
Class Largest<E extends java.lang.Comparable<E>>

java.lang.Object
  extended by edu.ucdavis.rj.InniArm.By
      extended by edu.ucdavis.rj.Common
          extended by edu.ucdavis.rj.Largest<E>
All Implemented Interfaces:
Quantifiable

public class Largest<E extends java.lang.Comparable<E>>
extends Common


Field Summary
 
Fields inherited from class edu.ucdavis.rj.Common
exprPos
 
Fields inherited from class edu.ucdavis.rj.InniArm.By
q
 
Constructor Summary
Largest(int exprPos)
           
 
Method Summary
 int compareTo(java.lang.Object o1, java.lang.Object o2)
          Comparison method used to compare two invocations' ranks.
 java.lang.Object expr(Invocation inv)
          Expression applied to an invocation to determine the invocation's `rank'.
 
Methods inherited from class edu.ucdavis.rj.InniArm.By
setQuantifiers
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Largest

public Largest(int exprPos)
Method Detail

expr

public java.lang.Object 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.Object o1,
                     java.lang.Object o2)
Description copied from class: InniArm.By
Comparison method used to compare two invocations' ranks. The code needs to cast the parameters to the proper type.

Specified by:
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}}.