module Flx_cil_formatcil: sig
.. end
An Interpreter for constructing CIL constructs
val cExp : string -> (string * Flx_cil_cil.formatArg) list -> Flx_cil_cil.exp
Constructs an expression based on the program and the list of arguments.
* Each argument consists of a name followed by the actual data. This
* argument will be placed instead of occurrences of "%v:name" in the pattern
* (where the "v" is dependent on the type of the data). The parsing of the
* string is memoized. * Only the first expression is parsed.
val cLval : string -> (string * Flx_cil_cil.formatArg) list -> Flx_cil_cil.lval
Constructs an lval based on the program and the list of arguments.
* Only the first lvalue is parsed.
* The parsing of the string is memoized.
val cType : string -> (string * Flx_cil_cil.formatArg) list -> Flx_cil_cil.typ
Constructs a type based on the program and the list of arguments.
* Only the first type is parsed.
* The parsing of the string is memoized.
val cInstr : string ->
Flx_cil_cil.location ->
(string * Flx_cil_cil.formatArg) list -> Flx_cil_cil.instr
Constructs an instruction based on the program and the list of arguments.
* Only the first instruction is parsed.
* The parsing of the string is memoized.
val cStmt : string ->
(string -> Flx_cil_cil.typ -> Flx_cil_cil.varinfo) ->
Flx_cil_cil.location ->
(string * Flx_cil_cil.formatArg) list -> Flx_cil_cil.stmt
val cStmts : string ->
(string -> Flx_cil_cil.typ -> Flx_cil_cil.varinfo) ->
Flx_cil_cil.location ->
(string * Flx_cil_cil.formatArg) list -> Flx_cil_cil.stmt list
Constructs a list of statements
val dExp : string -> Flx_cil_cil.exp -> Flx_cil_cil.formatArg list option
Deconstructs an expression based on the program. Produces an optional
* list of format arguments. The parsing of the string is memoized.
val dLval : string -> Flx_cil_cil.lval -> Flx_cil_cil.formatArg list option
Deconstructs an lval based on the program. Produces an optional
* list of format arguments. The parsing of the string is memoized.
val dType : string -> Flx_cil_cil.typ -> Flx_cil_cil.formatArg list option
Deconstructs a type based on the program. Produces an optional list of
* format arguments. The parsing of the string is memoized.
val dInstr : string -> Flx_cil_cil.instr -> Flx_cil_cil.formatArg list option
Deconstructs an instruction based on the program. Produces an optional
* list of format arguments. The parsing of the string is memoized.
val noMemoize : bool Pervasives.ref
If set then will not memoize the parsed patterns
val test : unit -> unit
Just a testing function