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