我可以为 *.jjt 文件制作西里尔字母吗?
例如,令牌在 jjt 中给出:
TOKEN : /* LITERALS */
{
< TEST: "тест" >
| < DEVELOP: "разработка" >
}
但是 jj 文件中的标记看起来很糟糕:
TOKEN : /* LITERALS */
{
< TEST: "\u0421\u201a\u0420\u00b5\u0421\u0403\u0421\u201a" >
| < DEVELOP: "\u0421\u0402\u0420\u00b0\u0420\u00b7\u0421\u0402\u0420\u00b0\u0420\u00b1\u0420\u0455\u0421\u201a\u0420\u0454\u0420\u00b0" >
}
使用以下选项:
options {
JDK_VERSION = "1.6";
UNICODE_INPUT = true;
JAVA_UNICODE_ESCAPE = false;
TRACK_TOKENS=true;
STATIC=false;
}
如果我在她的班级的帮助下做 Unicode:
class GetUnicode {
public static void main(String[] args) {
if (args.length < 1) return;
for (String input: args) {
for (int index = 0; index < input.length(); ++index) {
final char c = input.charAt(index);
final String s = String.format ("\\u%04x", (int)c);
System.out.print(s);
}
System.out.println();
}
}
}
程序启动后:
$ java GetUnicode тест разработка
\u0442\u0435\u0441\u0442
\u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u043a\u0430
结果,我可以看到 unicode 字符串不匹配。例如:
"\u0442\u0435\u0441\u0442" != "\u0421\u201a\u0420\u00b5\u0421\u0403\u0421\u201a"
你知道为什么会发生这种情况吗?
PS:此错误仅在 Windows 操作系统下出现。