/// <summary>
/// Copies the queue elements to an existing array, starting at the specified array index
/// </summary>
/// <param name="array">Destination array</param>
/// <param name="index">Starting index</param>
public void CopyTo(T[] array, int index)
{
TurboContract.Requires(array != null, conditionString: "array != null");
TurboContract.Requires(index >= 0, conditionString: "index >= 0");
TurboContract.Requires(index <= array.Length - this.Count, conditionString: "index <= array.Length - this.Count");
_circularList.CopyTo(array, index);
}
/// <summary>
/// Copies the queue elements to an existing array, starting at the specified array index
/// </summary>
/// <param name="array">Destination array</param>
/// <param name="index">Starting index</param>
public void CopyTo(T[] array, int index)
{
Contract.Requires(array != null);
Contract.Requires(index >= 0);
Contract.Requires(index <= array.Length - this.Count);
_circularList.CopyTo(array, index);
}
/// <summary>
/// Copies the deque elements to an existing array, starting at the specified array index.
/// </summary>
/// <param name="array">Destination array</param>
/// <param name="index">Starting index</param>
public void CopyTo(T[] array, int index)
{
_circularList.CopyTo(array, index);
}
