Module Plugin.S.Config

module Config: Parameter_sig.Specific_dir 
Handle the specific `config' directory of the plug-in.
Since Neon-20140301

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 = false), raise No_dir if error is false.
Since Neon-20140301
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 orelse the behavior depends on force_dir. Default of error is true.
Raises 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 orelse the behavior depends on force_dir. Default of error is true.
Raises 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>.