56             using(var reader = GetNewReader())  in ReadHeader()
58                 var magic = reader.ReadBytes(MagicValue.Length);  in ReadHeader()
64                 var version = reader.ReadByte();  in ReadHeader()
70                 var padding = reader.ReadBytes(HeaderPaddingLength);  in ReadHeader()
77                 FirstBlockOffset = reader.BaseStream.Position;  in ReadHeader()
89             var reader = GetNewReader();  in BeforeSerialization()
90             serializedBuffer = reader.ReadBytes((int)reader.Length);  in BeforeSerialization()
106                 reader = parser.GetNewReader();  in DataBlockEnumerator()
107                 reader.EndOfStreamEvent += (message) =>  in DataBlockEnumerator()
117                 reader.Dispose();  in Dispose()
122                 while(!reader.EOF)  in MoveNext()
125                     if(reader.EOF)  in MoveNext()
132                     var dataBlockHeader = DataBlockHeader.ReadFromStream(reader);  in MoveNext()
133 …        limitedReader = reader.WithLength(reader.BaseStream.Position + (long)dataBlockHeader.Size);  in MoveNext()
141                             reader.SkipBytes((int)dataBlockHeader.Size);  in MoveNext()
148                         reader.SkipBytes((int)dataBlockHeader.Size);  in MoveNext()
162                             reader.SkipBytes((int)dataBlockHeader.Size);  in MoveNext()
174                 reader.BaseStream.Seek(parser.FirstBlockOffset, SeekOrigin.Begin);  in Reset()
213                 reader = parser.GetNewReader();  in AfterDeserialization()
214                 reader.BaseStream.Seek(parser.FirstBlockOffset, SeekOrigin.Begin);  in AfterDeserialization()
218             private SafeBinaryReader reader;  field in Antmicro.Renode.Utilities.RESD.LowLevelRESDParser.DataBlockEnumerator