225     uint8_t ReadUint8(size_t &position)  in ReadUint8()  argument
227         ASSERT(position < Size());  in ReadUint8()
228         return *(buffer_ + (position++));  in ReadUint8()
241     uint32_t ReadUint32(size_t &position)  in ReadUint32()  argument
243         ASSERT(position < Size());  in ReadUint32()
244         uint32_t value = *reinterpret_cast<uint32_t *>(buffer_ + position);  in ReadUint32()
245         position += sizeof(uint32_t);  in ReadUint32()
264     JSTaggedType ReadJSTaggedType(size_t &position)  in ReadJSTaggedType()  argument
266         ASSERT(position < Size());  in ReadJSTaggedType()
267         JSTaggedType value = *reinterpret_cast<uint64_t *>(buffer_ + position);  in ReadJSTaggedType()
268         position += sizeof(JSTaggedType);  in ReadJSTaggedType()
272     void ReadRawData(uintptr_t addr, size_t len, size_t &position)  in ReadRawData()  argument
274         ASSERT(position + len <= Size());  in ReadRawData()
275         if (memcpy_s(reinterpret_cast<void *>(addr), len, buffer_ + position, len) != EOK) {  in ReadRawData()
279         position += len;  in ReadRawData()