public void TestEndP()
{
Assert.IsTrue(CommonLisp.EndP(null));
Assert.IsFalse(CommonLisp.EndP(new Cons(2, 3)));
Assert.ThrowsException <ArgumentException> (() => CommonLisp.EndP("not a list"));
Assert.IsTrue(AdtLisp.TheEmptyList.EndP);
Assert.IsFalse(AdtLisp.TheEmptyList.Cons(1).EndP);
}
public void TestConsP()
{
Assert.IsTrue(CommonLisp.ConsP(new Cons(2, 3)));
Assert.IsFalse(CommonLisp.ConsP("foobar"));
Assert.IsFalse(CommonLisp.ConsP(null));
// The empty list is not null.
Assert.IsNotNull(List.Empty);
// Lists are not cons cells.
Assert.IsFalse(CommonLisp.ConsP(List.Empty.Cons("a list")));
}
public void TestListP()
{
Assert.IsTrue(CommonLisp.ListP(new Cons("a list", null)));
Assert.IsTrue(CommonLisp.ListP(null));
Assert.IsTrue(CommonLisp.ListP(new Cons("a dotted list", 3)));
// The following block of assertions are trivially correct, so the compiler
// issues warnings. We just muffle them here.
#pragma warning disable CS0183, CS0184
// Null is not an empty list.
Assert.IsFalse(null is List);
// Nor are arbitrary Cons cells, even if they cons on to null.
Assert.IsFalse(new Cons("not a list", null) is List);
// There is one distinguished empty list. All lists end with it.
Assert.IsTrue(List.Empty is List);
// One way to make a new list is by Consing an element to an existing list.
// But Cons only works on existing lists and cannot create dotted lists.
Assert.IsTrue(List.Empty.Cons("a list") is List);
// Must use "object-oriented" syntax.
Assert.IsFalse(new Cons("not a list", List.Empty) is List);
#pragma warning restore
}
public void TestCdr()
{
Assert.IsNull(CommonLisp.Cdr(null));
Assert.AreEqual(3, CommonLisp.Cdr(new Cons(2, 3)));
Assert.ThrowsException <ArgumentException> (() => CommonLisp.Cdr("not a list"));
}
