ATNDeserializer.java 文件源码

public ATNDeserializer(@Nullable ATNDeserializationOptions deserializationOptions) {
    if (deserializationOptions == null) {
        deserializationOptions = ATNDeserializationOptions.getDefaultOptions();
    }

    this.deserializationOptions = deserializationOptions;
}