47 using ReferenceManager::SafePointer;
48 using ReferenceManager::SectionIndexKey;
49 using ReferenceManager::SectionOffsetKey;
50 using ReferenceManager::SectionKey;
94 const std::size_t BASE_ELEM_SIZE = 10;
101 assert(debugSection != NULL);
110 while (currElement <
header().bodyOffset +
header().bodyLength) {
113 Word stringOffset = stream.
readWord();
116 std::vector<Byte> data;
118 for (
unsigned i = 0; i < size; i++) {
131 "Unknown debug element type: " +
141 currElement += size + BASE_ELEM_SIZE;