public override ProgState execute(ProgState prg)
{
IStmt iss = new IfStmt(exp, thenStmt, new SkipStmt());
prg.GetExe.Push(iss);
return(null);
}
public ProgState execute(ProgState prg)
{
IfStmt istmt = new IfStmt(new ArithExpr(var, "-", exp2), new IfStmt(new ArithExpr(var, "-", exp1), stm3, stm1), stm2);
prg.GetExe.Push(istmt);
return(null);
}