public SourceLocation FindLocation(string source_file, int line) { SourceFile file = FindFile (source_file); if (file == null) return null; return file.FindLine (line); }