Example #1
0
 public ATNDeserializer(ATNDeserializationOptions deserializationOptions)
 {
     if (deserializationOptions == null)
     {
         deserializationOptions = ATNDeserializationOptions.Default;
     }
     this.deserializationOptions = deserializationOptions;
 }
Example #2
0
 public ATNDeserializer(ATNDeserializationOptions deserializationOptions)
 {
     if (deserializationOptions == null)
     {
         deserializationOptions = ATNDeserializationOptions.Default;
     }
     this.deserializationOptions = deserializationOptions;
 }