Module Frama_c_gui.CilconfigSource

Reading and storing configuration files from the filesystem. Currently only used in Frama-C's GUI.

Configuration

Sourcetype configData =
  1. | ConfInt of int
  2. | ConfBool of bool
  3. | ConfFloat of float
  4. | ConfString of string
  5. | ConfList of configData list

The configuration data can be of several types *

Sourceval loadConfiguration : Frama_c_kernel.Filepath.t -> unit

Load the configuration from a file

Sourceval saveConfiguration : Frama_c_kernel.Filepath.t -> unit

Save the configuration in a file. Overwrites the previous values

Sourceval clearConfiguration : unit -> unit

Clear all configuration data

Sourceval setConfiguration : string -> configData -> unit

Set a configuration element, with a key. Overwrites the previous values

Sourceval findConfiguration : string -> configData

Find a configuration elements, given a key. Raises Not_found if it cannot find it

Sourceval findConfigurationInt : string -> int

Like findConfiguration but extracts the integer

Sourceval useConfigurationInt : string -> (int -> unit) -> unit

Looks for an integer configuration element, and if it is found, it uses the given function. Otherwise, does nothing

Sourceval findConfigurationFloat : string -> float
Sourceval useConfigurationFloat : string -> (float -> unit) -> unit
Sourceval findConfigurationBool : string -> bool
Sourceval useConfigurationBool : string -> (bool -> unit) -> unit
Sourceval findConfigurationString : string -> string
Sourceval useConfigurationString : string -> (string -> unit) -> unit
Sourceval findConfigurationList : string -> configData list
Sourceval useConfigurationList : string -> (configData list -> unit) -> unit