/Aurora/Framework/Utilities/MinHeap.cs
https://bitbucket.org/VirtualReality/software-testing · C# · 443 lines · 349 code · 68 blank · 26 comment · 73 complexity · 04d1aca88a19d291747ca87ba3e0c484 MD5 · raw file
- /*
- * Copyright (c) Contributors, http://aurora-sim.org/, http://opensimulator.org/
- * See CONTRIBUTORS.TXT for a full list of copyright holders.
- *
- * Redistribution and use in source and binary forms, with or without
- * modification, are permitted provided that the following conditions are met:
- * * Redistributions of source code must retain the above copyright
- * notice, this list of conditions and the following disclaimer.
- * * Redistributions in binary form must reproduce the above copyright
- * notice, this list of conditions and the following disclaimer in the
- * documentation and/or other materials provided with the distribution.
- * * Neither the name of the Aurora-Sim Project nor the
- * names of its contributors may be used to endorse or promote products
- * derived from this software without specific prior written permission.
- *
- * THIS SOFTWARE IS PROVIDED BY THE DEVELOPERS ``AS IS'' AND ANY
- * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
- * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
- * DISCLAIMED. IN NO EVENT SHALL THE CONTRIBUTORS BE LIABLE FOR ANY
- * DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
- * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
- * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
- * ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
- * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
- * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
- */
-
- using System;
- using System.Collections;
- using System.Collections.Generic;
- using System.Runtime.InteropServices;
- using System.Threading;
-
- namespace Aurora.Framework.Utilities
- {
- public interface IHandle
- {
- }
-
- [Serializable, ComVisible(false)]
- public class MinHeap<T> : ICollection<T>, ICollection
- {
- public const int DEFAULT_CAPACITY = 4;
- private readonly Comparison<T> comparison;
-
- private HeapItem[] items;
- private int size;
- private object sync_root;
- private int version;
-
- public MinHeap() : this(DEFAULT_CAPACITY, Comparer<T>.Default)
- {
- }
-
- public MinHeap(int capacity) : this(capacity, Comparer<T>.Default)
- {
- }
-
- public MinHeap(IComparer<T> comparer) : this(DEFAULT_CAPACITY, comparer)
- {
- }
-
- public MinHeap(int capacity, IComparer<T> comparer) :
- this(capacity, comparer.Compare)
- {
- }
-
- public MinHeap(Comparison<T> comparison) : this(DEFAULT_CAPACITY, comparison)
- {
- }
-
- public MinHeap(int capacity, Comparison<T> comparison)
- {
- this.items = new HeapItem[capacity];
- this.comparison = comparison;
- this.size = this.version = 0;
- }
-
- public T this[IHandle key]
- {
- get
- {
- Handle handle = ValidateThisHandle(key);
- return this.items[handle.index].value;
- }
-
- set
- {
- Handle handle = ValidateThisHandle(key);
- this.items[handle.index].value = value;
- if (!BubbleUp(handle.index))
- BubbleDown(handle.index);
- }
- }
-
- #region ICollection Members
-
- public bool IsSynchronized
- {
- get { return false; }
- }
-
- public object SyncRoot
- {
- get
- {
- if (this.sync_root == null)
- Interlocked.CompareExchange<object>(ref this.sync_root, new object(), null);
- return this.sync_root;
- }
- }
-
- public void CopyTo(Array array, int index)
- {
- if (array == null)
- throw new ArgumentNullException("array");
- if (array.Rank != 1)
- throw new ArgumentException("Multidimensional array not supported");
- if (array.GetLowerBound(0) != 0)
- throw new ArgumentException("Non-zero lower bound array not supported");
-
- int length = array.Length;
- if ((index < 0) || (index > length))
- throw new ArgumentOutOfRangeException("index");
- if ((length - index) < this.size)
- throw new ArgumentException("Not enough space available in array starting at index");
-
- try
- {
- for (int i = 0; i < this.size; ++i)
- array.SetValue(this.items[i].value, index + i);
- }
- catch (ArrayTypeMismatchException)
- {
- throw new ArgumentException("Invalid array type");
- }
- }
-
- #endregion
-
- #region ICollection<T> Members
-
- public int Count
- {
- get { return this.size; }
- }
-
- public bool IsReadOnly
- {
- get { return false; }
- }
-
- public void Add(T value)
- {
- Add(value, null);
- }
-
- public void Clear()
- {
- for (int index = 0; index < this.size; ++index)
- this.items[index].Clear();
- this.size = 0;
- ++this.version;
- }
-
- public bool Contains(T value)
- {
- return GetIndex(value) != -1;
- }
-
- public bool Remove(T value)
- {
- int index = GetIndex(value);
- if (index != -1)
- {
- RemoveAt(index);
- return true;
- }
- return false;
- }
-
- public void CopyTo(T[] array, int index)
- {
- if (array == null)
- throw new ArgumentNullException("array");
- if (array.Rank != 1)
- throw new ArgumentException("Multidimensional array not supported");
- if (array.GetLowerBound(0) != 0)
- throw new ArgumentException("Non-zero lower bound array not supported");
-
- int length = array.Length;
- if ((index < 0) || (index > length))
- throw new ArgumentOutOfRangeException("index");
- if ((length - index) < this.size)
- throw new ArgumentException("Not enough space available in array starting at index");
-
- for (int i = 0; i < this.size; ++i)
- array[index + i] = this.items[i].value;
- }
-
- public IEnumerator<T> GetEnumerator()
- {
- int version2 = this.version;
-
- for (int index = 0; index < this.size; ++index)
- {
- if (version2 != this.version)
- throw new InvalidOperationException("Heap was modified while enumerating");
- yield return this.items[index].value;
- }
- }
-
- IEnumerator IEnumerable.GetEnumerator()
- {
- return GetEnumerator();
- }
-
- #endregion
-
- private Handle ValidateHandle(IHandle ihandle)
- {
- if (ihandle == null)
- throw new ArgumentNullException("handle");
- Handle handle = ihandle as Handle;
- if (handle == null)
- throw new InvalidOperationException("handle is not valid");
- return handle;
- }
-
- private Handle ValidateThisHandle(IHandle ihandle)
- {
- Handle handle = ValidateHandle(ihandle);
- if (!ReferenceEquals(handle.heap, this))
- throw new InvalidOperationException("handle is not valid for this heap");
- if (handle.index < 0)
- throw new InvalidOperationException("handle is not associated to a value");
- return handle;
- }
-
- private void Set(HeapItem item, int index)
- {
- this.items[index] = item;
- if (item.handle != null)
- item.handle.index = index;
- }
-
- private bool BubbleUp(int index)
- {
- HeapItem item = this.items[index];
- int current, parent;
-
- for (current = index, parent = (current - 1)/2;
- (current > 0) && (this.comparison(this.items[parent].value, item.value)) > 0;
- current = parent, parent = (current - 1)/2)
- {
- Set(this.items[parent], current);
- }
-
- if (current != index)
- {
- Set(item, current);
- ++this.version;
- return true;
- }
- return false;
- }
-
- private void BubbleDown(int index)
- {
- HeapItem item = this.items[index];
- int current, child;
-
- for (current = index, child = (2*current) + 1;
- current < this.size/2;
- current = child, child = (2*current) + 1)
- {
- if ((child < this.size - 1) && this.comparison(this.items[child].value, this.items[child + 1].value) > 0)
- ++child;
- if (this.comparison(this.items[child].value, item.value) >= 0)
- break;
- Set(this.items[child], current);
- }
-
- if (current != index)
- {
- Set(item, current);
- ++this.version;
- }
- }
-
- public bool TryGetValue(IHandle key, out T value)
- {
- Handle handle = ValidateHandle(key);
- if (handle.index > -1)
- {
- value = this.items[handle.index].value;
- return true;
- }
- value = default(T);
- return false;
- }
-
- public bool ContainsHandle(IHandle ihandle)
- {
- Handle handle = ValidateHandle(ihandle);
- return ReferenceEquals(handle.heap, this) && handle.index > -1;
- }
-
- public void Add(T value, ref IHandle handle)
- {
- if (handle == null)
- handle = new Handle();
- Add(value, handle);
- }
-
- public void Add(T value, IHandle ihandle)
- {
- if (this.size == this.items.Length)
- {
- int capacity = (int) ((this.items.Length*200L)/100L);
- if (capacity < (this.items.Length + DEFAULT_CAPACITY))
- capacity = this.items.Length + DEFAULT_CAPACITY;
- Array.Resize(ref this.items, capacity);
- }
-
- Handle handle = null;
- if (ihandle != null)
- {
- handle = ValidateHandle(ihandle);
- handle.heap = this;
- }
-
- HeapItem item = new HeapItem(value, handle);
-
- Set(item, this.size);
- BubbleUp(this.size++);
- }
-
- public T Min()
- {
- if (this.size == 0)
- throw new InvalidOperationException("Heap is empty");
-
- return this.items[0].value;
- }
-
- public void TrimExcess()
- {
- int length = (int) (this.items.Length*0.9);
- if (this.size < length)
- Array.Resize(ref this.items, Math.Min(this.size, DEFAULT_CAPACITY));
- }
-
- private void RemoveAt(int index)
- {
- if (this.size == 0)
- throw new InvalidOperationException("Heap is empty");
- if (index >= this.size)
- throw new ArgumentOutOfRangeException("index");
-
- this.items[index].Clear();
- if (--this.size > 0 && index != this.size)
- {
- Set(this.items[this.size], index);
- if (!BubbleUp(index))
- BubbleDown(index);
- }
- }
-
- public T RemoveMin()
- {
- if (this.size == 0)
- throw new InvalidOperationException("Heap is empty");
-
- HeapItem item = this.items[0];
- RemoveAt(0);
- return item.value;
- }
-
- public T Remove(IHandle ihandle)
- {
- Handle handle = ValidateThisHandle(ihandle);
- HeapItem item = this.items[handle.index];
- RemoveAt(handle.index);
- return item.value;
- }
-
- private int GetIndex(T value)
- {
- EqualityComparer<T> comparer = EqualityComparer<T>.Default;
- int index;
-
- for (index = 0; index < this.size; ++index)
- {
- if (comparer.Equals(this.items[index].value, value))
- return index;
- }
- return -1;
- }
-
- #region Nested type: Handle
-
- private class Handle : IHandle
- {
- internal MinHeap<T> heap;
- internal int index = -1;
-
- internal void Clear()
- {
- this.index = -1;
- this.heap = null;
- }
- }
-
- #endregion
-
- #region Nested type: HeapItem
-
- private struct HeapItem
- {
- internal Handle handle;
- internal T value;
-
- internal HeapItem(T value, Handle handle)
- {
- this.value = value;
- this.handle = handle;
- }
-
- internal void Clear()
- {
- this.value = default(T);
- if (this.handle != null)
- {
- this.handle.Clear();
- this.handle = null;
- }
- }
- }
-
- #endregion
- }
- }