7 : adapter_(
std::move(adapter)) {
9 throw std::invalid_argument(
"MartyPathProxy requires a non-null IMartyPathAdapter.");
14 return adapter_->get_path(path_name);
18 return adapter_->get_optional_path(path_name);
MartyPath
Enumerates MARTY-related filesystem resources.
fs::path get_path(MartyPath path_name) const override
std::optional< fs::path > get_optional_path(MartyPath path_name) const override
MartyPathProxy(std::shared_ptr< IMartyPathAdapter > adapter)
Hash specialization for SymbolId<Tag>.