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++;
}
}
public SourceWindow(CoverageView.ClassItem klass)
{
this.classItem = klass;
text_buffer = new TextBuffer (new TextTagTable ());
text_view = new TextView (text_buffer);
text_view.Editable = false;
Add (text_view);
hit_color = new TextTag ("hit");
hit_color.Foreground = "blue";
text_buffer.TagTable.Add (hit_color);
missed_color = new TextTag ("miss");
missed_color.Foreground = "red";
text_buffer.TagTable.Add (missed_color);
LoadFile (klass);
ShowAll ();
}
public SourceWindow(CoverageView.ClassItem klass)
: base(klass.Model.sourceFile.sourceFile)
{
SetDefaultSize(800, 600);
ScrolledWindow sw = new ScrolledWindow();
text_buffer = new TextBuffer(new TextTagTable());
text_view = new TextView(text_buffer);
text_view.Editable = false;
sw.Add(text_view);
Add(sw);
hit_color = new TextTag("hit");
hit_color.Foreground = "blue";
text_buffer.TagTable.Add(hit_color);
missed_color = new TextTag("miss");
missed_color.Foreground = "red";
text_buffer.TagTable.Add(missed_color);
LoadFile(klass);
ShowAll();
}