protected virtual void Add(Interval addition)
{
//[email protected]("add "+addition+" to "+intervals.toString());
if (addition.b < addition.a)
{
return;
}
// find position in list
//for (ListIterator iter = intervals.listIterator(); iter.hasNext();) {
int n = intervals.Count;
for (int i = 0; i < n; i++)
{
Interval r = (Interval)intervals[i];
if (addition.Equals(r))
{
return;
}
if (addition.adjacent(r) || !addition.disjoint(r))
{
// next to each other, make a single larger interval
Interval bigger = addition.union(r);
intervals[i] = bigger;
// make sure we didn't just create an interval that
// should be merged with next interval in list
if ((i + 1) < n)
{
i++;
Interval next = (Interval)intervals[i];
if (bigger.adjacent(next) || !bigger.disjoint(next))
{
// if we bump up against or overlap next, merge
intervals.RemoveAt(i); // remove next one
i--;
intervals[i] = bigger.union(next); // set to 3 merged ones
}
}
return;
}
if (addition.startsBeforeDisjoint(r))
{
// insert before r
intervals.Insert(i, addition);
return;
}
// if disjoint and after r, a future iteration will handle it
}
// ok, must be after last interval (and disjoint from last interval)
// just add it
intervals.Add(addition);
}