Example #1
0
        public void DoPersistenceOfNonConvertibleTypedFacts(IRuleBaseAdapter adapter)
        {
            string outFile = Parameter.GetString("unittest.outputfolder") + "/outfacts.ruleml";
            ie.LoadRuleBase(adapter);

            TestBinder.Character theDuke = new TestBinder.Character("The Duke", "hello world");
            Assert.IsTrue(ie.Assert(new Fact("Character Name",
                                             new Individual(theDuke),
                                             new Individual(theDuke.Name))), "Asserted Typed Fact");

            ie.SaveFacts(new RuleML086NafDatalogAdapter(outFile, FileAccess.Write, true));
            Assert.Fail("Should never reach me!");
        }
Example #2
0
        public void DoPersistenceOfNonConvertibleTypedFacts(IRuleBaseAdapter adapter)
        {
            string outFile = Parameter.GetString("unittest.outputfolder") + "/outfacts.ruleml";

            ie.LoadRuleBase(adapter);

            TestBinder.Character theDuke = new TestBinder.Character("The Duke", "hello world");
            Assert.IsTrue(ie.Assert(new Fact("Character Name",
                                             new Individual(theDuke),
                                             new Individual(theDuke.Name))), "Asserted Typed Fact");

            ie.SaveFacts(new RuleML086NafDatalogAdapter(outFile, FileAccess.Write, true));
            Assert.Fail("Should never reach me!");
        }