245     uint8_t ReadUint8(size_t &position)  in ReadUint8()  argument
247         ASSERT(position < Size());  in ReadUint8()
248         return *(buffer_ + (position++));  in ReadUint8()
261     uint32_t ReadUint32(size_t &position)  in ReadUint32()  argument
263         ASSERT(position < Size());  in ReadUint32()
264         uint32_t value = *reinterpret_cast<uint32_t *>(buffer_ + position);  in ReadUint32()
265         position += sizeof(uint32_t);  in ReadUint32()
284     JSTaggedType ReadJSTaggedType(size_t &position)  in ReadJSTaggedType()  argument
286         ASSERT(position < Size());  in ReadJSTaggedType()
287         JSTaggedType value = *reinterpret_cast<uint64_t *>(buffer_ + position);  in ReadJSTaggedType()
288         position += sizeof(JSTaggedType);  in ReadJSTaggedType()
292     void ReadRawData(uintptr_t addr, size_t len, size_t &position)  in ReadRawData()  argument
294         ASSERT(position + len <= Size());  in ReadRawData()
295         if (memcpy_s(reinterpret_cast<void *>(addr), len, buffer_ + position, len) != EOK) {  in ReadRawData()
299         position += len;  in ReadRawData()