Frama_c_kernel.Clexer
The C Lexer.
val init : filename:string -> (Stdlib.Lexing.lexbuf -> 'a) -> Stdlib.Lexing.lexbuf * (Stdlib.Lexing.lexbuf -> 'a)
val finish : unit -> unit
val initial : Stdlib.Lexing.lexbuf -> Cparser.token
This is the main lexing function
val push_context : unit -> unit
Start a context
val add_type : string -> unit
Add a new string as a type name
val add_identifier : string -> unit
Add a new string as a variable name
val pop_context : unit -> unit
Remove all names added in this context
val annot_char : char Stdlib.ref
The character to recognize logic formulae in comments
val currentLoc : unit -> Cabs.cabsloc
val is_c_keyword : string -> bool
true if the given string is a C keyword.
true