Package eu.bandm.tools.ramus.runtime2

Class Parser.Proxy<D,T>

java.lang.Object

eu.bandm.tools.ramus.runtime2.Parser<D,T>

eu.bandm.tools.ramus.runtime2.Parser.Proxy<D,T>

All Implemented Interfaces:

Action.Continuation<Parser.Input<D,T>,Parser.Output<D,T>,SimpleMessage<D>,Parser.Input<D,T>>, Function<Parser.Input<D,T>,Action<Parser.Output<D,T>,SimpleMessage<D>,Parser.Input<D,T>>>

Enclosing class:

Parser<D,T>

static class Parser.Proxy<D,T>
extends Parser<D,T>

Nested Class Summary

Nested classes/interfaces inherited from class eu.bandm.tools.ramus.runtime2.Parser

Parser.Compile, Parser.Input<D,T>, Parser.Interpreter, Parser.InterpreterTactics, Parser.Output<D,T>, Parser.Pragma, Parser.Proxy<D,T>, Parser.Reading<R,D>, Parser.Test

Field Summary

Fields

Modifier and Type	Field	Description
protected final Parser<D,T>	body

Constructor Summary

Constructors

Constructor	Description
Proxy(Parser<D,T> body)

Method Summary

Modifier and Type	Method	Description
Action<Parser.Output<D,T>,SimpleMessage<D>,Parser.Input<D,T>>	apply(Parser.Input<D,T> in, Success<?,SimpleMessage<D>,Parser.Input<D,T>> recyclable)	Applies this continuation, possibly using a recyclable leaf node.
Optional<Set<T>>	getFirstSet()	Returns the finite set of token types that this parser may consume first, if available.
boolean	mayBeEpsilon()	Checks whether this parser may succeed without consuming any token.

Methods inherited from class eu.bandm.tools.ramus.runtime2.Parser

andThen, andThenCombining, append, assigning, choice, choice, collecting, compile, compileApply, compose, constant, diagnose, diagnose, diagnoseUnexpectedToken, dummy, endInterval, fail, fix, guard, id, ifThenElse, ignoringResult, keyword, lift, locate, lookbehind, lookbehind, lookbehind, lookup, lookup, main, map, negate, optional, optionalTagged, optionalTagged, orElse, plus, plusSequence, plusSequence, postprocess, postprocess, postprocess, process, sequence, sequence, sideEffect, sideEffect, star, starSequence, starSequence, startCollection, startInterval, succeed, succeed, terminal, terminal, terminal, terminal, test, TRACE, withOtherTokenSource, withScope, withScope, withScope, withSideEffects, withSideEffects, wrap

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface eu.bandm.tools.ramus.runtime2.Action.Continuation

apply

Methods inherited from interface java.util.function.Function

andThen, compose

Field Details

body

protected final Parser<D,T> body

Constructor Details

Proxy

Proxy(Parser<D,T> body)

Method Details

apply

public Action<Parser.Output<D,T>,SimpleMessage<D>,Parser.Input<D,T>> apply(Parser.Input<D,T> in,
 Success<?,SimpleMessage<D>,Parser.Input<D,T>> recyclable)

Description copied from class: Parser

Applies this continuation, possibly using a recyclable leaf node. Operational method.

Specified by:

apply in interface Action.Continuation<Parser.Input<D,T>,Parser.Output<D,T>,SimpleMessage<D>,Parser.Input<D,T>>

Specified by:

apply in class Parser<D,T>

Parameters:

in - the input parsing result

recyclable - a recyclable leaf node, or null if not available

Returns:

a leaf node with a newly computed parsing result; either recyclable if available or new.

See Also:

• Action.succeed(Object, Success)

getFirstSet

public Optional<Set<T>> getFirstSet()

Description copied from class: Parser

Returns the finite set of token types that this parser may consume first, if available.

The default implementation returns Optional.empty(), which is always safe. Subclasses may override this method to return an actual set, if those parsers are known to never succeed with consuming a first token of another type, to enable optimizations.

Overrides:

getFirstSet in class Parser<D,T>

Returns:

an actual finite set if, whenever this parser succeeds consuming at least one token, the type of the first consumed token must be contained in the set; Optional.empty() if such a set is either unknown or infinite.

See Also:

• Parser.mayBeEpsilon()
• Token.getType()

mayBeEpsilon

public boolean mayBeEpsilon()

Description copied from class: Parser

Checks whether this parser may succeed without consuming any token.

The default implementation returns true, which is always safe. Subclasses may override this method to return false, if those parsers are known to never succeed without consuming any token, to enable optimizations.

Overrides:

mayBeEpsilon in class Parser<D,T>

Returns:

true iff it is possible (certain or unknown) that this parser accepts zero tokens.

See Also:

• Parser.getFirstSet()