ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
module_locator.h
Go to the documentation of this file.
1#pragma once
2
3#include <fstream>
4#include <string>
5#include <vector>
6
8{
9public:
10 explicit module_locator(std::string output_dir);
11
16 std::string module_path(const std::string &qualified_module) const;
17
22 std::ifstream open_module_file(const std::string &qualified_module) const;
23
24private:
25 static std::vector<std::string> split(const std::string &s, char delim);
26
27 std::string out_dir_;
28};
module_locator(std::string output_dir)
Definition module_locator.cpp:6
std::string module_path(const std::string &qualified_module) const
Computes the canonical file path for a qualified module name.
Definition module_locator.cpp:34
std::ifstream open_module_file(const std::string &qualified_module) const
Opens the module file for reading.
Definition module_locator.cpp:47