Module Plugin.S.Share

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.