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");
}
