public void WriteBlock(BasicBlockChunk chunk)
{
List <DbgEntry> entryList;
if (chunk == null || !dbg.entries.TryGetValue(chunk.Block, out entryList) ||
chunk.Block.Content.Count == 0)
{
return;
}
var offset = chunk.Block.Content[0].Offset;
foreach (var entry in entryList)
{
writer.Write(entry.offset + chunk.Block.Content[0].Offset);
writer.Write(entry.len);
writer.Write(docMap[entry.document]);
writer.Write(entry.lineNum);
}
}