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;
};