package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

projectified, depend on the model, not serialized

Parameters

module E : Entries

Signature

module E = E
type key = E.key
type data = E.data
val id : basename:string -> key -> string
val mem : key -> bool
val find : key -> data
val get : key -> data option
val clear : unit -> unit
val remove : key -> unit
val define : key -> data -> unit

no redefinition ; 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