Searched refs:deserializer (Results 1 – 1 of 1) sorted by relevance
27 …deserializer = new Serializer(new Settings(useBuffering: false, disableTypeStamping: true)).Obtain… in Player()29 entries = deserializer.DeserializeMany<IRecordEntry>().GetEnumerator(); in Player()73 private readonly Serializer.OpenStreamDeserializer deserializer; field in Antmicro.Renode.EventRecording.Player
