Frama-C:
Plug-ins:
Libraries:

Frama-C API - TableState

Sub-signature of State_builder.Hashtbl for register_framac_array.

type key
type data
val iter : (key -> data -> unit) -> unit
val add_hook_on_change : ((key, data) Frama_c_kernel.State_builder.hashtbl_event -> unit) -> unit
val add_hook_on_update : (Datatype.t -> unit) -> unit