Frama-C:
Plug-ins:
Libraries:

Frama-C API - Make_site_dir

Builds a Site_dir from an existing one. The first parameter is the parent directory. The second gives the name of the directory to create.

  • since 30.0-Zinc

Parameters

module _ : Frama_c_kernel.Parameter_sig.Site_dir
module _ : sig ... end

Signature

val get_dir : string -> Frama_c_kernel.Filepath.Normalized.t

get_dir name tries to find the directory named name in the site. The function aborts if: name cannot be found or is a file instead of a directory, otherwise it returns the path.

Be careful! This function finds the first directory that exists in the site path. Thus, by extending this path, we get *only* the subdirs and files in this directory, not in all directories of same name. Builder.Make_site_dir can be used to get directories that will always perform the resolution.

val get_file : string -> Frama_c_kernel.Filepath.Normalized.t

get_file name tries to find the file named name in the site. The function aborts if: name cannot be found or is a directory instead of a file, otherwise it returns the path.