Пример #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!");
		}
Пример #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!");
        }