Modifier and Type | Class and Description |
---|---|
static class |
edu.ucdavis.rj.Quantifiable.Helper |
Common.Largest, Common.Smallest
q
Constructor and Description |
---|
Common.Largest(int exprPos) |
Modifier and Type | Method and Description |
---|---|
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'.
|
setQuantifiers
public java.lang.Comparable expr(Invocation inv)
InniArm.By
expr
in class InniArm.By
inv
- The invocation.public int compareTo(java.lang.Comparable o1, java.lang.Comparable o2)
InniArm.By
InniArm.By.expr(edu.ucdavis.rj.Invocation)
.
This method may be overridden, but generally it won't need to be.
(But, see Common.Largest
).compareTo
in class InniArm.By
o1
- First rank.o2
- Second rank.compareTo
(Comparable.compareTo(T)
).