package goblint
Static analysis framework for C
Install
Dune Dependency
Authors
Maintainers
Sources
goblint-2.0.1.tbz
sha256=dba2b664c7c125687e708e871d83fbfb6ba6d9ee98d235b4850d9a238caa84de
sha512=529987cde39691ad9e955000a3603e89c1c8cf14ed5e8b4cd3a7fc26e47d016aff571b472e2329725133c46f8d0cb45a05b88994eeffaa221a4d31b4c543adcd
doc/goblint.lib/Goblint_lib/GobConfig/index.html
Module Goblint_lib.GobConfig
New, untyped, path-based configuration subsystem.
path' ::== \epsilon (* *) | . <field-name> path' (* field access *) | [ <index-nr> ] path' (* array index access *) | [ + ] path' (* cons to array *) | [ - ] path' (* cons away from array *) | [ * ] path' (* reset array *) path ::== path' (* *) | <field_name> path' (* you can leave out the first dot *)
All functions failwith
on error. Warnings are generated in verbose
mode.
There is a "conf" trace
option that traces setting.
val building_spec : bool Prelude.ref
module Validator : sig ... end
module ValidatorRequireAll : sig ... end
module type S = sig ... end
The type for gobConfig
module.
include module type of struct include Impl end
val get_json : string -> Yojson.Safe.t
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 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 json_conf : Yojson.Safe.t Prelude.ref
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>