camlp5 7.00 · OCaml Package

type 'a parser_t = 'a Stream.t -> Obj.t

type 'a fparser_t = 'a Fstream.t -> (Obj.t * 'a Fstream.t) option

type !'a bparser_t = ('a, Obj.t) Fstream.bp

type parse_algorithm =

| Predictive
| Functional
| Backtracking
| DefaultAlgorithm

type !'te grammar = {

gtokens : (Plexing.pattern, int Pervasives.ref) Hashtbl.t;
mutable glexer : 'te Plexing.lexer;
mutable galgo : parse_algorithm;

}

type !'te g_entry = {

egram : 'te grammar;
ename : string;
elocal : bool;
mutable estart : int -> 'te parser_t;
mutable econtinue : int -> int -> Obj.t -> 'te parser_t;
mutable fstart : int -> err_fun -> 'te fparser_t;
mutable fcontinue : int -> int -> Obj.t -> err_fun -> 'te fparser_t;
mutable bstart : int -> err_fun -> 'te bparser_t;
mutable bcontinue : int -> int -> Obj.t -> err_fun -> 'te bparser_t;
mutable edesc : 'te g_desc;

}

and !'te g_desc =

| Dlevels of 'te g_level list
| Dparser of 'te parser_t

and !'te g_level = {

assoc : g_assoc;
lname : string option;
lsuffix : 'te g_tree;
lprefix : 'te g_tree;

}

and g_assoc =

| NonA
| RightA
| LeftA

and !'te g_symbol =

| Sfacto of 'te g_symbol
| Smeta of string * 'te g_symbol list * Obj.t
| Snterm of 'te g_entry
| Snterml of 'te g_entry * string
| Slist0 of 'te g_symbol
| Slist0sep of 'te g_symbol * 'te g_symbol * bool
| Slist1 of 'te g_symbol
| Slist1sep of 'te g_symbol * 'te g_symbol * bool
| Sopt of 'te g_symbol
| Sflag of 'te g_symbol
| Sself
| Snext
| Stoken of Plexing.pattern
| Stree of 'te g_tree
| Svala of string list * 'te g_symbol

and g_action = Obj.t

and !'te g_tree =

| Node of 'te g_node
| LocAct of g_action * g_action list
| DeadEnd

and !'te g_node = {

node : 'te g_symbol;
son : 'te g_tree;
brother : 'te g_tree;

}

and err_fun = unit -> string

type position =

| First
| Last
| Before of string
| After of string
| Like of string
| Level of string

val levels_of_rules : 
  'te g_entry ->
  position option ->
  (string option * g_assoc option * ('te g_symbol list * g_action) list) list ->
  'te g_level list

val srules : ('te g_symbol list * g_action) list -> 'te g_symbol

val action : 'a -> g_action

val eq_symbol : 'a g_symbol -> 'a g_symbol -> bool

val delete_rule_in_level_list : 
  'te g_entry ->
  'te g_symbol list ->
  'te g_level list ->
  'te g_level list

val warning_verbose : bool Pervasives.ref

package camlp5