56 return prev; |
56 return prev; |
57 } |
57 } |
58 |
58 |
59 protected DiagnosticSource getSource(JavaFileObject file) { |
59 protected DiagnosticSource getSource(JavaFileObject file) { |
60 if (file == null) |
60 if (file == null) |
61 return null; |
61 return DiagnosticSource.NO_SOURCE; |
62 DiagnosticSource s = sourceMap.get(file); |
62 DiagnosticSource s = sourceMap.get(file); |
63 if (s == null) { |
63 if (s == null) { |
64 s = new DiagnosticSource(file, this); |
64 s = new DiagnosticSource(file, this); |
65 sourceMap.put(file, s); |
65 sourceMap.put(file, s); |
66 } |
66 } |