package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Platform dedicated to the analysis of source code written in C

Install

Dune Dependency

frama-c.com Readme Edit opam file Versions (25)

Authors

Maintainers

F

frama-ci-bot@frama-c.com

Sources

frama-c-31.0-Gallium.tar.gz

sha256=a94384f00d53791cbb4b4d83ab41607bc71962d42461f02d71116c4ff6dca567

doc/frama-c.kernel/Frama_c_kernel/Kernel/Share/index.html

Module `Kernel.Share`

Handle the specific `share' directory of the plug-in.

since Oxygen-20120901

before 30.0-Zinc
more modes were allowed

val set : Filepath.t -> unit

Sets the <dune-site-dir> directory (without creating it).

val get : unit -> Filepath.t

returns
the <dune-site-dir> directory (without creating it).

val is_set : unit -> bool

returns
whether the <dune-site-dir> has been set.

include Parameter_sig.Site_dir

val get_dir : string -> Filepath.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 -> Filepath.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.