From 1f79e8f1f0f59748497665ccee544163c5136562 Mon Sep 17 00:00:00 2001 From: Chimrod <> Date: Fri, 29 Sep 2023 09:27:22 +0200 Subject: Fixed a wrong location for string --- lib/lexbuf.mli | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) (limited to 'lib/lexbuf.mli') diff --git a/lib/lexbuf.mli b/lib/lexbuf.mli index cf93c7e..b058f3c 100644 --- a/lib/lexbuf.mli +++ b/lib/lexbuf.mli @@ -1,8 +1,19 @@ type t +val from_lexbuf : Sedlexing.lexbuf -> t +(** Create a new buffer *) + val start : t -> unit +(** Intialize a new run *) + val buffer : t -> Sedlexing.lexbuf +(** Extract the sedlex buffer. Required in each rule. *) + val positions : t -> Lexing.position * Lexing.position +(** Extract the starting and ending position for the matched token *) + val content : t -> string -val from_lexbuf : Sedlexing.lexbuf -> t +(** Extract the token matched by the rule *) + +val set_start_position : t -> Lexing.position -> unit val tokenize : (t -> 'a) -> t -> unit -> 'a * Lexing.position * Lexing.position -- cgit v1.2.3