package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type

The type for gobConfig module.

val get_json : string -> Yojson.Safe.t

Get JSON value at a given path.

val set_json : string -> Yojson.Safe.t -> unit

Directly set a JSON value; the result must conform to the schema.

val get_conf : unit -> Yojson.Safe.t

Equivalent to get_json "".

val set_conf : Yojson.Safe.t -> unit

Equivalent to set_conf "".

val get_int : string -> int

Functions to query conf variable of type int.

val set_int : string -> int -> unit

Functions to modify conf variables of type int.

val get_bool : string -> bool

Functions to query conf variable of type bool.

val set_bool : string -> bool -> unit

Functions to modify conf variables of type bool.

val get_string : string -> string

Functions to query conf variable of type string.

val set_string : string -> string -> unit

Functions to modify conf variables of type string.

val set_auto : string -> string -> unit

Functions to modify conf variables by trying to parse the value. The second argument must be valid Json except single quotes represent double quotes.

val get_list : string -> Yojson.Safe.t list

Get a list of values

val get_string_list : string -> string list

Get a list of strings

val set_list : string -> Yojson.Safe.t list -> unit

Set a list of values

val write_file : Fpath.t -> unit

Write the current configuration to filename

val merge_file : Fpath.t -> unit

Merge configurations from a file with current.

val merge : Yojson.Safe.t -> unit

Merge configurations from a JSON object with current.

val is_immutable : unit -> bool

Check whether modification of configuration is currently allowed.

val with_immutable_conf : (unit -> 'a) -> 'a

Run the given computation with modification to configuration disabled.

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