equal
deleted
inserted
replaced
212 * Keys for expected diagnostics. |
212 * Keys for expected diagnostics. |
213 */ |
213 */ |
214 public Set<String> expectDiagKeys; |
214 public Set<String> expectDiagKeys; |
215 |
215 |
216 /** |
216 /** |
|
217 * Set to true if a compressed diagnostic is reported |
|
218 */ |
|
219 public boolean compressedOutput; |
|
220 |
|
221 /** |
217 * JavacMessages object used for localization. |
222 * JavacMessages object used for localization. |
218 */ |
223 */ |
219 private JavacMessages messages; |
224 private JavacMessages messages; |
220 |
225 |
221 /** |
226 /** |
595 writeDiagnostic(diagnostic); |
600 writeDiagnostic(diagnostic); |
596 nerrors++; |
601 nerrors++; |
597 } |
602 } |
598 break; |
603 break; |
599 } |
604 } |
|
605 if (diagnostic.isFlagSet(JCDiagnostic.DiagnosticFlag.COMPRESSED)) { |
|
606 compressedOutput = true; |
|
607 } |
600 } |
608 } |
601 } |
609 } |
602 |
610 |
603 /** |
611 /** |
604 * Write out a diagnostic. |
612 * Write out a diagnostic. |