| 181 | } |
| 182 | |
| 183 | Stream stream_line_reader( |
| 184 | const std::string& filename, |
| 185 | const std::string& key, |
| 186 | bool unzip, |
| 187 | const std::filesystem::path& local_prefix, |
| 188 | std::shared_ptr<core::FileFetcher> fetcher) { |
| 189 | return Stream(std::make_shared<stream::LineReader>( |
| 190 | filename, key, unzip, local_prefix, fetcher)); |
| 191 | } |
| 192 | |
| 193 | Stream stream_line_reader( |
| 194 | const std::shared_ptr<std::istream>& f, |
no test coverage detected