diff options
Diffstat (limited to 'lib/qparser/lexbuf.mli')
| -rw-r--r-- | lib/qparser/lexbuf.mli | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/lib/qparser/lexbuf.mli b/lib/qparser/lexbuf.mli index db81d2c..ec94d1b 100644 --- a/lib/qparser/lexbuf.mli +++ b/lib/qparser/lexbuf.mli @@ -29,21 +29,21 @@ val tokenize : (t -> 'a) -> t -> unit -> 'a * Lexing.position * Lexing.position val rollback : t -> unit (** Rollback the latest token matched *) -type state = Token | String | DString | MString of int | EndString +(** {1 State in expressions} *) + +type state = + | Token + | String + | DString + | MString of int + | EndString + | Expression val state : t -> state option (** Get the current state for the lexer *) val enter_state : t -> state -> unit -val leave_state : t -> unit - -(** {1 Level in expressions} *) +(** Enter into a new state *) -val level : t -> int -(** The state track the nesting level in the expression. Depending of the - level, the token [!] will be considered as a comment or a boolean - operation. *) - -val incr_level : t -> unit -val decr_level : t -> unit -val reset_level : t -> unit +val leave_state : t -> unit +(** Leave the current state *) |