equal
deleted
inserted
replaced
533 * @param pos The source position at which to report the warning. |
533 * @param pos The source position at which to report the warning. |
534 * @param key The key for the localized warning message. |
534 * @param key The key for the localized warning message. |
535 * @param args Fields of the warning message. |
535 * @param args Fields of the warning message. |
536 */ |
536 */ |
537 public void strictWarning(DiagnosticPosition pos, String key, Object ... args) { |
537 public void strictWarning(DiagnosticPosition pos, String key, Object ... args) { |
538 writeDiagnostic(diags.warning(source, pos, key, args)); |
538 writeDiagnostic(diags.warning(null, source, pos, key, args)); |
539 nwarnings++; |
539 nwarnings++; |
540 } |
540 } |
541 |
541 |
542 /** |
542 /** |
543 * Primary method to report a diagnostic. |
543 * Primary method to report a diagnostic. |