public void InitTest()
{
const string data = "One Two Three One Three";
var queue = data.Split().Aggregate(RealTimeDeque <string> .Empty, RealTimeDeque <string> .Snoc);
var init = RealTimeDeque <string> .Init(queue);
Assert.AreEqual("[3, {One, Two, $Three}, {Three}, 1, {One}, {}]", DumpQueue(init, true));
}
public void TailTest()
{
const string data = "One Two Three One Three";
var queue = data.Split().Aggregate(RealTimeDeque <string> .Empty, (queue1, s) => RealTimeDeque <string> .Cons(s, queue1));
var tail = RealTimeDeque <string> .Tail(queue);
Assert.AreEqual("[1, {One}, {}, 3, {One, Two, $Three}, {Three}]", DumpQueue(tail, true));
}
public void HeadTest()
{
const string data = "One Two Three One Three";
var queue = data.Split().Aggregate(RealTimeDeque <string> .Empty, (queue1, s) => RealTimeDeque <string> .Cons(s, queue1));
var head = RealTimeDeque <string> .Head(queue);
Assert.AreEqual("Three", head);
}
public void LastTest()
{
const string data = "One Two Three One Three";
var queue = data.Split().Aggregate(RealTimeDeque <string> .Empty, RealTimeDeque <string> .Snoc);
var last = RealTimeDeque <string> .Last(queue);
Assert.AreEqual("Three", last);
}
public void ConsTest()
{
var queue = RealTimeDeque <string> .Empty;
queue = RealTimeDeque <string> .Cons("Last", queue);
Assert.AreEqual("[1, {$}, {}, 0, {}, {}]", DumpQueue(queue, false));
queue = RealTimeDeque <string> .Cons("Head", queue);
Assert.AreEqual("[1, {$Head}, {Head}, 1, {$Last}, {Last}]", DumpQueue(queue, true));
}
public void SnocTest()
{
var queue = RealTimeDeque <string> .Empty;
queue = RealTimeDeque <string> .Snoc(queue, "Head");
Assert.AreEqual("[0, {}, {}, 1, {$}, {}]", DumpQueue(queue, false));
queue = RealTimeDeque <string> .Snoc(queue, "Last");
Assert.AreEqual("[1, {$Head}, {Head}, 1, {$Last}, {Last}]", DumpQueue(queue, true));
}
public void IncrementalLastTest()
{
const string data = "One Two Three Four Five";
var queue = data.Split().Aggregate(RealTimeDeque <string> .Empty, RealTimeDeque <string> .Snoc);
Assert.AreEqual("[3, {$}, {$}, 2, {$}, {$}]", DumpQueue(queue, false));
// After looking at the last element, the rest of the queue should be not created.
var last = RealTimeDeque <string> .Last(queue);
Assert.AreEqual("Five", last);
Assert.AreEqual("[3, {$}, {$}, 2, {Five, $}, {Five, $}]", DumpQueue(queue, false));
}
public void IncrementalHeadTest()
{
const string data = "One Two Three Four Five";
var queue = data.Split().Aggregate(RealTimeDeque <string> .Empty, (queue1, s) => RealTimeDeque <string> .Cons(s, queue1));
Assert.AreEqual("[2, {$}, {$}, 3, {$}, {$}]", DumpQueue(queue, false));
// After looking at the first element, the rest of the queue should be not created.
var head = RealTimeDeque <string> .Head(queue);
Assert.AreEqual("Five", head);
Assert.AreEqual("[2, {Five, $}, {Five, $}, 3, {$}, {$}]", DumpQueue(queue, false));
}
public void ConsHeadTailTest()
{
const string data = "One Two Three One Three";
var queue = data.Split().Aggregate(RealTimeDeque <string> .Empty, (queue1, s) => RealTimeDeque <string> .Cons(s, queue1));
foreach (var expected in data.Split().Reverse())
{
var actual = RealTimeDeque <string> .Head(queue);
Assert.AreEqual(expected, actual);
queue = RealTimeDeque <string> .Tail(queue);
}
Assert.IsTrue(RealTimeDeque <string> .IsEmpty(queue));
}
public void SnocLastInitTest()
{
const string data = "One Two Three One Three";
var queue = data.Split().Aggregate(RealTimeDeque <string> .Empty, RealTimeDeque <string> .Snoc);
var dat = data.Split().Reverse();
foreach (var expected in dat)
{
var actual = RealTimeDeque <string> .Last(queue);
Assert.AreEqual(expected, actual);
queue = RealTimeDeque <string> .Init(queue);
}
Assert.IsTrue(RealTimeDeque <string> .IsEmpty(queue));
}
public void EmptyTest()
{
var queue = RealTimeDeque <string> .Empty;
Assert.IsTrue(RealTimeDeque <string> .IsEmpty(queue));
queue = RealTimeDeque <string> .Cons("Head", queue);
Assert.IsFalse(RealTimeDeque <string> .IsEmpty(queue));
queue = RealTimeDeque <string> .Tail(queue);
Assert.IsTrue(RealTimeDeque <string> .IsEmpty(queue));
queue = RealTimeDeque <string> .Snoc(queue, "Tail");
Assert.IsFalse(RealTimeDeque <string> .IsEmpty(queue));
queue = RealTimeDeque <string> .Init(queue);
Assert.IsTrue(RealTimeDeque <string> .IsEmpty(queue));
}
public void EmptyTailTest()
{
var queue = RealTimeDeque <string> .Empty;
AssertThrows <ArgumentNullException>(() => RealTimeDeque <string> .Tail(queue));
}
public void EmptyConsTest()
{
AssertThrows <NullReferenceException>(() => RealTimeDeque <string> .Cons("Item", null));
}
private static string DumpQueue <T>(RealTimeDeque <T> .Queue queue, bool expandUnCreated)
{
return($"[{queue.LenF}, {{{DumpStream(queue.F, expandUnCreated)}}}, {{{DumpStream(queue.Sf, expandUnCreated)}}}, "
+ $"{queue.LenR}, {{{DumpStream(queue.R, expandUnCreated)}}}, {{{DumpStream(queue.Sr, expandUnCreated)}}}]");
}
public void EmptySoncTest()
{
AssertThrows <NullReferenceException>(() => RealTimeDeque <string> .Snoc(null, "Item"));
}