public List<Diagnostic> GetDiagnosticsForFile(string file) { List<Diagnostic> errs; if (semanticErrors.TryGetValue(file, out errs)) { return errs; } return new List<Diagnostic>(); }