public void AddInfo(InstrumentedInfo info)
{
foreach (var ii in Infos)
{
if (ii.Start < info.Start && info.Start < ii.End)
{
ii.End = info.Start;
}
else if (ii.Start < info.End && info.End < ii.End)
{
ii.Start = info.End;
}
else if (info.Start <= ii.Start && ii.End <= info.Start)
{
if (info.Start == ii.Start)
{
info.Start = ii.End;
}
else
{
info.End = ii.Start;
}
}
else if (ii.Start <= info.Start && info.End <= ii.End)
{
if (ii.Start == info.Start)
{
ii.Start = info.End;
}
else
{
ii.End = info.Start;
}
}
}
if (info.Start < info.End)
{
Infos.Add(info);
}
}
public CoverageInfo(InstrumentedInfo source)
{
Source = source;
}
