GoblintCil.FormatcilAn Interpreter for constructing CIL constructs
val cExp : string -> (string * Cil.formatArg) list -> Cil.expConstructs 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 * Cil.formatArg) list -> Cil.lvalConstructs 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 * Cil.formatArg) list -> Cil.typConstructs 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 ->
Cil.location ->
(string * Cil.formatArg) list ->
Cil.instrConstructs 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 -> Cil.typ -> Cil.varinfo) ->
Cil.location ->
(string * Cil.formatArg) list ->
Cil.stmtval cStmts :
string ->
(string -> Cil.typ -> Cil.varinfo) ->
Cil.location ->
(string * Cil.formatArg) list ->
Cil.stmt listConstructs a list of statements
val dExp : string -> Cil.exp -> Cil.formatArg list optionDeconstructs an expression based on the program. Produces an optional list of format arguments. The parsing of the string is memoized.
val dLval : string -> Cil.lval -> Cil.formatArg list optionDeconstructs an lval based on the program. Produces an optional list of format arguments. The parsing of the string is memoized.
val dType : string -> Cil.typ -> Cil.formatArg list optionDeconstructs a type based on the program. Produces an optional list of format arguments. The parsing of the string is memoized.
val dInstr : string -> Cil.instr -> Cil.formatArg list optionDeconstructs an instruction based on the program. Produces an optional list of format arguments. The parsing of the string is memoized.