Module `Visitor_behavior.Unset`

Operations to remove the entry associated to a given AST element in the current state of the visitor. Use with care (i.e. make sure that you will never visit again this element in the same visiting context).

Unset.ast_element vis e with e of type ast_element removes the representative of e in the ast_element table of vis. For example, for Cil_types.varinfo: Unset.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

Install

Dune Dependency

Authors

Maintainers

Sources

doc/frama-c.kernel/Frama_c_kernel/Visitor_behavior/Unset/index.html

Module `Visitor_behavior.Unset`

package frama-c

Install

Dune Dependency

Authors

Maintainers

Sources

doc/frama-c.kernel/Frama_c_kernel/Visitor_behavior/Unset/index.html

Module Visitor_behavior.Unset

Module `Visitor_behavior.Unset`