/** Used by Java target to encode short/int array as chars in string. */ public static String getSerializedAsString(ATN atn) { return new String(getSerializedAsChars(atn)); }
public static String getDecoded(ATN atn, List<String> tokenNames) { IntegerList serialized = getSerialized(atn); char[] data = Utils.toCharArray(serialized); return new ATNSerializer(atn, tokenNames).decode(data); }
private int appendSets(StringBuilder buf, char[] data, int p, int nsets, int setIndexOffset, ATNDeserializer.UnicodeDeserializer unicodeDeserializer) { for (int i=0; i<nsets; i++) { int nintervals = ATNDeserializer.toInt(data[p++]); buf.append(i+setIndexOffset).append(":"); boolean containsEof = data[p++] != 0; if (containsEof) { buf.append(getTokenName(Token.EOF)); } for (int j=0; j<nintervals; j++) { if ( containsEof || j>0 ) { buf.append(", "); } int a = unicodeDeserializer.readUnicode(data, p); p += unicodeDeserializer.size(); int b = unicodeDeserializer.readUnicode(data, p); p += unicodeDeserializer.size(); buf.append(getTokenName(a)).append("..").append(getTokenName(b)); } buf.append("\n"); } return p; }
public static IntegerList getSerialized(ATN atn) { return new ATNSerializer(atn).serialize(); }
public static char[] getSerializedAsChars(ATN atn) { return Utils.toCharArray(getSerialized(atn)); }
IntegerList data = new IntegerList(); data.add(ATNDeserializer.SERIALIZED_VERSION); serializeUUID(data, ATNDeserializer.SERIALIZED_UUID); serializeSets( data, bmpSets, serializeSets( data, smpSets,
private void serializeUUID(IntegerList data, UUID uuid) { serializeLong(data, uuid.getLeastSignificantBits()); serializeLong(data, uuid.getMostSignificantBits()); }
private void serializeLong(IntegerList data, long value) { serializeInt(data, (int)value); serializeInt(data, (int)(value >> 32)); }
IntegerList data = new IntegerList(); data.add(ATNDeserializer.SERIALIZED_VERSION); serializeUUID(data, ATNDeserializer.SERIALIZED_UUID);
public static char[] getSerializedAsChars(ATN atn) { return Utils.toCharArray(getSerialized(atn)); }
public static IntegerList getSerialized(ATN atn, List<String> ruleNames) { return new ATNSerializer(atn, ruleNames).serialize(); }
IntegerList data = new IntegerList(); data.add(ATNDeserializer.SERIALIZED_VERSION); serializeUUID(data, ATNDeserializer.SERIALIZED_UUID); serializeSets( data, bmpSets, serializeSets( data, smpSets,
private void serializeUUID(IntegerList data, UUID uuid) { serializeLong(data, uuid.getLeastSignificantBits()); serializeLong(data, uuid.getMostSignificantBits()); }
private void serializeLong(IntegerList data, long value) { serializeInt(data, (int)value); serializeInt(data, (int)(value >> 32)); }
IntegerList data = new IntegerList(); data.add(ATNDeserializer.SERIALIZED_VERSION); serializeUUID(data, ATNDeserializer.SERIALIZED_UUID);
/** Used by Java target to encode short/int array as chars in string. */ public static String getSerializedAsString(ATN atn) { return new String(getSerializedAsChars(atn)); }
public static String getDecoded(ATN atn, List<String> ruleNames, List<String> tokenNames) { IntegerList serialized = getSerialized(atn, ruleNames); char[] data = Utils.toCharArray(serialized); return new ATNSerializer(atn, ruleNames, tokenNames).decode(data); }
public static char[] getSerializedAsChars(ATN atn) { return Utils.toCharArray(getSerialized(atn)); }
public static IntegerList getSerialized(ATN atn) { return new ATNSerializer(atn).serialize(); }
IntegerList data = new IntegerList(); data.add(ATNDeserializer.SERIALIZED_VERSION); serializeUUID(data, ATNDeserializer.SERIALIZED_UUID); serializeSets( data, bmpSets, serializeSets( data, smpSets,