Frama-C:
Plug-ins:
Libraries:

Frama-C API - Unset_orig

Operations to remove the entry associated to a given element of the new AST in the current state of the visitor. Use with care.

Unset_orig.ast_element vis e with e of type ast_element removes the original representative of e in the ast_element table of vis. For example, for Cil_types.varinfo: Unset_orig.varinfo vis vi.

  • since 20.0-Calcium
val varinfo : t -> Cil_types.varinfo -> unit
val compinfo : t -> Cil_types.compinfo -> unit
val enuminfo : t -> Cil_types.enuminfo -> unit
val enumitem : t -> Cil_types.enumitem -> unit
val typeinfo : t -> Cil_types.typeinfo -> unit
val stmt : t -> Cil_types.stmt -> unit
val logic_info : t -> Cil_types.logic_info -> unit
val logic_type_info : t -> Cil_types.logic_type_info -> unit
val fieldinfo : t -> Cil_types.fieldinfo -> unit
val model_info : t -> Cil_types.model_info -> unit
val logic_var : t -> Cil_types.logic_var -> unit
val kernel_function : t -> Cil_types.kernel_function -> unit
val fundec : t -> Cil_types.fundec -> unit