diff options
Diffstat (limited to 'lib/lexbuf.mli')
| -rw-r--r-- | lib/lexbuf.mli | 13 | 
1 files changed, 12 insertions, 1 deletions
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  | 
