|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <module_locator.h>
Public Member Functions | |
| module_locator (std::string output_dir) | |
| std::string | module_path (const std::string &qualified_module) const |
| Computes the canonical file path for a qualified module name. | |
| std::ifstream | open_module_file (const std::string &qualified_module) const |
| Opens the module file for reading. | |
|
explicit |
| std::string module_locator::module_path | ( | const std::string & | qualified_module | ) | const |
Computes the canonical file path for a qualified module name.
Example: "a.b.c" -> "<out_dir>/a/b/c.ext".
| std::ifstream module_locator::open_module_file | ( | const std::string & | qualified_module | ) | const |
Opens the module file for reading.
Does not throw; callers should check is_open().