Package | Description |
---|---|
eu.bandm.tools.ramus.runtime2 |
Modifier and Type | Class and Description |
---|---|
class |
Parser<D,T>
Combinatorial nondeterministic parser building blocks.
|
class |
Update<M> |
Modifier and Type | Method and Description |
---|---|
static <R,S,M,O> Action.Continuation<R,S,M,O> |
Action.Continuation.forget(Function<? super R,? extends Action<S,M,O>> fun)
Lifts a monadic function on parsing results to a continuation.
|
static <R,S,M,O> Action.Continuation<R,S,M,O> |
Action.Continuation.map(Function<? super R,? extends S> fun)
Lifts a function on parsing results to a monadic continuation.
|
Modifier and Type | Method and Description |
---|---|
abstract <S> Action<S,M,O> |
Action.bind(Action.Continuation<? super R,S,M,O> cont)
Applies a monadic continuation to all leaves of this search tree
(transition operation).
|
<S> Action<S,M,O> |
Diagnosis.bind(Action.Continuation<? super R,S,M,O> cont) |
<S> Action<S,M,O> |
Choice.bind(Action.Continuation<? super R,S,M,O> cont) |
<S> Action<S,M,O> |
Blockage.bind(Action.Continuation<? super R,S,M,O> cont) |
<S> Action<S,M,O> |
Success.bind(Action.Continuation<? super R,S,M,O> cont)
Applies a monadic continuation to all leaves of this search tree
(transition operation).
|
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) |
Parser<D,T> |
Parser.postprocess(Action.Continuation<State,State,SimpleMessage<D>,State> cont)
Appends an ad-hoc continuation to the semantic effect of this parser.
|
Parser<D,T> |
Parser.postprocess(Action.Continuation<State,State,SimpleMessage<D>,State> cont,
int complexity)
Appends an ad-hoc continuation to the semantic effect of this parser.
|
Constructor and Description |
---|
ContinuationCompilationContext(String componentClassName,
Class<? extends Action.Continuation> baseClass) |
see also the complete user documentation .