public void TestEnumerator()
{
ImmutableSortedTreeList <int> .Builder list = ImmutableSortedTreeList.CreateBuilder <int>();
ImmutableSortedTreeList <int> .Enumerator enumerator = list.GetEnumerator();
Assert.Equal(0, enumerator.Current);
Assert.False(enumerator.MoveNext());
Assert.Equal(0, enumerator.Current);
Assert.False(enumerator.MoveNext());
Assert.Equal(0, enumerator.Current);
// Adding an item to the list invalidates it, but Current is still unchecked
CollectionAssert.EnumeratorInvalidated(list, () => list.Add(1));
Assert.Throws <InvalidOperationException>(() => enumerator.MoveNext());
Assert.Equal(0, enumerator.Current);
enumerator = list.GetEnumerator();
Assert.Equal(0, enumerator.Current);
Assert.True(enumerator.MoveNext());
Assert.Equal(1, enumerator.Current);
// Reset has no effect due to boxing the value type
((IEnumerator <int>)enumerator).Reset();
Assert.Equal(1, enumerator.Current);
Assert.False(enumerator.MoveNext());
Assert.Equal(1, enumerator.Current);
}
public void TestToImmutable()
{
int value = Generator.GetInt32();
ImmutableSortedTreeList <int> .Builder list = ImmutableSortedTreeList.CreateBuilder <int>();
Assert.Empty(list);
Assert.Same(ImmutableSortedTreeList <int> .Empty, list.ToImmutable());
list.Add(value);
Assert.Equal(new[] { value }, list.ToImmutable());
Assert.Same(list.ToImmutable(), list.ToImmutable());
list.Add(value);
Assert.Equal(new[] { value, value }, list.ToImmutable());
Assert.Same(list.ToImmutable(), list.ToImmutable());
}
public void TestIndexOf()
{
ImmutableSortedTreeList <int> .Builder list = ImmutableSortedTreeList.CreateBuilder <int>();
var reference = new List <int>();
for (int i = 0; i < 4 * 8 * 8; i++)
{
int item = Generator.GetInt32(list.Count + 1);
list.Add(item);
reference.Add(item);
}
reference.Sort();
Assert.Throws <ArgumentOutOfRangeException>(() => list.IndexOf(list[0], -1));
Assert.Throws <ArgumentOutOfRangeException>(() => list.IndexOf(list[0], 0, -1));
Assert.Throws <ArgumentException>(() => list.IndexOf(list[0], 0, list.Count + 1));
Assert.Equal(-1, list.IndexOf(-1));
for (int i = 0; i < list.Count; i++)
{
Assert.Equal(reference.IndexOf(i), list.IndexOf(i));
int firstIndex = list.IndexOf(i);
Assert.Equal(reference.IndexOf(i, firstIndex + 1), list.IndexOf(i, firstIndex + 1));
}
ImmutableSortedTreeList <int> .Builder empty = ImmutableSortedTreeList.CreateBuilder <int>();
Assert.Equal(-1, empty.IndexOf(0));
}
public void TestRemoveAt()
{
ImmutableSortedTreeList <int> .Builder list = ImmutableSortedTreeList.CreateBuilder <int>();
var reference = new List <int>();
for (int i = 0; i < 4 * 8 * 8; i++)
{
int item = Generator.GetInt32();
list.Add(item);
reference.Add(item);
}
reference.Sort();
while (list.Count > 0)
{
int index = Generator.GetInt32(list.Count);
Assert.Equal(reference[index], list[index]);
reference.RemoveAt(index);
list.RemoveAt(index);
list.Validate(ValidationRules.None);
Assert.Equal(reference, list);
}
Assert.Empty(list);
Assert.Empty(reference);
}
public void TestBinarySearchFullList()
{
ImmutableSortedTreeList <int> .Builder list = ImmutableSortedTreeList.CreateBuilder <int>();
var reference = new List <int>();
for (int i = 0; i < 4 * 8 * 8; i++)
{
list.Add(i * 2);
reference.Add(i * 2);
}
// Test below start value
Assert.Equal(reference.BinarySearch(reference[0] - 1), list.BinarySearch(reference[0] - 1));
for (int i = 0; i < reference.Count; i++)
{
// Test current value
Assert.Equal(reference.BinarySearch(reference[i]), list.BinarySearch(reference[i]));
// Test above current value
Assert.Equal(reference.BinarySearch(reference[i] + 1), list.BinarySearch(reference[i] + 1));
}
ImmutableSortedTreeList <int> .Builder empty = ImmutableSortedTreeList.CreateBuilder <int>();
Assert.Equal(~0, empty.BinarySearch(0));
}
public void TestTrimExcess()
{
ImmutableSortedTreeList <int> .Builder list = ImmutableSortedTreeList.CreateBuilder <int>();
List <int> reference = new List <int>();
for (int i = 0; i < 4 * 8 * 8; i++)
{
int value = Generator.GetInt32(list.Count + 1);
list.Add(i);
reference.Add(i);
}
reference.Sort();
list.Validate(ValidationRules.None);
// In the first call to TrimExcess, items will move
list.TrimExcess();
list.Validate(ValidationRules.RequirePacked);
Assert.Equal(reference, list);
// In the second call, the list is already packed so nothing will move
list.TrimExcess();
list.Validate(ValidationRules.RequirePacked);
Assert.Equal(reference, list);
ImmutableSortedTreeList <int> .Builder empty = ImmutableSortedTreeList.CreateBuilder <int>();
empty.Validate(ValidationRules.RequirePacked);
empty.TrimExcess();
empty.Validate(ValidationRules.RequirePacked);
var single = ImmutableSortedTreeList.CreateRange(Enumerable.Range(0, 1)).ToBuilder();
single.Validate(ValidationRules.RequirePacked);
single.TrimExcess();
single.Validate(ValidationRules.RequirePacked);
// Construct a poorly-packed list with several levels
ImmutableSortedTreeList <int> .Builder binary = ImmutableSortedTreeList.CreateBuilder <int>();
for (int i = 5000; i >= 0; i--)
{
binary.Add(i);
}
binary.TrimExcess();
binary.Validate(ValidationRules.RequirePacked);
// Construct a poorly-packed list with several levels
ImmutableSortedTreeList <int> .Builder ternary = ImmutableSortedTreeList.CreateRange <int>(comparer: null, Enumerable.Range(0, 5000)).ToBuilder();
for (int i = 5000; i >= 0; i--)
{
ternary.Add(i);
}
ternary.TrimExcess();
ternary.Validate(ValidationRules.RequirePacked);
}
public void TestTrueForAll()
{
ImmutableSortedTreeList <int> .Builder list = ImmutableSortedTreeList.CreateBuilder <int>();
Assert.True(list.TrueForAll(i => false));
Assert.Throws <ArgumentNullException>(() => list.TrueForAll(null !));
list.Add(1);
Assert.True(list.TrueForAll(i => i > 0));
Assert.False(list.TrueForAll(i => i <= 0));
}
public void TestAdd()
{
int value = Generator.GetInt32();
ImmutableSortedTreeList <int> .Builder list = ImmutableSortedTreeList.CreateBuilder <int>();
Assert.Empty(list);
list.Add(value);
Assert.Single(list);
Assert.Equal(value, list[0]);
int[] expected = { value };
int[] actual = list.ToArray();
Assert.Equal(expected, actual);
Assert.True(list.Add(value, addIfPresent: true));
Assert.Equal(new[] { value, value }, list);
Assert.False(list.Add(value, addIfPresent: false));
Assert.Equal(new[] { value, value }, list);
}
public void TestAddStaysPacked()
{
ImmutableSortedTreeList <int> .Builder list = ImmutableSortedTreeList.CreateBuilder <int>();
for (int i = 0; i < 4 * 8 * 8; i++)
{
// This test assumes items are being added are already ordered by hash code
Assert.Equal(i, i.GetHashCode());
list.Add(i);
list.Validate(ValidationRules.RequirePacked);
}
}
public void TestAddMany()
{
int[] expected = { 600, 601, 602, 603, 700, 701, 702, 703, 800, 801, 802, 803 };
ImmutableSortedTreeList <int> .Builder list = ImmutableSortedTreeList.CreateBuilder <int>();
foreach (var item in expected)
{
list.Add(item);
Assert.Equal(item, list[list.Count - 1]);
}
Assert.Equal(expected.Length, list.Count);
int[] actual = list.ToArray();
Assert.Equal(expected, actual);
}
public void TestFindLastIndex()
{
ImmutableSortedTreeList <int> .Builder list = ImmutableSortedTreeList.CreateBuilder <int>();
var reference = new List <int>();
Assert.Throws <ArgumentOutOfRangeException>(() => list.FindLastIndex(0, 0, i => true));
Assert.Throws <ArgumentOutOfRangeException>(() => reference.FindLastIndex(0, 0, i => true));
Assert.Equal(-1, list.FindLastIndex(-1, 0, i => true));
Assert.Equal(-1, reference.FindLastIndex(-1, 0, i => true));
for (int i = 0; i < 2 * 4 * 4; i++)
{
int item = Generator.GetInt32(list.Count + 1);
list.Add(item);
reference.Add(item);
}
reference.Sort();
Assert.Throws <ArgumentNullException>(() => list.FindLastIndex(null !));
Assert.Throws <ArgumentNullException>(() => list.FindLastIndex(-1, null !));
Assert.Throws <ArgumentNullException>(() => list.FindLastIndex(-1, 0, null !));
Assert.Throws <ArgumentOutOfRangeException>(() => list.FindLastIndex(list.Count, i => true));
Assert.Throws <ArgumentOutOfRangeException>(() => list.FindLastIndex(list.Count - 1, -1, i => true));
Assert.Throws <ArgumentOutOfRangeException>(() => list.FindLastIndex(list.Count - 1, list.Count + 1, i => true));
Assert.Equal(-1, list.FindLastIndex(_ => false));
Assert.Equal(-1, list.FindLastIndex(list.Count - 1, list.Count / 2, _ => false));
for (int i = 0; i < list.Count; i++)
{
Predicate <int> predicate = value => value == i;
Assert.Equal(reference.FindLastIndex(predicate), list.FindLastIndex(predicate));
int lastIndex = list.FindLastIndex(predicate);
if (lastIndex < 1)
{
continue;
}
Assert.Equal(reference.FindLastIndex(lastIndex - 1, predicate), list.FindLastIndex(lastIndex - 1, predicate));
}
}
public void TestInsertionLocation()
{
var comparer = new ComparisonComparer <StrongBox <int> >((x, y) => x.Value - y.Value);
ImmutableSortedTreeList <StrongBox <int> > .Builder list = ImmutableSortedTreeList.CreateBuilder(comparer);
for (int i = 0; i < 1000; i++)
{
var value = new StrongBox <int>(Generator.GetInt32(0, 200));
int index = list.LastIndexOf(value);
if (index < 0)
{
// No item with this value already exists
index = list.FindLastIndex(box => box.Value < value.Value);
}
else
{
Assert.Equal(list[index].Value, value.Value);
}
if (index < list.Count - 1)
{
Assert.True(list[index + 1].Value > value.Value);
}
// The item is inserted after the previous last item with this value (or the last item less than it)
list.Add(value);
Assert.Same(list[index + 1], value);
Assert.Equal(index + 1, list.LastIndexOf(new StrongBox <int>(value.Value)));
// Check IndexOf as well
int firstInstance = list.IndexOf(new StrongBox <int>(value.Value));
Assert.True(firstInstance >= 0 && firstInstance < list.Count);
Assert.Equal(value.Value, list[firstInstance].Value);
Assert.True(firstInstance == 0 || list[firstInstance - 1].Value < value.Value);
// Check BinarySearch consistency
int binarySearch = list.BinarySearch(new StrongBox <int>(value.Value));
Assert.True(binarySearch >= firstInstance && binarySearch <= index + 1);
Assert.Equal(firstInstance, list.BinarySearch(0, firstInstance + 1, new StrongBox <int>(value.Value)));
Assert.Equal(~firstInstance, list.BinarySearch(0, firstInstance, new StrongBox <int>(value.Value)));
Assert.Equal(index + 1, list.BinarySearch(index + 1, list.Count - index - 1, new StrongBox <int>(value.Value)));
Assert.Equal(~(index + 2), list.BinarySearch(index + 2, list.Count - index - 2, new StrongBox <int>(value.Value)));
}
}
public void TestLastIndexOf()
{
ImmutableSortedTreeList <int> .Builder list = ImmutableSortedTreeList.CreateBuilder <int>();
var reference = new List <int>();
Assert.Equal(-1, list.LastIndexOf(0, -1, 0));
Assert.Equal(-1, reference.LastIndexOf(0, -1, 0));
Assert.Throws <ArgumentException>(() => list.LastIndexOf(0, 0, 0));
Assert.Throws <ArgumentOutOfRangeException>(() => list.LastIndexOf(0, -40, -50));
Assert.Throws <ArgumentOutOfRangeException>(() => list.LastIndexOf(0, 40, 50));
for (int i = 0; i < 2 * 4 * 4; i++)
{
int item = Generator.GetInt32(list.Count + 1);
list.Add(item);
reference.Add(item);
}
reference.Sort();
Assert.Throws <ArgumentException>(() => list.LastIndexOf(list[0], list.Count));
Assert.Throws <ArgumentOutOfRangeException>(() => list.LastIndexOf(list[0], list.Count - 1, -1));
Assert.Throws <ArgumentOutOfRangeException>(() => list.LastIndexOf(list[0], list.Count - 1, list.Count + 1));
Assert.Equal(-1, list.LastIndexOf(-1));
Assert.Equal(-1, list.LastIndexOf(-1, list.Count - 1, list.Count / 2));
for (int i = 0; i < list.Count; i++)
{
Assert.Equal(reference.LastIndexOf(i), list.LastIndexOf(i));
int lastIndex = list.LastIndexOf(i);
if (lastIndex < 1)
{
continue;
}
Assert.Equal(reference.LastIndexOf(i, lastIndex - 1), list.LastIndexOf(i, lastIndex - 1));
}
}
public void TestFindIndex()
{
ImmutableSortedTreeList <int> .Builder list = ImmutableSortedTreeList.CreateBuilder <int>();
var reference = new List <int>();
for (int i = 0; i < 4 * 8 * 8; i++)
{
int item = Generator.GetInt32(list.Count + 1);
list.Add(item);
reference.Add(item);
}
reference.Sort();
Assert.Throws <ArgumentNullException>(() => list.FindIndex(null !));
Assert.Throws <ArgumentNullException>(() => list.FindIndex(0, null !));
Assert.Throws <ArgumentNullException>(() => list.FindIndex(0, 0, null !));
Assert.Throws <ArgumentOutOfRangeException>(() => list.FindIndex(-1, i => true));
Assert.Throws <ArgumentOutOfRangeException>(() => list.FindIndex(0, -1, i => true));
Assert.Throws <ArgumentOutOfRangeException>(() => list.FindIndex(0, list.Count + 1, i => true));
Assert.Equal(-1, list.FindIndex(_ => false));
for (int i = 0; i < list.Count; i++)
{
Predicate <int> predicate = value => value == i;
Assert.Equal(reference.FindIndex(predicate), list.FindIndex(predicate));
int firstIndex = list.FindIndex(predicate);
Assert.Equal(reference.FindIndex(firstIndex + 1, predicate), list.FindIndex(firstIndex + 1, predicate));
}
ImmutableSortedTreeList <int> .Builder empty = ImmutableSortedTreeList.CreateBuilder <int>();
Assert.Equal(-1, empty.FindIndex(i => true));
}