Module Frama_c_kernel.Cilconfig

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

Configuration

type configData =
| ConfInt of int
| ConfBool of bool
| ConfFloat of float
| ConfString of string
| ConfList of configData list

The configuration data can be of several types *

val loadConfiguration : Datatype.Filepath.t -> unit

Load the configuration from a file

val saveConfiguration : Datatype.Filepath.t -> unit

Save the configuration in a file. Overwrites the previous values

val clearConfiguration : unit -> unit

Clear all configuration data

val setConfiguration : string -> configData -> unit

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

val findConfiguration : string -> configData

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

val findConfigurationInt : string -> int

Like findConfiguration but extracts the integer

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

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

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