module Session:Parameter_sig.Specific_dir
Handle the specific `session' directory of the plug-in.
exception No_dir
val force_dir : bool
For functions below: if force_dir
is true: if error
is false
, then
creates the directory if it does not exist (or raises No_dir if the
directory cannot be created). Otherwise (force_dir =
), raise No_dir if
falseerror
is false
.
val dir : ?error:bool -> unit -> string
dir ~error ()
returns the specific directory name, if
any. Otherwise, Frama-C halts on an user error if error
or if the
behavior depends on force_dir
. Default of error
is true
.
No_dir
if there is no share directory for this plug-in and not
error
and not force_dir
.val file : ?error:bool -> string -> string
file basename
returns the complete filename of a file stored in dir
. If there is no such directory, Frama-C halts on an user error if
()error
or if the behavior depends on force_dir
. Default of error
is
true
.
No_dir
if there is no share directory for this plug-in and not
error
and not force_dir
.module Dir_name:Parameter_sig.String
Option -<short-name>-<specific-dir>
.