String getTokenName(int t) { if (t == -1) return 'EOF'; //if ( atn.g!=null ) return atn.g.getTokenDisplayName(t); return "'${String.fromCharCode(t)}'"; }