Lrgrep_interpreter (p.lrgrep.0.3.doc.lrgrep.interpreter.Lrgrep

Sourcetype 'terminal config = {

print_reduce_filter : bool;
print_stack_items : bool;

}

Sourceval default_config : 'a config

val config : 
  ?print_reduce_filter:bool ->
  ?print_stack_items:bool ->
  unit ->
  'a config

Sourcetype ('a, 'p) with_position = 'a * 'p * 'p

Sourcetype ('lr1, 'terminal, 'p) parser_output = {

stack : ('lr1, 'p) with_position list;
remainder : ('terminal, 'p) with_position Seq.node;

}

Sourcetype 'g sentence = {

entrypoint : ('g Kernel.Info.lr1 Fix.Indexing.index, Lexing.position) with_position option;
symbols : ('g Kernel.Info.terminal Fix.Indexing.index, Lexing.position) with_position list;

}

Sourceval lift_sentence : 'a Kernel__Info.grammar -> string -> 'a sentence

Sourceval print_loc : (Lexing.position * Lexing.position) -> string

Source

val print_items : 
  'a Kernel__Info.grammar ->
  int ->
  string ->
  'a Kernel.Info.Item.n Utils.IndexSet.t ->
  unit

Source

val print_lr1 : 
  'a Kernel__Info.grammar ->
  'a Kernel.Info.Lr1.n Fix.Indexing.index ->
  string option

Source

val print_stack : 
  'a Kernel__Info.grammar ->
  'b config ->
  is_goto:bool ->
  'a Kernel.Info.Lr1.n Fix.Indexing.index list ->
  unit

Source

val filter_reductions : 
  'a Utils.IndexSet.t ->
  ('b, 'a Utils.IndexSet.t) Utils.IndexMap.t list ->
  ('b, 'a Utils.IndexSet.t) Utils.IndexMap.t list

Source

val merge_reductions : 
  (('a, 'b Utils.IndexSet.t) Utils.IndexMap.t list
   * ('a, 'b Utils.IndexSet.t) Utils.IndexMap.t list) ->
  ('a, 'b Utils.IndexSet.t) Utils.IndexMap.t list

Source

val analyze_stack : 
  'a Kernel__Info.grammar ->
  ('a Kernel.Info.Lr1.n, 'a Kernel.Redgraph.reduction_closure)
    Fix.Indexing.vector ->
  'b config ->
  stack:
    ('a Kernel.Info.Lr1.n Fix.Indexing.index
     * Lexing.position
     * Lexing.position)
      list ->
  remainder:'a Kernel.Info.Terminal.n Fix.Indexing.index list ->
  unit

Sourcetype 'g parser = {

grammar : 'g Kernel.Info.grammar;
table : ('g Kernel.Info.lr1 Fix.Indexing.index * 'g Kernel.Info.terminal Fix.Indexing.index, [ `Reduce of 'g Kernel.Info.production Fix.Indexing.index | `Reject | `Shift of 'g Kernel.Info.lr1 Fix.Indexing.index ]) Hashtbl.t;

}

Sourceval make_parser : 'g Kernel.Info.grammar -> 'g parser

Source

val get_action : 
  'a parser ->
  'a Kernel.Info.Lr1.n Fix.Indexing.index ->
  'a Kernel.Info.terminal Fix.Indexing.index ->
  [ `Reduce of 'a Kernel.Info.production Fix.Indexing.index
  | `Reject
  | `Shift of 'a Kernel.Info.lr1 Fix.Indexing.index ]

Source

val parse_sentence : 
  'g parser ->
  ('g Kernel.Info.lr1 Fix.Indexing.index, 'p) with_position ->
  ('g Kernel.Info.terminal Fix.Indexing.index, 'p) with_position Seq.t ->
  ('g Kernel.Info.lr1 Fix.Indexing.index, 'p) with_position list
  * ('g Kernel.Info.lr1 Fix.Indexing.index, 'p) with_position list
  * ('g Kernel.Info.terminal Fix.Indexing.index, 'p) with_position Seq.t