equal
deleted
inserted
replaced
406 return getDiagnosticListenerForWriter(getPrintWriterForStream(s)); |
406 return getDiagnosticListenerForWriter(getPrintWriterForStream(s)); |
407 } |
407 } |
408 |
408 |
409 private DiagnosticListener<JavaFileObject> getDiagnosticListenerForWriter(Writer w) { |
409 private DiagnosticListener<JavaFileObject> getDiagnosticListenerForWriter(Writer w) { |
410 final PrintWriter pw = getPrintWriterForWriter(w); |
410 final PrintWriter pw = getPrintWriterForWriter(w); |
411 return new DiagnosticListener<JavaFileObject> () { |
411 return diagnostic -> { |
412 public void report(Diagnostic<? extends JavaFileObject> diagnostic) { |
412 switch (diagnostic.getKind()) { |
413 switch (diagnostic.getKind()) { |
413 case ERROR: |
414 case ERROR: |
414 pw.print(getMessage("err.prefix")); |
415 pw.print(getMessage("err.prefix")); |
415 break; |
416 break; |
416 case WARNING: |
417 case WARNING: |
417 pw.print(getMessage("warn.prefix")); |
418 pw.print(getMessage("warn.prefix")); |
418 break; |
419 break; |
419 case NOTE: |
420 case NOTE: |
420 pw.print(getMessage("note.prefix")); |
421 pw.print(getMessage("note.prefix")); |
421 break; |
422 break; |
422 } |
423 } |
423 pw.print(" "); |
424 pw.print(" "); |
424 pw.println(diagnostic.getMessage(null)); |
425 pw.println(diagnostic.getMessage(null)); |
|
426 } |
|
427 }; |
425 }; |
428 } |
426 } |
429 |
427 |
430 /** Result codes. |
428 /** Result codes. |
431 */ |
429 */ |