|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.rubato.logeo.Map
public final class Map
Static methods for mapping function onto denotators.
Method Summary | |
---|---|
static Denotator |
map(Denotator d,
Form form,
Function f)
Maps the function fun to the denotator
d for every part of denotator
that matches the given form . |
static Denotator |
map(Denotator d,
Predicate p,
Function f)
Maps the function fun to the denotator
d for every part of the denotator
that satisfies the given predicate p . |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
---|
public static Denotator map(Denotator d, Form form, Function f) throws RubatoException
fun
to the denotator
d
for every part of denotator
that matches the given form
.
d
- the denotator that the function is applied toform
- the form of the parts that get mappedf
- the function that is applied
RubatoException
- if mapping failspublic static Denotator map(Denotator d, Predicate p, Function f) throws RubatoException
fun
to the denotator
d
for every part of the denotator
that satisfies the given predicate p
.
d
- the denotator that the function is applied top
- the predicate that a part must satisfy for the function to be appliedf
- the function that is applied
RubatoException
- if mapping fails
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |