equal
deleted
inserted
replaced
308 return getDiagnosticListenerForWriter(getPrintWriterForStream(s)); |
308 return getDiagnosticListenerForWriter(getPrintWriterForStream(s)); |
309 } |
309 } |
310 |
310 |
311 private DiagnosticListener<JavaFileObject> getDiagnosticListenerForWriter(Writer w) { |
311 private DiagnosticListener<JavaFileObject> getDiagnosticListenerForWriter(Writer w) { |
312 final PrintWriter pw = getPrintWriterForWriter(w); |
312 final PrintWriter pw = getPrintWriterForWriter(w); |
313 return new DiagnosticListener<JavaFileObject> () { |
313 return diagnostic -> { |
314 @DefinedBy(Api.COMPILER) |
314 if (diagnostic.getKind() == Diagnostic.Kind.ERROR) { |
315 public void report(Diagnostic<? extends JavaFileObject> diagnostic) { |
315 pw.print(getMessage("err.prefix")); |
316 if (diagnostic.getKind() == Diagnostic.Kind.ERROR) { |
316 pw.print(" "); |
317 pw.print(getMessage("err.prefix")); |
317 } |
318 pw.print(" "); |
318 pw.println(diagnostic.getMessage(null)); |
319 } |
|
320 pw.println(diagnostic.getMessage(null)); |
|
321 } |
|
322 }; |
319 }; |
323 } |
320 } |
324 |
321 |
325 int run(String[] args) { |
322 int run(String[] args) { |
326 try { |
323 try { |