package wcs-lib

  1. Overview
  2. Docs

Module 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 is_not_empty : Spel_t.expression -> bool
val spel_cleanup : Spel_t.expression -> Spel_t.expression
type lexbuf = {
  1. stream : Sedlexing.lexbuf;
  2. 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