source_names[i] = n;
}
+const string &SourceMap::get_name(unsigned i) const
+{
+ i -= base_index;
+ if(i<source_names.size())
+ return source_names[i];
+
+ static string empty;
+ return empty;
+}
+
void SourceMap::merge_from(const SourceMap &other)
{
if(other.base_index<base_index)