Frama-C API - Hashtbl
include Frama_c_kernel.Datatype.Hashtbl_with_descr with type key = t
include Frama_c_kernel.FCHashtbl.S with type key = t
Iter on the hashtbl, but respecting the order on keys induced by cmp
. Use Stdlib.compare
if cmp
not given.
If the table contains several bindings for the same key, they are passed to f
in reverse order of introduction, that is, the most recent binding is passed first.
Fold on the hashtbl, but respecting the order on keys induced by cmp
. Use Stdlib.compare
if cmp
not given.
If the table contains several bindings for the same key, they are passed to f
in reverse order of introduction, that is, the most recent binding is passed first.
val fold_sorted_by_entry : cmp:((key * 'a) -> (key * 'a) -> int) -> (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
Iter or fold on the hashtable, respecting the order on entries given by cmp
. The table may contains several bindings for the same key.
Iter or fold on the hashtable, respecting the order on entries given by cmp
. The relative order for entries whose values is equal according to cmp, is not specified.
val structural_descr : Frama_c_kernel.Structural_descr.t -> Frama_c_kernel.Structural_descr.t
val make_type : 'a Frama_c_kernel.Type.t -> 'a t Frama_c_kernel.Type.t
module Key : Frama_c_kernel.Datatype.S with type t = key
Datatype for the keys of the hashtbl.
module Make (Data : Frama_c_kernel.Datatype.S) : Frama_c_kernel.Datatype.S with type t = Data.t t
Build a datatype of the hashtbl according to the datatype of values in the hashtbl.