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/Automata/Dataflow/index.html

Module Automata.DataflowSource

Sourcetype 'n _var_classes = {
  1. domain : 'n Fix.Indexing.cardinal;
  2. mutable classes : 'n var Utils.Misc.indexset list;
}
Sourcetype var_classes =
  1. | V : 'n _var_classes -> var_classes
Sourcetype ('g, 'r, 'dfa) t = {
  1. pairings : ('dfa, (('g, 'r) Spec.branch Fix.Indexing.index * chain) list list) Fix.Indexing.vector;
  2. accepts : ('dfa, (('g, 'r) Spec.branch Fix.Indexing.index * priority) list) Fix.Indexing.vector;
  3. liveness : ('dfa, Regexp.Capture.set array) Fix.Indexing.vector;
  4. defined : ('dfa, Regexp.Capture.set array) Fix.Indexing.vector;
  5. classes : ('dfa, var_classes) Fix.Indexing.vector;
  6. registers : ('dfa, Lrgrep_support.Register.t Regexp.Capture.map array) Fix.Indexing.vector;
  7. register_count : int;
  8. accepted_before : ('dfa, ('g, 'r) Spec.branch Utils.Misc.indexset) Fix.Indexing.vector;
}
Sourceval liveness : ('g, 'r, 'dfa) t -> ('g, 'r, 'dfa, 'n) DFA.state -> ('n, Regexp.Capture.set) Fix.Indexing.Vector.t
Sourceval defined : ('g, 'r, 'dfa) t -> ('g, 'r, 'dfa, 'n) DFA.state -> ('n, Regexp.Capture.set) Fix.Indexing.Vector.t
Sourceval registers : ('g, 'r, 'dfa) t -> ('g, 'r, 'dfa, 'n) DFA.state -> ('n, Lrgrep_support.Register.t Regexp.Capture.map) Fix.Indexing.Vector.t
Sourceval classes : ('g, 'r, 'dfa) t -> ('g, 'r, 'dfa, 'n) DFA.state -> 'n var Utils.Misc.indexset list
Sourcetype ('g, 'r, 'dfa, 'tgt) rev_mapping =
  1. | Rev_mapping : ('g, 'r, 'dfa, 'src) DFA.state * ('src, 'tgt) DFA.mapping -> ('g, 'r, 'dfa, 'tgt) rev_mapping
Sourcetype ('g, 'r, 'dfa) packed_rev_mapping =
  1. | Rev_packed : ('g, 'r, 'dfa, 'n) rev_mapping list -> ('g, 'r, 'dfa) packed_rev_mapping
Sourceval dump : 'a Kernel__Info.grammar -> ('a, 'b, 'c) DFA.t -> ('a, 'b, 'c) t -> Stdlib.out_channel -> unit
Sourceval reverse_transitions : ('a, 'b, 'c) DFA.t -> ('c, ('a, 'b, 'c) packed_rev_mapping) Fix.Indexing.Vector.t
Sourceval make : ('g, 'r) Spec.branches -> ('g, 'r, 'dfa) DFA.t -> ('g, 'r, 'dfa) t