Frama_c_kernel.Dynamic
Value accesses through dynamic typing.
val register :
?comment:string ->
plugin:string ->
string ->
'a Type.t ->
'a ->
'a
register ~plugin name ty v
registers v
with the name name
, the type ty
and the plug-in plugin
.
val get : plugin:string -> string -> 'a Type.t -> 'a
get ~plugin name ty
returns the value registered with the name name
, the type ty
and the plug-in plugin
. This plug-in will be loaded if required.
val iter : (string -> 'a Type.t -> 'a -> unit) -> unit
module Parameter : sig ... end
Module to use for accessing parameters of plug-ins. Assume that the plug-in is already loaded.