Frama-C API - _

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.

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.