ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
module_locator Class Reference

#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.

Constructor & Destructor Documentation

◆ module_locator()

module_locator::module_locator ( std::string output_dir)
explicit

Member Function Documentation

◆ module_path()

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".

◆ open_module_file()

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().


The documentation for this class was generated from the following files: