public override WExpr InterpretModel(Context context, Model model, ProgramBuilder builder)
{
WEVar lhsConc = (WEVar)lhs.InterpretModel(context, model, builder);
WEOperand assignConc = (WEOperand)assign.InterpretModel(context, model, builder);
WExpr rv = new WEArith(lhsConc, assignConc, WEArith.ArithOp.plus, 0);
builder.CheckExpr(rv);
return(rv);
}
public override WExpr InterpretModel(Context context, Model model, ProgramBuilder builder)
{
WEVar arg1Conc = (WEVar)arg1.InterpretModel(context, model, builder);
WCComparison.CompareType comp = (WCComparison.CompareType) this.GetConcChoice(context, model);
WEOperand arg2Conc = (WEOperand)arg2.InterpretModel(context, model, builder);
WExpr rv = new WCComparison(arg1Conc, comp, arg2Conc);
builder.CheckExpr(rv);
return(rv);
}
public override WExpr InterpretModel(Context context, Model model, ProgramBuilder builder)
{
WEVar lhsConc = (WEVar)lhs.InterpretModel(context, model, builder);
WEArith.ArithOp op = (WEArith.ArithOp)(GetConcChoice(context, model) + 2);
WEOperand arg1Conc = (WEOperand)arg1.InterpretModel(context, model, builder);
WEOperand arg2Conc = (WEOperand)arg2.InterpretModel(context, model, builder);
WExpr rv = new WEArith(lhsConc, arg1Conc, op, arg2Conc);
builder.CheckExpr(rv);
return(rv);
}
public WExpr parseWExprFromXML(XElement xml)
{
//WEVars of program must be well-formed: If a program uses n distinct WEVars, they must have the ids 0...n-1.
string type = xml.Name.ToString();
if (type == "var")
{
int id = int.Parse(xml.Value);
return(x[id]);
}
if (type == "const")
{
int value = int.Parse(xml.Value);
return(new WEConst(value));
}
if (type == "concat")
{
XElement[] children = xml.Elements().ToArray();
WExpr expr1 = parseWExprFromXML(children[0]);
WExpr expr2 = parseWExprFromXML(children[1]);
return(new WEConcat(expr1, expr2));
}
if (type == "while")
{
XElement[] children = xml.Elements().ToArray();
WCond cond = (WCond)parseWExprFromXML(children[0]);
WExpr body = parseWExprFromXML(children[1]);
return(new WEWhile(cond, body));
}
if (type == "if")
{
XElement[] children = xml.Elements().ToArray();
WCond cond = (WCond)parseWExprFromXML(children[0]);
WExpr thenBody = parseWExprFromXML(children[1]);
if (children.Count() >= 3)
{
WExpr elseBody = parseWExprFromXML(children[2]);
return(new WEIf(cond, thenBody, elseBody));
}
else
{
return(new WEIf(cond, thenBody));
}
}
if (type == "arith")
{
WEArith.ArithOp op;
if (Enum.TryParse(xml.Attribute("op").Value, out op))
{
XElement[] children = xml.Elements().ToArray();
WEVar lhs = (WEVar)parseWExprFromXML(children[0]);
WEOperand arg1 = (WEOperand)parseWExprFromXML(children[1]);
WEOperand arg2 = (WEOperand)parseWExprFromXML(children[2]);
return(new WEArith(lhs, arg1, op, arg2));
}
else
{
//TODO: exception
return(null);
}
}
if (type == "not")
{
WCond cond = (WCond)parseWExprFromXML((XElement)xml.FirstNode);
return(new WCNot(cond));
}
if (type == "compare")
{
WCComparison.CompareType op;
if (Enum.TryParse(xml.Attribute("op").Value, out op))
{
XElement[] children = xml.Elements().ToArray();
WEVar arg1 = (WEVar)parseWExprFromXML(children[0]);
WEOperand arg2 = (WEOperand)parseWExprFromXML(children[1]);
return(new WCComparison(arg1, op, arg2));
}
else
{
//TODO: exception
return(null);
}
}
if (type == "compound")
{
WCCompound.Logic op;
if (Enum.TryParse(xml.Attribute("op").Value, out op))
{
XElement[] children = xml.Elements().ToArray();
WCond cond1 = (WCond)parseWExprFromXML(children[0]);
WCond cond2 = (WCond)parseWExprFromXML(children[1]);
return(new WCCompound(cond1, op, cond2));
}
else
{
//TODO: exception
return(null);
}
}
//TODO: exception
return(null);
}
