module Entry: sig
.. end
Module to handle entries.
-
Entry.e
is the type for entries returning values of type 'a
.
-
Entry.create g n
creates a new entry named n
in the grammar g
.
-
Entry.parse e
returns the stream parser of the entry e
.
-
Entry.parse_all e
returns the stream parser returning all possible
values while parsing with the entry e
: may return more than one
value when the parsing algorithm is Backtracking
-
Entry.parse_all e
returns the parser returning all possible values.
-
Entry.parse_token e
returns the token parser of the entry e
.
-
Entry.parse_parsable e
returns the parsable parser of the entry e
.
-
Entry.name e
returns the name of the entry e
.
-
Entry.of_parser g n p
makes an entry from a token stream parser.
-
Entry.print e
displays the entry e
using Format
.
-
Entry.find e s
finds the entry named s
in the rules of e
.
-
Entry.obj e
converts an entry into a Gramext.g_entry
allowing
to see what it holds.
type 'a
e
val create : Grammar.g -> string -> 'a e
val parse : 'a e -> char Stream.t -> 'a
val parse_all : 'a e -> char Stream.t -> 'a list
val parse_token : 'a e -> Grammar.token Stream.t -> 'a
val parse_parsable : 'a e -> Grammar.parsable -> 'a
val name : 'a e -> string
val of_parser : Grammar.g -> string -> (Grammar.token Stream.t -> 'a) -> 'a e
val print : 'a e -> unit
val find : 'a e -> string -> Obj.t e
val obj : 'a e -> Grammar.token Gramext.g_entry