package lrgrep

  1. Overview
  2. Docs
Analyse the stack of a Menhir-generated LR parser using regular expressions

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (1)

Authors

  1. F
    Frederic Bour <frederic.bour@lakaban.net>

Maintainers

  1. F
    Frederic Bour <frederic.bour@lakaban.net>

Sources

lrgrep-0.3.tbz
sha256=84a1874d0c063da371e19c84243aac7c40bfcb9aaf204251e0eb0d1f077f2cde
sha512=5a16ff42a196fd741bc64a1bdd45b4dca0098633e73aa665829a44625ec15382891c3643fa210dbe3704336eab095d4024e093e37ae5313810f6754de6119d55

doc/kernel/Kernel/Info/Lr1/index.html

Module Info.Lr1Source

include INDEXED with type 'g n = 'g lr1
Sourcetype 'g n = 'g lr1
Sourceval cardinal : 'g grammar -> 'g n Fix.Indexing.cardinal
Sourceval of_int : 'g grammar -> int -> 'g n Fix.Indexing.index
Sourceval accepting : 'g grammar -> 'g n Utils.Misc.indexset
Sourceval wait : 'g grammar -> 'g n Utils.Misc.indexset
Sourceval incoming : 'g grammar -> 'g n Fix.Indexing.index -> 'g symbol Fix.Indexing.index option
Sourceval to_string : 'g grammar -> 'g n Fix.Indexing.index -> string
Sourceval list_to_string : 'g grammar -> 'g n Fix.Indexing.index list -> string
Sourceval set_to_string : 'g grammar -> 'g n Utils.Misc.indexset -> string
Sourceval symbol_to_string : 'g grammar -> 'g n Fix.Indexing.index -> string

shift_on t is the set of lookaheads that state t can shift

reduce_on t is the set of lookaheads that trigger a reduction in state t

reject t is set of lookaheads that cause the automaton to fail when in state t

predecessors t is the set of LR(1) states that have transition going to t.

Wrapper around IndexSet.inter speeding-up intersection with all

Sourceval is_entrypoint : 'g grammar -> 'g n Fix.Indexing.index -> 'g production Fix.Indexing.index option
Sourceval entrypoint_table : 'g grammar -> (string, 'g n Fix.Indexing.index) Stdlib.Hashtbl.t
Sourceval entrypoints : 'g grammar -> 'g n Utils.Misc.indexset
Sourceval default_reduction : 'g grammar -> 'g n Fix.Indexing.index -> 'g production Fix.Indexing.index option