// <summary> // Find the method containing line @line in @source_file, which must be // the file's full pathname. // </summary> public SourceLocation FindLocation(string source_file, int line) { SourceFile file = FindFile(source_file); if (file == null) { return(null); } return(file.FindLine(line)); }