void AddSourceFile (string f) { if (first_source == null) first_source = f; Location.AddFile (Report, f); }