Module Earley_core.RegexpSource

A small module for efficient regular expressions.

Sourcetype regexp =
  1. | Chr of char
  2. | Set of Charset.t
  3. | Seq of regexp list
  4. | Alt of regexp list
  5. | Opt of regexp
  6. | Str of regexp
  7. | Pls of regexp
  8. | Sav of regexp * string ref

Type of a regular expression.

Sourceexception Regexp_error of Input.buffer * int

Exception that is raised when a regexp cannot be read.

Sourceval print_regexp : out_channel -> regexp -> unit
Sourceval accept_empty : regexp -> bool
Sourceval accepted_first_chars : regexp -> Charset.t
Sourceval regexp_from_string : string -> regexp * string ref array
Sourceval read_regexp : regexp -> Input.buffer -> int -> Input.buffer * int

read_regexp re buf pos attempts to parse using the buffer buf at position pos using the regular expression re. The return value is a triple of the parsed string, the buffer after parsing and the position after parsing. The exception Regexp_error(err_buf, err_pos is raised in case of failure at the given position.