public String GetTokenName(int t) { if (t == -1) return "EOF"; //if ( atn.g!=null ) return atn.g.getTokenDisplayName(t); return "'" + (char)t + "'"; }