Module `Visitor_behavior.Set`

Set operations on behaviors, allows to change the representative of a given AST element in the current state of the visitor. Use with care (i.e. makes sure that the old one is not referenced anywhere in the AST, or sharing will be lost).

Set.ast_element vis e s with e and s of type ast_element changes the representative of e to s in vis. For example, for Cil_types.varinfo: Set.varinfo vis vi new_representative.

since 20.0-Calcium

see https://frama-c.com/download/frama-c-plugin-development-guide.pdf

val varinfo : t -> Cil_types.varinfo -> Cil_types.varinfo -> unit

val compinfo : t -> Cil_types.compinfo -> Cil_types.compinfo -> unit

val enuminfo : t -> Cil_types.enuminfo -> Cil_types.enuminfo -> unit

val enumitem : t -> Cil_types.enumitem -> Cil_types.enumitem -> unit

val typeinfo : t -> Cil_types.typeinfo -> Cil_types.typeinfo -> unit

val stmt : t -> Cil_types.stmt -> Cil_types.stmt -> unit

val logic_info : t -> Cil_types.logic_info -> Cil_types.logic_info -> unit

val logic_type_info : 
  t ->
  Cil_types.logic_type_info ->
  Cil_types.logic_type_info ->
  unit

val fieldinfo : t -> Cil_types.fieldinfo -> Cil_types.fieldinfo -> unit

val model_info : t -> Cil_types.model_info -> Cil_types.model_info -> unit

val logic_var : t -> Cil_types.logic_var -> Cil_types.logic_var -> unit

val kernel_function : 
  t ->
  Cil_types.kernel_function ->
  Cil_types.kernel_function ->
  unit

val fundec : t -> Cil_types.fundec -> Cil_types.fundec -> unit

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module `Visitor_behavior.Set`

package frama-c

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module Visitor_behavior.Set

Module `Visitor_behavior.Set`