checker/tests/i18n-formatter/ManualExampleI18nFormatter.java

// Example from the manual

import static org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory.DATE;
import static org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory.NUMBER;

import org.checkerframework.checker.i18nformatter.qual.I18nFormat;

public class ManualExampleI18nFormatter {

  void m(boolean flag) {

    @I18nFormat({NUMBER, DATE}) String f;

    f = "{0, number, #.#} {1, date}"; // OK
    f = "{0, number} {1}"; // OK, GENERAL is weaker (less restrictive) than DATE
    f = "{0} {1, date}"; // OK, GENERAL is weaker (less restrictive) than NUMBER
    // :: warning: (i18nformat.missing.arguments)
    f = "{0, number}"; // warning: last argument is ignored
    // :: warning: (i18nformat.missing.arguments)
    f = "{0}"; // warning: last argument is ignored
    // :: warning: (i18nformat.missing.arguments)
    f = flag ? "{0, number} {1}" : "{0, number}";

    if (flag) {
      f = "{0, number} {1}";
    } else {
      // :: warning: (i18nformat.missing.arguments)
      f = "{0, number}";
    }
    @I18nFormat({NUMBER, DATE}) String f2 = f;

    // :: error: (assignment)
    f = "{0, number} {1, number}"; // error: NUMBER is stronger (more restrictive) than DATE
    // :: error: (i18nformat.excess.arguments) :: error: (assignment)
    f = "{0} {1} {2}"; // error: too many arguments
  }
}