class SourceMap
{
private:
- unsigned base_index;
+ unsigned base_index = 0;
std::vector<std::string> source_names;
public:
- SourceMap();
-
void set_name(unsigned, const std::string &);
unsigned get_count() const { return base_index+source_names.size(); }
+ const std::string &get_name(unsigned) const;
void merge_from(const SourceMap &);
std::string translate_errors(const std::string &) const;
};