public static final String yyName (int token) { if (token < 0 || token > yyNames.length) return "[illegal]"; String name; if ((name = yyNames[token]) != null) return name; return "[unknown]"; }