src/grammar.mli

   1 type t
   2
   3 type node = [ `Grammar ] Node.t
   4
   5 type p_type  = [ `Parameter ]
   6 type n_type = [ `NonTerminal ]
   7 type t_type = [ `Terminal ]
   8 type any_type = [ p_type | n_type | t_type ]
   9 type symbol = [ any_type ] Node.t
  10
  11 type p_symbol = p_type Node.t
  12 type n_symbol = n_type Node.t
  13 type t_symbol = t_type Node.t
  14 type tn_symbol = [ n_type | t_type ] Node.t
  15
  16 type partial = Node of tn_symbol * partial array | Leaf of node
  17
  18
  19
  20
  21 val is_terminal : [< any_type ] Node.t -> bool
  22 val is_non_terminal : [< any_type ] Node.t -> bool
  23 val is_parameter : [< any_type ] Node.t -> bool
  24
  25 external get_symbol_at : t -> symbol -> node -> symbol = "caml_grammar_get_symbol_at"
  26 external first_child : t -> symbol -> node -> node = "caml_grammar_first_child"
  27 external next_sibling : t -> symbol -> node -> node = "caml_grammar_next_sibling"
  28 external parameter : [< any_type ] Node.t -> p_symbol = "%identity"
  29 external terminal : [< any_type ] Node.t -> t_symbol = "%identity"
  30 external non_terminal : [< any_type ] Node.t -> n_symbol = "%identity"
  31 external get_id1 : t -> n_symbol -> tn_symbol = "caml_grammar_get_id1"
  32 external get_id2 : t -> n_symbol -> tn_symbol = "caml_grammar_get_id2"
  33 external get_param_pos : t -> n_symbol -> int = "caml_grammar_get_param_pos"
  34 val num_params : n_symbol -> int
  35 val num_children : [< t_type | n_type ] Node.t -> int
  36 external is_nil : t -> t_symbol -> bool = "caml_grammar_is_nil"
  37
  38 val tag : t_symbol -> Tag.t
  39 val tag_operations : t -> Tag.operations
  40
  41
  42
  43 val load : string -> bool -> t