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

Module Kernel.CoverageSource

module Position : sig ... end
Sourcetype 'g position = 'g Position.t
Sourcetype 'g position_desc = 'g Info.nonterminal Fix.Indexing.index * int
Sourceval make_positions : 'g Info.grammar -> 'g positions
Sourceval inject_position : 'g positions -> int -> int -> int
Sourceval project_position : 'g positions -> int -> 'g position_desc
Sourceval previous_position : 'g positions -> int -> ('g Info.nonterminal Fix.Indexing.index, int) Stdlib.Either.t
Sourceval pack_position : 'a positions -> int -> int -> int
Sourceval pack_inject : 'a positions -> int -> int -> int -> int
Sourceval unpack_position : 'a positions -> int -> int * int
Sourceval get_map : ('a, ('b, 'c Utils.IndexSet.t Stdlib.ref) Utils.IndexMap.t) Fix.Indexing.Vector.t -> int -> 'b Fix.Indexing.index -> 'c Utils.IndexSet.t Stdlib.ref
Sourceval (@:=) : 'a Stdlib.ref -> ('a -> 'a) -> unit
Sourcetype ('g, 'st, 'lrc) coverage_transition = {
  1. source : 'st Fix.Indexing.index;
  2. source_position : ('g, 'lrc) lrc_position;
  3. target_position : ('g, 'lrc) lrc_position;
  4. lookahead : 'g Info.terminal Utils.Misc.indexset;
}
Sourcetype ('g, 'st, 'lrc) machine_coverage = {
  1. transitions : ('st, ('g, 'st, 'lrc) coverage_transition list) Fix.Indexing.vector;
  2. unhandled_initial : 'lrc Utils.Misc.indexset;
  3. unhandled_predecessors : ('st, (('g, 'lrc) lrc_position * 'lrc Utils.Misc.indexset * 'g Info.terminal Utils.Misc.indexset) list) Fix.Indexing.vector;
}
Sourceval coverage : 'g Info.grammar -> ('g, 'r) Spec.branches -> ('g, 'r, 'st, 'tr) Automata.Machine.t -> ('g, 'lrc) Automata.stacks -> ('g Info.lr1, 'g Redgraph.reduction_closure) Fix.Indexing.vector -> 'g positions -> int option -> ('g, 'st, 'lrc) machine_coverage
Sourceval string_of_items_for_filter : 'a Kernel__Info.grammar -> 'a Info.Lr0.n Fix.Indexing.index -> string list
Sourcetype ('g, 'lrc) uncovered_case = {
  1. main_pattern : 'g Info.lr0 Fix.Indexing.index;
  2. shared_patterns : 'g Info.lr0 Utils.Misc.indexset;
  3. shared_prefix : 'lrc Fix.Indexing.index list;
  4. suffixes : ('lrc Fix.Indexing.index list * 'g Info.terminal Utils.Misc.indexset * 'g Info.lr0 Utils.Misc.indexset) list;
}
Sourceval uncovered_cases : 'a Info.grammar -> ('a Info.lr1, 'a Redgraph.reduction_closure) Fix.Indexing.vector -> ('a, 'lrc) Automata.stacks -> 'a positions -> ('a, 'b, 'lrc) machine_coverage -> ('a, 'lrc) uncovered_case Stdlib.Seq.t
Sourceval report_case : 'a Info.grammar -> ('a, 'b) Automata.stacks -> 'a Reachability.t -> output:(string -> unit) -> get_prefix:('b Fix.Indexing.index -> 'b Fix.Indexing.index list) -> ('a, 'b) uncovered_case -> unit