text: public ATNDeserializer(ATNDeserializationOptions deserializationOptions){if (deserializationOptions == null){deserializationOptions = ATNDeserializationOptions.Default;}this.deserializationOptions = deserializationOptions;}