Module Wcs_lib.Spel_util

Spel utilities.

val mk_expr_full : Spel_t.expression_desc ‑> Spel_t.location ‑> string option ‑> Spel_t.expression
val mk_expr_text : Spel_t.expression_desc ‑> string option ‑> Spel_t.expression
val mk_expr : Spel_t.expression_desc ‑> Spel_t.expression
val is_not_empty : Spel_t.expression ‑> bool
val spel_cleanup : Spel_t.expression ‑> Spel_t.expression
type lexbuf = {
stream : Sedlexing.lexbuf;
mutable pos : Lexing.position;
}

The state of the parser, a stream and a position.

val create_lexbuf : ?⁠file:string ‑> Sedlexing.lexbuf ‑> lexbuf

Initialize with the null position.

val new_line : ?⁠n:int ‑> lexbuf ‑> unit

Register a new line in the lexer's position.

val update : lexbuf ‑> unit

Update the position with the stream.

val lexeme : lexbuf ‑> string

The last matched word.

exception ParseError of string * int * int * string

ParseError (file, line, col, token)

val string_of_ParseError : (string * int * int * string) ‑> string
val raise_ParseError : lexbuf ‑> 'a
val sedlex_with_menhir : (lexbuf ‑> 'a) ‑> ('a, 'b) MenhirLib.Convert.traditional ‑> lexbuf ‑> 'b
val uparse_file : ('a, 'b) MenhirLib.Convert.traditional ‑> (lexbuf ‑> 'a) ‑> string ‑> 'b
val uparse_string : ('a, 'b) MenhirLib.Convert.traditional ‑> (lexbuf ‑> 'a) ‑> string ‑> 'b
val string_buff : unit ‑> Buffer.t
val reset_string : Buffer.t ‑> unit
val add_char_to_string : Buffer.t ‑> char ‑> unit
val add_string_to_string : Buffer.t ‑> string ‑> unit
val get_string : Buffer.t ‑> string