/** Report a warning, unless suppressed by the -nowarn option or the * maximum number of warnings has been reached. * @param pos The source position at which to report the warning. * @param key The key for the localized warning message. * @param args Fields of the warning message. */ public void warning(DiagnosticPosition pos, String key, Object ... args) { report(diags.warning(source, pos, key, args)); }
/** Report a lint warning, unless suppressed by the -nowarn option or the * maximum number of warnings has been reached. * @param lc The lint category for the diagnostic * @param key The key for the localized warning message. * @param args Fields of the warning message. */ public void warning(LintCategory lc, String key, Object ... args) { report(diags.warning(lc, key, args)); }
/** Report a warning, unless suppressed by the -nowarn option or the * maximum number of warnings has been reached. * @param key The key for the localized warning message. * @param args Fields of the warning message. */ public void warning(String key, Object ... args) { report(diags.warning(source, null, key, args)); }
/** Report a lint warning, unless suppressed by the -nowarn option or the * maximum number of warnings has been reached. * @param lc The lint category for the diagnostic * @param pos The source position at which to report the warning. * @param key The key for the localized warning message. * @param args Fields of the warning message. */ public void warning(LintCategory lc, DiagnosticPosition pos, String key, Object ... args) { report(diags.warning(lc, source, pos, key, args)); }
/** Report a warning that cannot be suppressed. * @param pos The source position at which to report the warning. * @param key The key for the localized warning message. * @param args Fields of the warning message. */ public void strictWarning(DiagnosticPosition pos, String key, Object ... args) { writeDiagnostic(diags.warning(source, pos, key, args)); nwarnings++; }
/** Report a warning, unless suppressed by the -nowarn option or the * maximum number of warnings has been reached. * @param key The key for the localized warning message. * @param args Fields of the warning message. */ public void warning(String key, Object ... args) { report(diags.warning(source, null, key, args)); }
/** Report a warning that cannot be suppressed. * @param pos The source position at which to report the warning. * @param key The key for the localized warning message. * @param args Fields of the warning message. */ public void strictWarning(DiagnosticPosition pos, String key, Object ... args) { writeDiagnostic(diags.warning(source, pos, key, args)); nwarnings++; }
/** Report a warning, unless suppressed by the -nowarn option or the * maximum number of warnings has been reached. * @param pos The source position at which to report the warning. * @param key The key for the localized warning message. * @param args Fields of the warning message. */ public void warning(DiagnosticPosition pos, String key, Object ... args) { report(diags.warning(source, pos, key, args)); }
/** Report a warning, unless suppressed by the -nowarn option or the * maximum number of warnings has been reached. * @param pos The source position at which to report the warning. * @param key The key for the localized warning message. * @param args Fields of the warning message. */ public void warning(DiagnosticPosition pos, String key, Object ... args) { report(diags.warning(source, pos, key, args)); }
/** Report a warning. * @param pos The source position at which to report the warning. * @param key The key for the localized warning message. * @param args Fields of the warning message. */ public void mandatoryWarning(DiagnosticPosition pos, String key, Object ... args) { if (enforceMandatoryWarnings) report(diags.mandatoryWarning(source, pos, key, args)); else report(diags.warning(source, pos, key, args)); }
/** Report a warning, unless suppressed by the -nowarn option or the * maximum number of warnings has been reached. * @param pos The source position at which to report the warning. * @param key The key for the localized warning message. * @param args Fields of the warning message. */ public void warning(int pos, String key, Object ... args) { report(diags.warning(source, wrap(pos), key, args)); }
/** Report a warning, unless suppressed by the -nowarn option or the * maximum number of warnings has been reached. * @param pos The source position at which to report the warning. * @param key The key for the localized warning message. * @param args Fields of the warning message. */ public void warning(String key, Object ... args) { report(diags.warning(source, null, key, args)); }
/** Report a lint warning, unless suppressed by the -nowarn option or the * maximum number of warnings has been reached. * @param lc The lint category for the diagnostic * @param key The key for the localized warning message. * @param args Fields of the warning message. */ public void warning(LintCategory lc, String key, Object ... args) { report(diags.warning(lc, key, args)); }
/** Report a warning, unless suppressed by the -nowarn option or the * maximum number of warnings has been reached. * @param pos The source position at which to report the warning. * @param key The key for the localized warning message. * @param args Fields of the warning message. */ public void warning(DiagnosticPosition pos, String key, Object ... args) { report(diags.warning(source, pos, key, args)); }
/** Report a warning, unless suppressed by the -nowarn option or the * maximum number of warnings has been reached. * @param pos The source position at which to report the warning. * @param key The key for the localized warning message. * @param args Fields of the warning message. */ public void warning(int pos, String key, Object ... args) { report(diags.warning(source, wrap(pos), key, args)); }
/** Report a warning, unless suppressed by the -nowarn option or the * maximum number of warnings has been reached. * @param pos The source position at which to report the warning. * @param key The key for the localized warning message. * @param args Fields of the warning message. */ public void warning(int pos, String key, Object ... args) { report(diags.warning(source, wrap(pos), key, args)); }
/** Report a warning that cannot be suppressed. * @param pos The source position at which to report the warning. * @param key The key for the localized warning message. * @param args Fields of the warning message. */ public void strictWarning(DiagnosticPosition pos, String key, Object ... args) { writeDiagnostic(diags.warning(source, pos, key, args)); nwarnings++; }
/** Report a warning, unless suppressed by the -nowarn option or the * maximum number of warnings has been reached. * @param pos The source position at which to report the warning. * @param key The key for the localized warning message. * @param args Fields of the warning message. */ public void warning(int pos, String key, Object ... args) { report(diags.warning(source, wrap(pos), key, args)); }
/** Report a lint warning, unless suppressed by the -nowarn option or the * maximum number of warnings has been reached. * @param lc The lint category for the diagnostic * @param pos The source position at which to report the warning. * @param key The key for the localized warning message. * @param args Fields of the warning message. */ public void warning(LintCategory lc, DiagnosticPosition pos, String key, Object ... args) { report(diags.warning(lc, source, pos, key, args)); }
/** Report a warning, unless suppressed by the -nowarn option or the * maximum number of warnings has been reached. * @param pos The source position at which to report the warning. * @param key The key for the localized warning message. * @param args Fields of the warning message. */ public void warning(String key, Object ... args) { report(diags.warning(source, null, key, args)); }