public void RuleMLImplicationLabelTagParserSimpleLabel() { string simpleLabel = "Simple Label"; RuleML086NafDatalogAdapter.ImplicationProperties labelInfo = new RuleML086NafDatalogAdapter.ImplicationProperties(simpleLabel); Assert.AreEqual(simpleLabel, labelInfo.label, "Label"); }
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"); }
public void RuleMLImplicationLabelTagParserSimpleLabel() { string simpleLabel = "Simple Label"; RuleML086NafDatalogAdapter.ImplicationProperties labelInfo = new RuleML086NafDatalogAdapter.ImplicationProperties(simpleLabel); Assert.AreEqual(simpleLabel, labelInfo.label, "Label"); }
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"); }