Module Frenetic_netkat.LexBufferSource

A custom lexbuffer that automatically keeps track of the source location. This module is a thin wrapper arounds sedlexing's default buffer, which does not provide this functionality.

Sourcetype t = {
  1. buf : Sedlexing.lexbuf;
  2. mutable pos : Lexing.position;
  3. mutable pos_mark : Lexing.position;
  4. mutable last_char : Core.Uchar.t option;
  5. mutable last_char_mark : Core.Uchar.t option;
}

the lex buffer type

Sourceval of_sedlex : ?file:string -> ?pos:Lexing.position -> Sedlexing.lexbuf -> t
Sourceval of_ascii_string : ?pos:Lexing.position -> string -> t
Sourceval of_ascii_file : Base.string -> t
Sourceval mark : t -> int -> unit

The next four functions are used by sedlex internally. See https://www.lexifi.com/sedlex/libdoc/Sedlexing.html.

Sourceval backtrack : t -> int
Sourceval start : t -> unit
Sourceval next_loc : t -> Lexing.position

location of next character

Sourceval cr : Core.Uchar.t
Sourceval next : t -> Uchar.t option

next character

Sourceval __private__next_int : t -> int
Sourceval raw : t -> int array
Sourceval ascii : ?skip:int -> ?drop:int -> t -> string