edu.ucdavis.rj
Class Common2.Smallest

java.lang.Object
  extended by edu.ucdavis.rj.InniArm.By
      extended by edu.ucdavis.rj.Common2
          extended by edu.ucdavis.rj.Common2.Smallest
Enclosing class:
Common2

public static class Common2.Smallest
extends Common2


Nested Class Summary
 
Nested classes/interfaces inherited from class edu.ucdavis.rj.Common2
Common2.Largest, Common2.Smallest
 
Field Summary
 
Fields inherited from class edu.ucdavis.rj.Common2
exprPos
 
Fields inherited from class edu.ucdavis.rj.InniArm.By
q
 
Constructor Summary
Common2.Smallest(int exprPos)
           
 
Method Summary
 int compareTo(java.lang.Comparable o1, java.lang.Comparable o2)
           
 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
compareTo, setQuantifiers
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Common2.Smallest

public Common2.Smallest(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.Comparable o1,
                     java.lang.Comparable o2)