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