module Evalex: sig end
Lexical analyser for protocol specifications in LAEVA concrete syntax
exception Eof_in_comment
unexpected end of file in comment
exception Invalid_char of string * Location.location
invalid char
- the unexpected char as a string
- the location of the invalid char
val set_filename : string -> unit
val get_filename : unit -> string
Returns the name of the file currently processed,
returns "" (empty string) if no filename has been set.
val print_location : unit -> unit
printa the current location on the standard output
val string_of_location : unit -> string
val evatoken : Lexing.lexbuf -> Evaparse.token
Returns the next token in the given lexbuffer