package frama-clang
Handle the specific `session' directory of the plug-in.
val set : Frama_c_kernel.Filepath.Normalized.t -> unit
Sets the plugin <specific-dir> directory (without creating it).
val get : unit -> Frama_c_kernel.Filepath.Normalized.t
val get_dir :
?mode:[ `Normalize_only | `Create_path | `Must_exist ] ->
string ->
Frama_c_kernel.Filepath.Normalized.t
get_dir ?mode p
returns a (local) path p
, i.e. relative to the plugin <specific-dir> directory, of a sub-directory of the plugin <specific-dir> directory.
val get_file :
?mode:[ `Normalize_only | `Create_path | `Must_exist ] ->
string ->
Frama_c_kernel.Filepath.Normalized.t
get_file ?mode p
returns a (local) path p
, i.e. relative to the plugin <specific-dir> directory, of a file in the plugin <specific-dir> directory.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>