GWT 中的字符串格式化程序

如何在 GWT 中格式化字符串？

我做了一个方法

  Formatter format = new Formatter();
    int matches = 0;
    Formatter formattedString = format.format("%d numbers(s, args) in correct position", matches);
    return formattedString.toString();

但它抱怨说

Validating newly compiled units
   [ERROR] Errors in 'file:/C:/Documents%20and%20Settings/kkshetri/workspace/MasterMind/MasterMind/src/com/kunjan/MasterMind/client/MasterMind.java'
      [ERROR] Line 84: No source code is available for type java.util.Formatter; did you forget to inherit a required module?

不包含格式化程序吗？

See the 官方网站 http://code.google.com/webtoolkit/doc/latest/DevGuideCodingBasicsFormatting.html关于 GWT 日期和数字格式。

他们提出以下建议：

myNum decimal = 33.23232;
myString = NumberFormat.getFormat("#.00").format(decimal);

最好使用他们支持的优化方法，而不是编写自己的非优化方法。无论如何，他们的编译器最终都会将它们优化为几乎相同的东西。