Frama-C API - Get_orig
Get operations on behaviors, allows to get the original representative of an element of the new AST in the curent state of the visitor.
Get_orig.ast_element vis new_e
with new_e
of type ast_element
gets the original representative of new_e
in vis
. For example for Cil_types.varinfo
: Get_orig.varinfo vis new_vi
.
val varinfo : t -> Cil_types.varinfo -> Cil_types.varinfo
val compinfo : t -> Cil_types.compinfo -> Cil_types.compinfo
val enuminfo : t -> Cil_types.enuminfo -> Cil_types.enuminfo
val enumitem : t -> Cil_types.enumitem -> Cil_types.enumitem
val typeinfo : t -> Cil_types.typeinfo -> Cil_types.typeinfo
val stmt : t -> Cil_types.stmt -> Cil_types.stmt
val logic_info : t -> Cil_types.logic_info -> Cil_types.logic_info
val logic_type_info : t -> Cil_types.logic_type_info -> Cil_types.logic_type_info
val fieldinfo : t -> Cil_types.fieldinfo -> Cil_types.fieldinfo
val model_info : t -> Cil_types.model_info -> Cil_types.model_info
val logic_var : t -> Cil_types.logic_var -> Cil_types.logic_var
val kernel_function : t -> Cil_types.kernel_function -> Cil_types.kernel_function
val fundec : t -> Cil_types.fundec -> Cil_types.fundec