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