Up

module Parser

: sig
#
module Make : functor (Structure : Structure.S) -> sig
#
val add_loc : Structure.Loc.t -> (Structure.token_stream -> 'b) -> Structure.token_stream -> 'b * Structure.Loc.t
#
val level_number : Structure.internal_entry -> string -> int
#
val strict_parsing : bool Pervasives.ref
#
val strict_parsing_warning : bool Pervasives.ref
#
val top_symb : Structure.internal_entry -> Structure.symbol -> Structure.symbol
#
val top_tree : Structure.internal_entry -> Structure.tree -> Structure.tree
#
val entry_of_symb : Structure.internal_entry -> Structure.symbol -> Structure.internal_entry
#
val continue : Structure.internal_entry -> Structure.Loc.t -> Structure.Action.t -> Structure.symbol -> Structure.tree -> Structure.efun -> Structure.efun
#
val do_recover : (Structure.internal_entry -> 'a -> 'b -> Structure.tree -> Structure.efun) -> Structure.internal_entry -> 'a -> 'b -> Structure.Loc.t -> Structure.Action.t -> Structure.symbol -> Structure.tree -> Structure.efun
#
val recover : (Structure.internal_entry -> 'a -> 'b -> Structure.tree -> Structure.efun) -> Structure.internal_entry -> 'a -> 'b -> Structure.Loc.t -> Structure.Action.t -> Structure.symbol -> Structure.tree -> Structure.efun
#
val parser_of_tree : Structure.internal_entry -> int -> int -> Structure.tree -> Structure.efun
#
val parser_cont : Structure.efun -> Structure.internal_entry -> int -> int -> Structure.symbol -> Structure.tree -> Structure.Loc.t -> Structure.Action.t -> Structure.efun
#
val parser_of_token_list : (Structure.Loc.t -> Structure.Action.t -> Structure.efun) -> Structure.symbol list -> Structure.efun
#
val parser_of_symbol : Structure.internal_entry -> int -> Structure.symbol -> Structure.efun
#
val parse_top_symb : Structure.internal_entry -> Structure.symbol -> Structure.efun
#
val start_parser_of_levels : Structure.internal_entry -> int -> Structure.level list -> int -> Structure.efun
#
val start_parser_of_entry : Structure.internal_entry -> int -> Structure.efun
#
val continue_parser_of_levels : Structure.internal_entry -> int -> Structure.level list -> int -> Structure.Loc.t -> 'a -> Structure.efun
#
val continue_parser_of_entry : Structure.internal_entry -> int -> Structure.Loc.t -> Structure.Action.t -> Structure.efun
end
end