equal
deleted
inserted
replaced
423 /** |
423 /** |
424 * Write out a diagnostic. |
424 * Write out a diagnostic. |
425 */ |
425 */ |
426 protected void writeDiagnostic(JCDiagnostic diag) { |
426 protected void writeDiagnostic(JCDiagnostic diag) { |
427 if (diagListener != null) { |
427 if (diagListener != null) { |
428 try { |
428 diagListener.report(diag); |
429 diagListener.report(diag); |
429 return; |
430 return; |
|
431 } |
|
432 catch (Throwable t) { |
|
433 throw new ClientCodeException(t); |
|
434 } |
|
435 } |
430 } |
436 |
431 |
437 PrintWriter writer = getWriterForDiagnosticType(diag.getType()); |
432 PrintWriter writer = getWriterForDiagnosticType(diag.getType()); |
438 |
433 |
439 printLines(writer, diagFormatter.format(diag, messages.getCurrentLocale())); |
434 printLines(writer, diagFormatter.format(diag, messages.getCurrentLocale())); |