|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.rubato.logeo.Select
public final class Select
The select methods traverse a denotator and collect all parts of the denotator that satisfy a predicate.
Method Summary | |
---|---|
static java.util.List<Denotator> |
select(Form f,
Denotator d)
Returns the nodes of form f from d. |
static java.util.List<Denotator> |
select(Form f,
Predicate p,
Denotator d)
Returns the nodes of form f |
static java.util.List<Denotator> |
select(Predicate p,
Denotator d)
Returns the nodes from d
that satisfy predicate p . |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
---|
public static java.util.List<Denotator> select(Predicate p, Denotator d) throws RubatoException
d
that satisfy predicate p
.
p
- the predicate should be able to return a result for any
form of denotator
RubatoException
public static java.util.List<Denotator> select(Form f, Predicate p, Denotator d) throws RubatoException
f from d
that satisfy predicate p
.
- Parameters:
p
- the predicate needs only to return a result for an argument of
form f
- Throws:
RubatoException
public static java.util.List<Denotator> select(Form f, Denotator d) throws RubatoException
RubatoException
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |