/* * Merges another list into this list */ public void mergeAnotherList(WidgetList blist) { IDictionaryEnumerator ienum = blist.GetEnumerator(); while (ienum.MoveNext()) { int key = (int)ienum.Key; WidgetInfo info = (WidgetInfo)ienum.Value; if (!this.ContainsKey(key)) { this.Add(key, info); } } }
/* * Merges another list into this list */ public void mergeAnotherList(WidgetList blist) { IDictionaryEnumerator ienum = blist.GetEnumerator(); while (ienum.MoveNext()) { int key = (int)ienum.Key; WidgetInfo info = (WidgetInfo)ienum.Value; if ( !this.ContainsKey(key)) { this.Add( key, info); } } }