Frama-C API - Config_dir
Handle the specific `config' directory of the plug-in.
Parameters
Signature
include Frama_c_kernel.Parameter_sig.User_dir
val get_dir : ?create_path:bool -> string -> Frama_c_kernel.Filepath.Normalized.t
get_dir ~create_path name
tries to get the directory name
. The function aborts if:
- a file named
name
exists, - creating a the directory fails.
Otherwise returns the path, and creates it if create_path
is true (it defaults to false). Subdirectories modules can be created with Builder.Make_user_dir
and Builder.Make_user_dir_opt
.
val get_file : ?create_path:bool -> string -> Frama_c_kernel.Filepath.Normalized.t
get_file ~create_path name
tries to get the file name
. The function aborts if:
- a directory named
name
exists, - creating the path to the file fails.
Otherwise returns the path, and creates the directories that lead to the file if create_path
is true (it defaults to false). The file is *not* created by the function.
val set : Frama_c_kernel.Filepath.Normalized.t -> unit
Sets the <user-dir> directory (without creating it).
val get : unit -> Frama_c_kernel.Filepath.Normalized.t