public async Task SingleNode()
{
var tester = new NavigatorTester();
tester.AddLoggedNode("normal", "reversed");
await CheckSingleNodeAsync(tester);
}
public async Task Condition_SingleNode()
{
var tester = new NavigatorTester();
var isValid = false;
tester.AddLoggedNode("normal", "reversed", () => isValid);
isValid = false;
await CheckEmptyBlockAsync(tester);
isValid = true;
await CheckSingleNodeAsync(tester);
}
public async Task BackAndForth()
{
var tester = new NavigatorTester();
tester.AddLoggedNode("n1", "r1");
tester.AddLoggedNode("n2", "r2");
tester.AddLoggedNode("n3", "r3");
// Forward
await tester.MoveAsync(true, "n1");
tester.CheckLog("Enter:n1");
await tester.MoveAsync(false, "r1", null);
tester.CheckLog("Leave:n1", "Enter:r1", "Leave:r1");
await tester.MoveAsync(true, "n1", "n2");
tester.CheckLog("Enter:n1", "Leave:n1", "Enter:n2");
await tester.MoveAsync(false, "r2", "r1", null);
tester.CheckLog("Leave:n2", "Enter:r2", "Leave:r2", "Enter:r1", "Leave:r1");
await tester.MoveAsync(true, "n1", "n2", "n3");
tester.CheckLog("Enter:n1", "Leave:n1", "Enter:n2", "Leave:n2", "Enter:n3");
await tester.MoveAsync(false, "r3", "r2", "r1", null);
tester.CheckLog("Leave:n3", "Enter:r3", "Leave:r3", "Enter:r2", "Leave:r2", "Enter:r1", "Leave:r1");
await tester.MoveAsync(true, "n1", "n2", "n3", null);
tester.CheckLog("Enter:n1", "Leave:n1", "Enter:n2", "Leave:n2", "Enter:n3", "Leave:n3");
// Backward
await tester.MoveAsync(false, "r3");
tester.CheckLog("Enter:r3");
await tester.MoveAsync(true, "n3", null);
tester.CheckLog("Leave:r3", "Enter:n3", "Leave:n3");
await tester.MoveAsync(false, "r3", "r2");
tester.CheckLog("Enter:r3", "Leave:r3", "Enter:r2");
await tester.MoveAsync(true, "n2", "n3", null);
tester.CheckLog("Leave:r2", "Enter:n2", "Leave:n2", "Enter:n3", "Leave:n3");
await tester.MoveAsync(false, "r3", "r2", "r1");
tester.CheckLog("Enter:r3", "Leave:r3", "Enter:r2", "Leave:r2", "Enter:r1");
await tester.MoveAsync(true, "n1", "n2", "n3", null);
tester.CheckLog("Leave:r1", "Enter:n1", "Leave:n1", "Enter:n2", "Leave:n2", "Enter:n3", "Leave:n3");
await tester.MoveAsync(false, "r3", "r2", "r1", null);
tester.CheckLog("Enter:r3", "Leave:r3", "Enter:r2", "Leave:r2", "Enter:r1", "Leave:r1");
}