module Share: sig
.. end
Handle the specific `share' directory of the plug-in.
Since Oxygen-20120901
exception No_dir
val dir : ?error:bool -> unit -> string
share_dir ~error ()
returns the share directory of the plug-in, if
any. Otherwise, Frama-C halts on an user error if error
orelse it
raises No_dir
. Default of error
is true
.
Raises No_dir
if there is no share directory for this plug-in and not
error
.
val file : ?error:bool -> string -> string
share_file basename
returns the complete filename of a file stored in
the plug-in' share directory. If there is no such directory, Frama-C halts
on an user error if error
orelse it raises No_dir
. Default of error
is true
.
Raises No_dir
if there is no share directory for this plug-in and not
error
.