|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.ucdavis.rj.Ops.InniArm.By
public abstract static class InniArm.By
A `by clause' specifies the order in which invocations are serviced. (Aka `scheduling expression'.) Invocations will be serviced in order of the by clause, smallest values first.
Field Summary | |
---|---|
Quantifiers |
q
Value of quantifiers, if any, are accessible via this field. |
Constructor Summary | |
---|---|
InniArm.By()
|
Method Summary | |
---|---|
int |
compareTo(java.lang.Comparable o1,
java.lang.Comparable o2)
Comparison method used to compare two invocations' ranks. |
abstract java.lang.Comparable |
expr(Invocation inv)
Expression applied to an invocation to determine the invocation's `rank'. |
void |
setQuantifiers(Quantifiers q)
Sets quantifiers. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public Quantifiers q
Constructor Detail |
---|
public InniArm.By()
Method Detail |
---|
public abstract java.lang.Comparable expr(Invocation inv)
inv
- The invocation.
public int compareTo(java.lang.Comparable o1, java.lang.Comparable o2)
expr(edu.ucdavis.rj.Ops.Invocation)
.
This method may be overridden, but generally it won't need to be.
(But, see Common.Largest
).
o1
- First rank.o2
- Second rank.
compareTo
((@link Comparable#compareTo}}.public void setQuantifiers(Quantifiers q)
Quantifiable
setQuantifiers
in interface Quantifiable
q
- The quantifiers.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |