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