Frama-C API - Memo
Memo operations on behaviors, allows to get a binding in the new project for the given AST element, creating one if it does not already exists.
Memo.ast_element vis e with e of type ast_element tries to find a binding to a e in the new project created using vis in the current state, if it does not exist this binding is created. For example for Cil_types.varinfo: Memo.varinfo vis vi.
val varinfo : t -> Cil_types.varinfo -> Cil_types.varinfoval compinfo : t -> Cil_types.compinfo -> Cil_types.compinfoval enuminfo : t -> Cil_types.enuminfo -> Cil_types.enuminfoval enumitem : t -> Cil_types.enumitem -> Cil_types.enumitemval typeinfo : t -> Cil_types.typeinfo -> Cil_types.typeinfoval stmt : t -> Cil_types.stmt -> Cil_types.stmtval logic_info : t -> Cil_types.logic_info -> Cil_types.logic_infoval logic_type_info : t -> Cil_types.logic_type_info -> Cil_types.logic_type_infoval fieldinfo : t -> Cil_types.fieldinfo -> Cil_types.fieldinfoval model_info : t -> Cil_types.model_info -> Cil_types.model_infoval logic_var : t -> Cil_types.logic_var -> Cil_types.logic_varval kernel_function : t -> Cil_types.kernel_function -> Cil_types.kernel_functionval fundec : t -> Cil_types.fundec -> Cil_types.fundec