public void AllKnownPeople2()
{
Facts.Clear();
Tset result = Facts.AllKnownPeople();
Assert.AreEqual("", result.Out);
}
public void AllKnownPeople4()
{
Facts.Clear();
Thing P1 = new Thing("P1");
Facts.Assert(P1, "Gender", "Male");
Tset result = Facts.AllKnownPeople();
Assert.AreEqual("P1", result.Out);
}
public void AllKnownPeople1()
{
Facts.Clear();
Thing P1 = new Thing("P1");
Thing P3 = new Thing("P3");
Thing P4 = new Thing("P4");
Facts.Assert(P1, "IsParentOf", P3, new Tbool(true));
Facts.Assert(P1, "IsParentOf", P4, new Tbool(true));
Assert.AreEqual("P1, P3, P4", Facts.AllKnownPeople().Out);
}
public void AllKnownPeople3()
{
Facts.Clear();
Thing P1 = new Thing("P1");
Thing P2 = new Thing("P2");
Thing P3 = new Thing("P3");
Facts.Assert(P1, "IsMarriedTo", P2, true);
Facts.Assert(P3, "IsPermanentlyAndTotallyDisabled", new Tbool(false));
Tset result = Facts.AllKnownPeople();
Assert.AreEqual("P1, P2, P3", result.Out);
}