|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectgalois.runtime.wl.Priority.Rule
public static class Priority.Rule
An ordering specification. An ordering specification consists of two parts:
a global order and a local order. An order is a sequence of rules chained
together by a sequence of then(Class, Object...)
methods. The first
order in an ordering specification is the global order. The
thenLocally(Class, Object...)
method marks the end of the global order
and the beginning of the local order.
Method Summary | |
---|---|
Priority.Rule |
then(Class<? extends Worklist> rule,
Object... args)
Appends a rule to the current order. |
Priority.Rule |
thenLocally(Class<? extends Worklist> rule,
Object... args)
Appends a rule, marks the rule and all subsequent rules as belonging to the local order. |
String |
toString()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Method Detail |
---|
public Priority.Rule then(Class<? extends Worklist> rule, Object... args)
maker
and
needSize
arguments, which are used internally by the construction
algorithm to generate worklists.
Thus, if rule R1 has two constructors
R1(Maker<T> maker, int needSize)
and
R1(int size, Maker<T> maker, int needSize)
, then there are only two
valid calls to this method with R1: then(R1)
and then(R1, int)
.
rule
- the rule to appendargs
- the arguments to the rule if any
thenLocally(Class, Object...)
,
Priority.first(Class, Object...)
public Priority.Rule thenLocally(Class<? extends Worklist> rule, Object... args)
This method follows the same convention regarding arguments to rules as then(Class, Object...)
.
rule
- the rule to appendargs
- the arguments to the rule if any
then(Class, Object...)
public String toString()
toString
in class Object
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |