private static void IndividualFactTest()
{
DateTime end;
DateTime start;
TimeSpan diff;
Xml x;
int total;
ROM rom = new ROM();
//set up out facts
Fact F1 = new Fact("F1", 1, new Naked("1", typeof(double)), typeof(double));
Fact F2 = new Fact("F2", 1, new Naked("1", typeof(double)), typeof(double));
Fact F3 = new Fact("F3", 1, new Naked(null, typeof(double)), typeof(double));
rom.AddEvidence(F1);
rom.AddEvidence(F2);
rom.AddEvidence(F3);
//set up our assignments
ActionExpression A1 = new ActionExpression("1", "F1", "2", 2);
ActionExpression A2 = new ActionExpression("2", "F2", "2", 2);
rom.AddEvidence(A1);
rom.AddEvidence(A2);
List<EvidenceSpecifier> list = new List<EvidenceSpecifier>();
list.Add(new EvidenceSpecifier(true, "1"));
list.Add(new EvidenceSpecifier(true, "2"));
//create a rule
Rule R1 = new Rule("R1", "1==1", list, 500, true);
rom.AddEvidence(R1);
rom.Evaluate();
Console.WriteLine("Starting Test:" + DateTime.Now);
total = 1000;
start = DateTime.Now;
for (int counter = 0; counter < total; counter++)
{
//cause rules to evaluate
rom.Evaluate();
}
end = DateTime.Now;
diff = end - start;
Console.WriteLine("Total ms: " + diff.TotalMilliseconds);
Console.WriteLine("milliseconds per rule: " + (diff.TotalMilliseconds / (total * 8d))); //eight rules per run
}
public void TestCloneFunctionality()
{
RuleEngine.ROM rom = new RuleEngine.ROM();
//facts and rules available to these text cases
RuleEngine.Evidence.Fact f1 = new RuleEngine.Evidence.Fact("f1", 1, 2d, typeof(double));
RuleEngine.Evidence.Fact f2 = new RuleEngine.Evidence.Fact("f2", 1, 4d, typeof(double));
RuleEngine.Evidence.Actions.ActionExpression a1 = new RuleEngine.Evidence.Actions.ActionExpression("a1", "f1", "3", 1);
RuleEngine.Evidence.Actions.ActionExpression a2 = new RuleEngine.Evidence.Actions.ActionExpression("a2", "f2", "3", 1);
RuleEngine.Evidence.Actions.ActionExecute a3 = new RuleEngine.Evidence.Actions.ActionExecute("a3", "R2", 1);
System.Collections.Generic.List <RuleEngine.Evidence.EvidenceSpecifier> actionList = new System.Collections.Generic.List <RuleEngine.Evidence.EvidenceSpecifier>();
actionList.Add(new RuleEngine.Evidence.EvidenceSpecifier(true, "a1"));
actionList.Add(new RuleEngine.Evidence.EvidenceSpecifier(true, "a2"));
actionList.Add(new RuleEngine.Evidence.EvidenceSpecifier(true, "a3"));
RuleEngine.Evidence.Rule r2 = new RuleEngine.Evidence.Rule("R2", "f1!=f2", actionList, 1, false);
rom.AddEvidence(f1);
rom.AddEvidence(f2);
rom.AddEvidence(a1);
rom.AddEvidence(a2);
rom.AddEvidence(a3);
rom.AddEvidence(r2);
rom.AddDependentFact("f1", "R2");
rom.AddDependentFact("f2", "R2");
f1.IsEvaluatable = true;
f2.IsEvaluatable = true;
a1.IsEvaluatable = true;
a2.IsEvaluatable = true;
a3.IsEvaluatable = true;
r2.IsEvaluatable = true;
RuleEngine.ROM rom2 = (RuleEngine.ROM)rom.Clone();
rom2.Evaluate();
Assert.AreEqual("3", rom2["f1"].Value.ToString());
Assert.AreEqual("3", rom2["f2"].Value.ToString());
Assert.AreNotEqual(rom["f1"].Value.ToString(), rom2["f1"].Value.ToString());
}
private static void FactRelationship(ROM rom, XmlDocument doc)
{
//go though each chainable rule and determine who they are dependent on
foreach(IEvidence evidence in rom.Evidence.Values)
{
if (!(evidence is IRule))
continue;
IRule rule = (IRule)evidence;
if (!rule.isChainable)
continue;
foreach (string depFacts in rule.DependentEvidence)
{
rom.AddDependentFact(depFacts, rule.ID);
}
}
}
private static void LoadFacts(ROM rom, XmlDocument document)
{
XmlNodeList facts = document.SelectNodes("RuleEngine/Facts//Fact");
foreach (XmlNode factNode in facts)
{
string id = factNode.Attributes["id"].Value;
string type = factNode.Attributes["type"].Value;
string desc = factNode.Attributes["desc"].Value;
string modelId = factNode.Attributes["modelId"].Value;
Type valueType = null;
//ensure same rule wont be entered twice
if (rom[id]!=null)
throw new Exception("Fact has already been loaded: " + id);
//determine priority
int priority = 500;
if (factNode.Attributes["priority"]!=null)
priority = Int32.Parse(factNode.Attributes["priority"].Value);
IFact fact = null;
if (factNode["xpath"].InnerText != String.Empty)
{
//determine xpath
string xpath = factNode["xpath"].InnerText;
//determine value type
switch (type) //deterrmine the type of value returned by xpath
{
case "double":
valueType = typeof(double);
break;
case "boolean":
valueType = typeof(bool);
break;
case "string":
valueType = typeof(string);
break;
default:
throw new Exception("Invalid type: " + id + " " + type);
}
//determine value
Xml x = new Xml(xpath, valueType, modelId);
//create fact and add it to the rom
fact = new Fact(id, priority, xpath, valueType, modelId);
}
else
{
/*
//determine value type
switch (type) //deterrmine the type of value returned by xpath
{
case "double":
valueType = typeof(double);
break;
case "boolean":
valueType = typeof(bool);
break;
case "string":
valueType = typeof(string);
break;
default:
throw new Exception("Invalid type: " + id + " " + type);
}
//determine value
Naked x = new Naked(value, valueType);
//create fact and add it to the rom
fact = new Fact(id, priority, valueType,);
*/
}
rom.AddEvidence(fact);
}
}
private static void LoadActions(ROM rom, XmlDocument document)
{
}
private static ROM CreateRom()
{
ROM rom = new ROM();
return rom;
}
private static void LoadRules(ROM rom, XmlDocument document)
{
XmlNodeList rules = document.SelectNodes("RuleEngine/Rules//Rule");
foreach (XmlNode ruleNode in rules)
{
string id = ruleNode.Attributes["id"].Value;
bool inference = false;
if (ruleNode.Attributes["chainable"] != null)
inference = Boolean.Parse(ruleNode.Attributes["chainable"].Value);
int priority = 500;
if (ruleNode.Attributes["priority"] != null)
priority = Int32.Parse(ruleNode.Attributes["priority"].Value);
//ensure this has not already been entered
if (rom[id] != null)
throw new Exception("Rule Id's must be unique: " + id);
//expression
string condition = ruleNode["Condition"].InnerText;
//actions
int actionCounter = 0;
List<EvidenceSpecifier> actions = new List<EvidenceSpecifier>();
XmlNodeList actionList;
#region Evaluate
actionList = ruleNode.SelectNodes("Actions//Evaluate");
foreach (XmlNode a in actionList)
{
try
{
string actionOperatingName = a.Attributes["factId"].Value;
string aValue = a.InnerText;
bool result = true;
int actionPriority = 500;
if (a.Attributes["priority"] != null)
actionPriority = Int32.Parse(a.Attributes["priority"].Value);
if (a.Attributes["result"] != null)
result = Boolean.Parse(a.Attributes["result"].Value);
string actionId = id + "-" + actionOperatingName + "-" + actionCounter++;
rom.AddEvidence(new ActionExpression(actionId, actionOperatingName, aValue, actionPriority));
actions.Add(new EvidenceSpecifier(result, actionId));
}
catch (Exception e)
{
throw new Exception("Invalid action: " + a.OuterXml, e);
}
}
#endregion
#region Execute
actionList = ruleNode.SelectNodes("Actions//Execute");
foreach (XmlNode a in actionList)
{
try
{
string actionOperatingName = a.Attributes["factId"].Value;
bool result = true;
int actionPriority = 500;
if (a.Attributes["priority"] != null)
actionPriority = Int32.Parse(a.Attributes["priority"].Value);
if (a.Attributes["result"] != null)
result = Boolean.Parse(a.Attributes["result"].Value);
string actionId = id + "-" + actionOperatingName + "-" + actionCounter++;
rom.AddEvidence(new ActionExecute(actionId, actionOperatingName, actionPriority));
actions.Add(new EvidenceSpecifier(result, actionId));
}
catch (Exception e)
{
throw new Exception("Invalid action: " + a.OuterXml, e);
}
}
#endregion
//now create the rule
IRule r = new Rule(id, condition, actions, priority, inference);
rom.AddEvidence(r);
}
}
public void TestHarness()
{
//get a datareader stream from the xml file
XmlReaderSettings xrs = new XmlReaderSettings();
xrs.ConformanceLevel = ConformanceLevel.Document;
xrs.IgnoreComments = true;
xrs.IgnoreProcessingInstructions = true;
xrs.IgnoreWhitespace = true;
Stream s = new StreamReader(AppDomain.CurrentDomain.BaseDirectory + @"\..\..\Compiler\Compiler.xml").BaseStream;
XmlReader reader = XmlReader.Create(s, xrs);
string comment;
string ruleset;
ArrayList model = null;
RuleEngine.ROM rom = null;
bool inTest = false;
while (!reader.EOF)
{
if (reader.IsStartElement("test"))
{
Debug.WriteLine("START TEST");
inTest = true;
model = new ArrayList();
reader.Read();
}
else if (inTest && reader.Name == "comment")
{
comment = reader.ReadElementContentAsString();
Debug.WriteLine(comment);
}
else if (inTest && reader.Name == "ruleset")
{
ruleset = reader.ReadElementContentAsString();
Debug.WriteLine(ruleset);
XmlDocument doc = new XmlDocument();
doc.Load(ruleset);
rom = RuleEngine.Compiler.Compiler.Compile(doc);
}
else if (inTest && reader.Name == "model")
{
string mid = reader.GetAttribute("modelId");
string m = reader.ReadElementContentAsString();
XmlDocument mod = new XmlDocument();
mod.Load(m);
model.Add(mod);
rom.AddModel(mid, mod);
}
else if (inTest && reader.Name == "evaluate")
{
//evaluate
Debug.WriteLine("Evaluate");
rom.Evaluate();
reader.Read();
}
else if (inTest && reader.Name == "assign")
{
Debug.WriteLine("Assign");
string mid = reader.GetAttribute("factId");
string m = reader.ReadElementContentAsString();
object value;
//determine value type
switch (rom[mid].ValueType.ToString()) //deterrmine the type of value returned by xpath
{
case "System.Double":
value = Double.Parse(m);
break;
case "System.Boolean":
value = Boolean.Parse(m);
break;
case "System.String":
value = m;
break;
default:
throw new Exception("Invalid type: " + m);
}
rom[mid].Value = value;
}
else if (inTest && reader.Name == "result")
{
Debug.WriteLine("Assert");
string mid = reader.GetAttribute("factId");
string m = reader.ReadElementContentAsString();
Assert.Equal(m, rom[mid].Value.ToString());
}
else if (inTest && reader.Name == "test")
{
rom = null;
model = null;
comment = null;
ruleset = null;
inTest = false;
reader.Read();
Debug.WriteLine("END TEST");
}
else
{
reader.Read();
}
}
}
/// <summary>
///
/// </summary>
/// <returns></returns>
public object Clone()
{
ROM rom = new ROM();
rom.callback = new Dictionary<string, Delegate>(this.callback);
rom.dependentEvidence = new Dictionary<string, List<string>>();
foreach (string key in this.dependentEvidence.Keys)
{
rom.dependentEvidence.Add(key, new List<string>(this.dependentEvidence[key]));
}
rom.evidenceCollection = new Dictionary<string, IEvidence>();
foreach (string key in this.evidenceCollection.Keys)
{
IEvidence evidence = (IEvidence)this.evidenceCollection[key].Clone();
rom.evidenceCollection.Add(key, evidence);
}
rom.models = new Dictionary<string, XmlDocument>(this.models);
return rom;
}
