Frama-C API - Value_datatype
Signature of the optional value associated to the key and required to build map parameters.
include Datatype.S
include Datatype.S_no_copy
val packed_descr : Structural_descr.pack
Packed version of the descriptor.
val reprs : t list
List of representants of the descriptor.
val hash : t -> int
Hash function: same spec than Hashtbl.hash
.
val pretty : Stdlib.Format.formatter -> t -> unit
Pretty print each value in an user-friendly way.
val mem_project : (Project_skeleton.t -> bool) -> t -> bool
mem_project f x
must return true
iff there is a value p
of type Project.t
in x
such that f p
returns true
.
key
is the key associated to this value, while prev
is the previous value associated to this key (if any). The optional string is None
if there is no value associated to the key, and Some v
(potentially v = ""
) otherwise.