package frama-c

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

Value accesses through dynamic typing.

Registration

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.

  • raises Type.AlreadyExists

    if name already exists. In other words you cannot register a value with the same name twice.

  • before 26.0-Iron

    there was a labeled argument journalized, that has been removed when Journalization has been removed.

Access

exception Incompatible_type of string
exception Unbound_value of string
exception Unloadable of string

Exception that a plug-in can throw if it detects that it can't be loaded. It is caught by Dynamic.load_module and Dynamic.load_script

  • since Oxygen-20120901
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.

  • raises Failure

    _ in the -no-obj mode

val iter : (string -> 'a Type.t -> 'a -> unit) -> unit
val iter_comment : (string -> string -> unit) -> unit
  • since Oxygen-20120901

Dedicated access to plug-in parameters

module Parameter : sig ... end

Module to use for accessing parameters of plug-ins. Assume that the plug-in is already loaded.

Dynamically Loaded Modules

val load_packages : string list -> unit

loads a list of Findlib packages

  • since 23.0-Vanadium
val load_module : string -> unit

Load the module specification. See -load-module option.

val load_plugin : string -> unit
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events Blog Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct