docs/api/vfs__paths_8h_source.html

#pragma once


#include <string>

#include <util/base/filesystem.h>


inline std::string clang_vfs_path(const std::string &bundled)

{

#ifdef _WIN32

  return "C:" + bundled;

#else

  return bundled;

#endif

}


inline std::string clang_vfs_root()

{

  return clang_vfs_path(file_operations::ESBMC_VFS_ROOT);

}


filesystem.h

file_operations::ESBMC_VFS_ROOT
constexpr const char * ESBMC_VFS_ROOT
Root of the bundled path namespace, e.g.
Definition filesystem.h:19

clang_vfs_path
std::string clang_vfs_path(const std::string &bundled)
A bundled path spelled the way clang's path grammar requires.
Definition vfs_paths.h:15

clang_vfs_root
std::string clang_vfs_root()
Definition vfs_paths.h:24