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 -> ())
.
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