Type of the parser.

Type of the tokens.

In order to conform to the interface Fmlib_std.Interfaces.SINK.

needs_more p Does the parser p need more tokens?

put tok p Push token tok into the parser p.

Even if the parser has ended, more tokens can be pushed into the parser. The parser stores the token as lookahead token.

If the parser has already received the end of the token stream via put_end, then all subsequent tokens are ignored.

put_end p Push and end token into the parser p.

Type of the final result.

has_succeeded p Has the parser p succeeded?

has_ended p Has the parser p ended parsing and either succeeded or failed?

has_ended p is the same as not (needs_more p)

Has the parser consumed the end of input?

final p The final object constructed by the parser p in case of success.

Precondition: has_succeeded p

Type of expectations.

has_failed_syntax p Has the parser p failed with a syntax error?

failed_expectations p The failed expectations due to a syntax error.

Precondition: has_failed_syntax p

Type of semantic errors.

Has the parser failed because of a semantic error?

The semantic error encountered.

Precondition: A semantic error has occurred.

Type of the state of the parser (in many cases unit)

The state of the parser.