public SourceLocation FindLocation(string file, int line) { foreach (Module module in Modules) { SourceLocation location = module.FindLocation (file, line); if (location != null) return location; } return null; }