module Cf_lex:Lexical analysis with functional composition of regular grammars.sig
..end
This module implements functional parsers on octet character sequences
using regular expressions and functional composition of lazy deterministic
finite automata.
Core Interface
typex =
Cf_regex.DFA.x
type'a
r ='a Cf_regex.DFA.r
type'a
t =(char, 'a) Cf_parser.t
val nil : x
val create : 'a r -> 'a t
create r
to compose a lexical analyzer from the rule r
.module type Expr_Op_T =sig
..end
module Op:sig
..end
module X:sig
..end
type
counter = {
|
c_pos : |
(* | The character index (counts from zero). | *) |
|
c_row : |
(* | The column number (counts from zero). | *) |
|
c_col : |
(* | The row number (counts from zero). | *) |
cursor
class defined below that indicates the
character index, row and column in the input stream associated with a
cursor position.val counter_zero : counter
class cursor :?c:counter -> string ->
object
..end
Cf_parser.cursor
that intercepts newline characters
to track the row and column of a cursor position.