Library
Module
Module type
Parameter
Class
Class type
A normal parser parses a stream of tokens like a MINIMAL_PARSER
. In addition it can have a state and semantic errors.
type item = token
In order to conform to the interface Fmlib_std.Interfaces.SINK
.
val needs_more : t -> bool
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.
val has_succeeded : t -> bool
has_succeeded p
Has the parser p
succeeded?
final p
The final object constructed by the parser p
in case of success.
Precondition: has_succeeded p
val has_failed_syntax : t -> bool
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
val has_failed_semantic : t -> bool
Has the parser failed because of a semantic error?
The semantic error encountered.
Precondition: A semantic error has occurred.