java - text.replaceAll("(?i)(" + query + ")", " $1 ") with GWT

Question

具体的には、GWT で replaceAll を使用したいと思います。

doSomeGWTStuffWithTheString(text.replaceAll("(?i)(" + query + ")", "<b>$1</b>"));

しかし、なぜか動かない。これには特別なライブラリを使用する必要があると思います。

GWTで上記を行う方法を知っている場合は、お知らせください。

GWT の 2.4 ベータ版を使用しています。

Answer 1

String.replaceAll()GWTでは、クライアント側でJavascriptのRegExp実装を内部的に使用します。RegExp（ラッパークラス）javadocを見てください。それは言う：

Java-specific constructs in the regular expression syntax 
(e.g. [a-z&&[^bc]], (?<=foo), \A, \Q) work only in the pure Java implementation, 
not the GWT implementation, and are not rejected by either.

そのため、の使用は(?i)サポートされていないようです。