Module `Visitor_behavior.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.

since 20.0-Calcium

see https://frama-c.com/download/frama-c-plugin-development-guide.pdf
Plug-in Development Guide

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

see https://frama-c.com/download/frama-c-plugin-development-guide.pdf
Plug-in Development Guide

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

see https://frama-c.com/download/frama-c-plugin-development-guide.pdf
Plug-in Development Guide

val fundec : t -> Cil_types.fundec -> Cil_types.fundec

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module `Visitor_behavior.Memo`

package frama-c

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module Visitor_behavior.Memo

Module `Visitor_behavior.Memo`