Frama-C:
Plug-ins:
Libraries:

Frama-C API - Session

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

  • since Neon-20140301
  • before 30.0-Zinc

    Session was a Specific_dir.

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.

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

  • returns

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

val is_set : unit -> bool
  • returns

    whether the <user-dir> has been set.