Frama-C API - `Index`

projectified, depend on the model, not serialized

Parameters

module E : Entries

module E = E

type key = E.key

type data = E.data

val id : basename:string -> key -> string

val mem : key -> bool

val get : key -> data option

val find : key -> data

val clear : unit -> unit

val remove : key -> unit

val define : key -> data -> unit

no redefinition unless forced ; circularity protected

val update : key -> data -> unit

set current value, with no protection

val memoize : (key -> data) -> key -> data

with circularity protection

val compile : (key -> data) -> key -> unit

with circularity protection

val callback : (key -> data -> unit) -> unit

val iter : (key -> data -> unit) -> unit

val iter_sorted : (key -> data -> unit) -> unit