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;}
