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
Constructors -
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
-