Package eu.bandm.tools.ramus.runtime2
Class Parser.Output<D,T>
java.lang.Object
eu.bandm.tools.ramus.runtime2.Parser.Output<D,T>
- Type Parameters:
D
- the type of source document identifiersT
- the type of token types; typically an enum type
Immutable parser transition outputs. Each output is a pair of the next
input state and the reified semantic side effect of a parsing transition.
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionReturns the effect on semantic parsing state of this output.getNext()
Returns the next input state of this output.mapEffect
(Function<? super Update<SimpleMessage<D>>, ? extends Update<SimpleMessage<D>>> fun) toString()
withEffect
(Update<SimpleMessage<D>> effect) withNext
(Parser.Input<D, T> next) withPostEffect
(Update<SimpleMessage<D>> effect) withPreEffect
(Update<SimpleMessage<D>> effect)
-
Constructor Details
-
Output
-
-
Method Details
-
getEffect
Returns the effect on semantic parsing state of this output.- Returns:
- the effect on semantic parsing state of this output.
-
getNext
Returns the next input state of this output.- Returns:
- the next input state of this output.
-
withEffect
-
withPreEffect
-
withPostEffect
-
mapEffect
public Parser.Output<D,T> mapEffect(Function<? super Update<SimpleMessage<D>>, ? extends Update<SimpleMessage<D>>> fun) -
withNext
-
toString
-