Frama-C:
Plug-ins:
Libraries:

Frama-C API - Parser

exception Error of string
val linexpr1_of_lexbuf : Environment.t -> Stdlib.Lexing.lexbuf -> Linexpr1.t
val lincons1_of_lexbuf : Environment.t -> Stdlib.Lexing.lexbuf -> Lincons1.t
val generator1_of_lexbuf : Environment.t -> Stdlib.Lexing.lexbuf -> Generator1.t
val texpr1expr_of_lexbuf : Stdlib.Lexing.lexbuf -> Texpr1.expr
val texpr1_of_lexbuf : Environment.t -> Stdlib.Lexing.lexbuf -> Texpr1.t
val tcons1_of_lexbuf : Environment.t -> Stdlib.Lexing.lexbuf -> Tcons1.t
val linexpr1_of_string : Environment.t -> string -> Linexpr1.t
val lincons1_of_string : Environment.t -> string -> Lincons1.t
val generator1_of_string : Environment.t -> string -> Generator1.t
val texpr1expr_of_string : string -> Texpr1.expr
val texpr1_of_string : Environment.t -> string -> Texpr1.t
val tcons1_of_string : Environment.t -> string -> Tcons1.t
val lincons1_of_lstring : Environment.t -> string list -> Lincons1.earray
val generator1_of_lstring : Environment.t -> string list -> Generator1.earray
val tcons1_of_lstring : Environment.t -> string list -> Tcons1.earray
val of_lstring : 'a Manager.t -> Environment.t -> string list -> 'a Abstract1.t