Globbing (p.lrgrep.0.3.doc.kernel.Kernel.Transl.Globbing)

Sourcetype 'g glob_skip = {

dot : bool;
exact : 'g glob_exact;

}

Sourceand 'g glob_exact = {

dots : Utils.IntSet.t;
syms : 'g Info.symbol Utils.Misc.indexset array;
length : int;
skip : 'g glob_skip option;

}

Sourceval parse_component : [< `Dot | `Find of 'a ] list -> Utils.IntSet.t * 'a array

val structure_filter : 
  'a Kernel__Info.grammar ->
  'a Indices.t ->
  (Syntax.filter_symbol * Stdlib.Lexing.position) list ->
  [ `Dot
  | `Find of
    ('a Kernel__Info.terminal, 'a Kernel__Info.nonterminal) Fix.Indexing.Sum.n
      Utils.IndexSet.t ]
    list
  * (Utils.IntSet.t
     * ('a Kernel__Info.terminal, 'a Kernel__Info.nonterminal)
         Fix.Indexing.Sum.n
         Utils.IndexSet.t
         array)
      list

Source

val normalize_filter : 
  (Utils.IntSet.t * 'a Info.symbol Utils.Misc.indexset array) list ->
  'a glob_exact

Source

val parse : 
  'a Kernel__Info.grammar ->
  'a Indices.t ->
  (Syntax.filter_symbol * Stdlib.Lexing.position) list ->
  'a glob_exact

Source

val sub_match : 
  'a Info.symbol Utils.IndexSet.element array ->
  int ->
  'a glob_exact ->
  bool

Source

val match_skip : 
  'a Info.symbol Utils.IndexSet.element array ->
  int ->
  'a glob_skip ->
  bool

Sourceval add_dots : int -> 'a glob_exact -> Utils.IntSet.t -> Utils.IntSet.t

Source

val extract_skip : 
  'a Info.symbol Utils.IndexSet.element array ->
  Utils.IntSet.element ->
  'a glob_skip ->
  Utils.IntSet.t option

Source

val extract : 
  'a Info.symbol Utils.IndexSet.element array ->
  'a glob_exact ->
  Utils.IntSet.t