Formatcil (p.goblint-cil.2.0.3.doc.goblint-cil.GoblintCil.Formatcil)

Sourceval cExp : string -> (string * Cil.formatArg) list -> 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.

Sourceval cLval : string -> (string * Cil.formatArg) list -> 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.

Sourceval cType : string -> (string * Cil.formatArg) list -> 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.

Source

val cInstr : 
  string ->
  Cil.location ->
  (string * Cil.formatArg) list ->
  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.

Source

val cStmt : 
  string ->
  (string -> Cil.typ -> Cil.varinfo) ->
  Cil.location ->
  (string * Cil.formatArg) list ->
  Cil.stmt

Source

val cStmts : 
  string ->
  (string -> Cil.typ -> Cil.varinfo) ->
  Cil.location ->
  (string * Cil.formatArg) list ->
  Cil.stmt list

Constructs a list of statements

Sourceval dExp : string -> Cil.exp -> 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.

Sourceval dLval : string -> Cil.lval -> 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.

Sourceval dType : string -> Cil.typ -> 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.

Sourceval dInstr : string -> Cil.instr -> 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.

Sourceval noMemoize : bool ref

If set then will not memoize the parsed patterns

Sourceval test : unit -> unit

Just a testing function