Package | Description |
---|---|
eu.bandm.tools.ramus.runtime2 |
Modifier and Type | Method and Description |
---|---|
static <M> Update<M> |
Update.access(Object key) |
static <M> Update |
Update.add(Object key) |
static <M> Update<M> |
Update.assign(Object key) |
static <M> Update<M> |
Update.compose(Update<M> first,
Update<M> second) |
Update<SimpleMessage<D>> |
Parser.Output.getEffect()
Returns the effect on semantic parsing state of this output.
|
static <M> Update<M> |
Update.id() |
Update<M> |
Update.ignoringResult() |
static <M> Update<M> |
Update.lift(Action.Continuation<? super State,State,M,State> cons) |
static <M> Update<M> |
Update.lift(Action.Continuation<? super State,State,M,State> cons,
int complexity) |
static <M> Update<M> |
Update.map(Function<Data,Data> op) |
static <M> Update<M> |
Update.merge(Action.BiContinuation<Data,Data,Data,M,State> op,
Update<M> first,
Update<M> second) |
static <M> Update<M> |
Update.pop() |
static <M> Update<M> |
Update.push() |
static <M> Update<M> |
Update.pushEntries(Map<Object,? extends Data> entries) |
static <M> Update<M> |
Update.pushEntry(Object key,
Data value) |
static <M> Update<M> |
Update.remove(Object key) |
static <M> Update<M> |
Update.removeAll(Collection<Object> keys) |
static <M> Update<M> |
Update.setEntries(Map<Object,? extends Data> entries) |
static <M> Update<M> |
Update.setEntry(Object key,
Data value) |
static <M> Update<M> |
Update.setValue(Data value) |
Modifier and Type | Method and Description |
---|---|
static <M> Update<M> |
Update.compose(Update<M> first,
Update<M> second) |
static <M> Update<M> |
Update.compose(Update<M> first,
Update<M> second) |
static <M> Update<M> |
Update.merge(Action.BiContinuation<Data,Data,Data,M,State> op,
Update<M> first,
Update<M> second) |
static <M> Update<M> |
Update.merge(Action.BiContinuation<Data,Data,Data,M,State> op,
Update<M> first,
Update<M> second) |
Parser<D,T> |
Parser.postprocess(Update<SimpleMessage<D>> effect)
Appends to the semantic effect of this parser.
|
static <D,T> Parser<D,T> |
Parser.succeed(Update<SimpleMessage<D>> effect)
Returns a parser that succeeds with the given effect, consuming no tokens.
|
default Parser.Output<D,T> |
Parser.Input.transitionBy(Update<SimpleMessage<D>> effect) |
Parser.Output<D,T> |
Parser.Output.withEffect(Update<SimpleMessage<D>> effect) |
Parser.Output<D,T> |
Parser.Output.withPostEffect(Update<SimpleMessage<D>> effect) |
Parser.Output<D,T> |
Parser.Output.withPreEffect(Update<SimpleMessage<D>> effect) |
Modifier and Type | Method and Description |
---|---|
Parser.Output<D,T> |
Parser.Output.mapEffect(Function<? super Update<SimpleMessage<D>>,? extends Update<SimpleMessage<D>>> fun) |
Parser.Output<D,T> |
Parser.Output.mapEffect(Function<? super Update<SimpleMessage<D>>,? extends Update<SimpleMessage<D>>> fun) |
static <D,T> Parser<D,T> |
Parser.succeed(Function<? super Parser.Input<D,T>,? extends Update<SimpleMessage<D>>> effect)
Returns a parser that succeeds with the given state-dependent effect,
consuming no tokens.
|
Constructor and Description |
---|
Output(Update<SimpleMessage<D>> effect,
Parser.Input<D,T> next) |
see also the complete user documentation .