public override void DumpLineNumbers(TextWriter writer)
{
writer.WriteLine ("--------");
writer.WriteLine ("DUMPING DWARF LINE NUMBER TABLE");
writer.WriteLine ("--------");
for (int i = 0; i < addresses.Length; i++) {
LineNumber line = (LineNumber) addresses [i];
writer.WriteLine ("{0,4} {1,4} {2:x}", i,
line.Line, line.Offset);
}
writer.WriteLine ("--------");
}