// tests building and pretty-printing
static void test1()
{
Template t = new Template();
t.Add("a", ClassType.mark.PLUS);
t.Add("b", ClassType.mark.MINUS);
t.Add("c", ClassType.mark.HASH);
Template t2 = new Template();
t2.Add("a", ClassType.mark.PLUS);
t2.Add("b", ClassType.mark.MINUS);
t2.Add("c", ClassType.mark.MINUS);
Scheme s = new Scheme();
s.Add(t);
s.Add(t2);
Scheme s2 = new Scheme();
Offering o = new Offering(1, 1);
o.addInputScheme(1, s);
o.addOutputScheme(1, s2);
o.addFeedbackInputScheme(1, Scheme.SchemeAsAny());
o.addFeedbackOutputScheme(1, Scheme.SchemeAsAny());
Operator op = new Operator("SELECT", 1, 1);
op.AddOffering(o);
op.AddOffering(o);
Console.WriteLine(op.ToString());
Console.ReadLine();
}
/// <summary>
/// Matches, assuming this is the subsequent.
/// </summary>
/// <param name="antecedent"></param>
/// <returns></returns>
public Boolean match(Scheme antecedent)
{
if (antecedent.IsAny)
return true;
else
{
if (this.IsAny)
{
return false;
}
else
{
if (this.Templates.Count != antecedent.Templates.Count)
{
return false;
}
else
{
Boolean matches = true;
for (int i = 0; i < this.Templates.Count; i++)
{
matches = matches && this.Templates[i].Equals(antecedent.Templates[i]);
}
return matches;
}
}
}
}
public void addOutputScheme(int inputID, Scheme s)
{
if (inputID < 0 || inputID > _inputArity) { throw new Exception("Wrong arity adding scheme. Minimum arity is 1."); }
_output[inputID - 1] = s;
}
public static Scheme SchemeAsAny()
{
Scheme s = new Scheme();
s._isAny = true;
return s;
}
public static Plan ParseXML(String pathToFile)
{
XElement xDoc = XElement.Load(pathToFile);
int opCount = xDoc.Elements("operator").Count();
Plan plan = new Plan();
#region Operator parsing
foreach (XElement op in xDoc.Elements("operator"))
{
string name = op.Attribute("id").Value;
int inputArity = Int32.Parse(op.Attribute("inputArity").Value);
int outputArity = Int32.Parse(op.Attribute("outputArity").Value);
Operator opObj = new Operator(name, inputArity, outputArity);
#region Contract offering parsing
foreach (XElement contract in op.Elements("contract"))
{
Offering offering = new Offering(inputArity, outputArity);
// input
foreach (XElement input in contract.Elements("input"))
{
Scheme si = new Scheme();
foreach (XElement scheme in input.Elements("scheme"))
{
Template t = new Template();
foreach (XElement attribute in scheme.Elements("attribute"))
{
t.Add(attribute.Attribute("name").Value, ClassType.ToMark(attribute.Attribute("mark").Value));
}
si.Add(t);
}
offering.addInputScheme(Int32.Parse(input.Attribute("id").Value), si);
}
// output
foreach (XElement output in contract.Elements("output"))
{
Scheme so = new Scheme();
foreach (XElement scheme in output.Elements("scheme"))
{
Template t = new Template();
foreach (XElement attribute in scheme.Elements("attribute"))
{
t.Add(attribute.Attribute("name").Value, ClassType.ToMark(attribute.Attribute("mark").Value));
}
so.Add(t);
}
offering.addOutputScheme(Int32.Parse(output.Attribute("id").Value), so);
}
// feedback.input
foreach (XElement feedbackInput in contract.Elements("feedback.input"))
{
Scheme sfi = new Scheme();
foreach (XElement scheme in feedbackInput.Elements("scheme"))
{
if (scheme.Elements("any").Count() == 1)
{
offering.addFeedbackInputScheme(Int32.Parse(feedbackInput.Attribute("id").Value), Scheme.SchemeAsAny());
goto FI;
}
else if (scheme.IsEmpty)
{
offering.addFeedbackInputScheme(Int32.Parse(feedbackInput.Attribute("id").Value), sfi);
goto FI;
}
else
{
Template t = new Template();
foreach (XElement attribute in scheme.Elements("attribute"))
{
t.Add(attribute.Attribute("name").Value, ClassType.ToMark(attribute.Attribute("mark").Value));
}
sfi.Add(t);
}
offering.addFeedbackInputScheme(Int32.Parse(feedbackInput.Attribute("id").Value), sfi);
}
FI:
continue;
}
// feedback output
foreach (XElement feedbackOutput in contract.Elements("feedback.output"))
{
Scheme sfo = new Scheme();
foreach (XElement scheme in feedbackOutput.Elements("scheme"))
{
if (scheme.Elements("any").Count() == 1)
{
offering.addFeedbackOutputScheme(Int32.Parse(feedbackOutput.Attribute("id").Value), Scheme.SchemeAsAny());
goto FO;
}
else if (scheme.IsEmpty)
{
offering.addFeedbackOutputScheme(Int32.Parse(feedbackOutput.Attribute("id").Value), sfo);
goto FO;
}
else
{
Template t = new Template();
foreach (XElement attribute in scheme.Elements("attribute"))
{
t.Add(attribute.Attribute("name").Value, ClassType.ToMark(attribute.Attribute("mark").Value));
}
sfo.Add(t);
}
offering.addFeedbackOutputScheme(Int32.Parse(feedbackOutput.Attribute("id").Value), sfo);
}
FO:
continue;
}
opObj.AddOffering(offering);
}
#endregion
plan.AddOperator(opObj);
}
#endregion
#region DAG - add edges
foreach (XElement op in xDoc.Elements("operator"))
{
string name = op.Attribute("id").Value;
foreach (XElement attribute in op.Elements("input"))
{
int inputId = Int32.Parse(attribute.Attribute("id").Value);
string inputName = attribute.Attribute("source").Value;
if (inputName != "")
{
var sourceNode = plan.Operators.Find(e => e.Name.Equals(inputName));
var destinationNode = plan.Operators.Find(e => e.Name.Equals(name));
destinationNode.AddAntecedent(sourceNode, inputId-1);
}
}
}
#endregion
return plan;
}