How to use

ATNSerializer

in

org.antlr.v4.runtime.atn

/** 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,