Module Plugin.S_no_log.Share

module Share: Parameter_sig.Specific_dir 

Handle the specific `share' 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 =
      false
), raise No_dir if error 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.

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.

module Dir_name: Parameter_sig.String 

Option -<short-name>-<specific-dir>.