package earley
-
earley.str
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
A small module for efficient regular expressions.
exception Regexp_error of Input.buffer * int
Exception that is raised when a regexp cannot be read.
val print_regexp : out_channel -> regexp -> unit
val accept_empty : regexp -> bool
val 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.