Frama-C API - Make_user_dir_opt
Builds a User_dir_opt from an existing User_dir. The first parameter is the parent directory. The second gives the name of the directory to create (also used to create the option name), a possible environment variable name and the help message for the option.
Parameters
module _ : Parameter_sig.User_dirmodule _ : sig ... endSignature
include Parameter_sig.User_dir
val get_dir : ?create_path:bool -> string -> Filepath.Normalized.tget_dir ~create_path name tries to get the directory name. The function aborts if:
- a file named
nameexists, - 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 -> Filepath.Normalized.tget_file ~create_path name tries to get the file name. The function aborts if:
- a directory named
nameexists, - 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 : Filepath.Normalized.t -> unitSets the <user-dir> directory (without creating it).
val get : unit -> Filepath.Normalized.t