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

java.lang.Object
  edu.ucdavis.rj.InniArm.By
      edu.ucdavis.rj.Common
          edu.ucdavis.rj.Smallest<E>

public class Smallest<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

Smallest(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

Smallest

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