void LoadFile(CoverageView.ClassItem klass)
{
int[] coverage = klass.Model.sourceFile.Coverage;
StreamReader infile = new StreamReader(klass.Model.sourceFile.sourceFile);
int pos = 1;
while (infile.Peek() > -1)
{
TextIter end = text_buffer.EndIter;
text_buffer.Insert(ref end, String.Format("{0, 6} {1}\n", pos, infile.ReadLine()));
if (pos < coverage.Length)
{
int count = coverage [pos];
TextIter text_end = text_buffer.EndIter;
TextIter text_start = text_end;
text_start.BackwardLines(1);
if (count > 0)
{
text_buffer.ApplyTag(hit_color, text_start, text_end);
}
else if (count == 0)
{
text_buffer.ApplyTag(missed_color, text_start, text_end);
}
}
pos++;
}
}
