diff options
Diffstat (limited to 'lib/lexbuf.mli')
-rw-r--r-- | lib/lexbuf.mli | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/lib/lexbuf.mli b/lib/lexbuf.mli deleted file mode 100644 index 41f07d1..0000000 --- a/lib/lexbuf.mli +++ /dev/null @@ -1,25 +0,0 @@ -type t - -val from_lexbuf : ?reset_line:bool -> 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 -(** 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 -val incr_level : t -> unit -val decr_level : t -> unit -val reset_level : t -> unit - -val level : t -> int -(** Return the nested expression level *) |