Module Visitor_behavior.Memo

module Memo: Get 
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.
Since 20.0-Calcium
Consult the Plugin Development Guide for additional details.


val varinfo : Visitor_behavior.t -> Cil_types.varinfo -> Cil_types.varinfo
val compinfo : Visitor_behavior.t -> Cil_types.compinfo -> Cil_types.compinfo
val enuminfo : Visitor_behavior.t -> Cil_types.enuminfo -> Cil_types.enuminfo
val enumitem : Visitor_behavior.t -> Cil_types.enumitem -> Cil_types.enumitem
val typeinfo : Visitor_behavior.t -> Cil_types.typeinfo -> Cil_types.typeinfo
val stmt : Visitor_behavior.t -> Cil_types.stmt -> Cil_types.stmt
val logic_info : Visitor_behavior.t -> Cil_types.logic_info -> Cil_types.logic_info
val logic_type_info : Visitor_behavior.t -> Cil_types.logic_type_info -> Cil_types.logic_type_info
val fieldinfo : Visitor_behavior.t -> Cil_types.fieldinfo -> Cil_types.fieldinfo
val model_info : Visitor_behavior.t -> Cil_types.model_info -> Cil_types.model_info
val logic_var : Visitor_behavior.t -> Cil_types.logic_var -> Cil_types.logic_var
val kernel_function : Visitor_behavior.t -> Cil_types.kernel_function -> Cil_types.kernel_function
val fundec : Visitor_behavior.t -> Cil_types.fundec -> Cil_types.fundec