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; }