Esempio n. 1
0
        public void RuleMLImplicationLabelTagParserSimpleLabel()
        {
            string simpleLabel = "Simple Label";

            RuleML086NafDatalogAdapter.ImplicationProperties labelInfo = new RuleML086NafDatalogAdapter.ImplicationProperties(simpleLabel);
            Assert.AreEqual(simpleLabel, labelInfo.label, "Label");
        }
Esempio n. 2
0
        public void RuleMLImplicationLabelTagParserComplexLabel()
        {
            string complexLabel = "label:Mutex C;priority:75;mutex:Mutex A;precondition:Precond A";

            RuleML086NafDatalogAdapter.ImplicationProperties labelInfo = new RuleML086NafDatalogAdapter.ImplicationProperties(complexLabel);
            Assert.AreEqual("Mutex C", labelInfo.label, "Label");
            Assert.AreEqual(75, labelInfo.priority, "Prority");
            Assert.AreEqual("Mutex A", labelInfo.mutex, "Mutex");
            Assert.AreEqual("Precond A", labelInfo.precondition, "Precondition");
        }