package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Platform dedicated to the analysis of source code written in C

Install

dune-project

Dependency

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

Authors

Maintainers

F

frama-ci-bot@frama-c.com

Sources

frama-c-30.0-beta-Zinc.tar.gz

sha256=93a291a8764644df2f3618d7ea18258b5fbe0912ec98dfdfd180967afdf24474

doc/frama-c-e-acsl.core/E_ACSL/Options/Config_dir/index.html

Module `Options.Config_dir`

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

since Neon-20140301

before 30.0-Zinc
this was not a functor and one could expect the directory to exist

Parameters

Signature

include Frama_c_kernel.Parameter_sig.User_dir

val get_dir : 
  ?create_path:bool ->
  string ->
  Frama_c_kernel.Filepath.Normalized.t

get_dir ~create_path name tries to get the directory name. The function aborts if:

a file named name exists,
creating a the directory fails.

Otherwise returns the path, and creates it if create_path is true (it defaults to false). Subdirectories modules can be created with Builder.Make_user_dir and Builder.Make_user_dir_opt.

val get_file : 
  ?create_path:bool ->
  string ->
  Frama_c_kernel.Filepath.Normalized.t

get_file ~create_path name tries to get the file name. The function aborts if:

a directory named name exists,
creating the path to the file fails.

Otherwise returns the path, and creates the directories that lead to the file if create_path is true (it defaults to false). The file is *not* created by the function.

val set : Frama_c_kernel.Filepath.Normalized.t -> unit

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

val get : unit -> Frama_c_kernel.Filepath.Normalized.t

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

val is_set : unit -> bool

returns
whether the <user-dir> has been set.