Module `Visitor_behavior.Iter`

Iter operations on the table of a given type of AST elements.

Iter.ast_element vis f, iterates f over each pair of ast_element registered in vis. The ast_element in the old AST is presented to f first (that is, f looks like: let f old_e new_e = .... For example for Cil_types.varinfo: Iter.varinfo vis (fun old_vi new_vi -> ()).

since 20.0-Calcium

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

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

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

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

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

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

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

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

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

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

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

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

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

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module `Visitor_behavior.Iter`

package frama-c

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module Visitor_behavior.Iter

Module `Visitor_behavior.Iter`