package Model.Statements;

import Model.Expressions.Exp;
import Model.Expressions.NotExp;
import Model.PrgState;
import MyExceptions.MyControllerException;

public class RepeatStmt implements IStmt {
    private IStmt stmt;
    private Exp exp;

    public RepeatStmt(IStmt stmt, Exp exp)
    {
        this.stmt = stmt;
        this.exp = exp;
    }

    @Override
    public PrgState execute(PrgState state) throws MyControllerException {
        IStmt act = new CompStmt(stmt, new WhileStmt(new NotExp(this.exp), stmt));
        state.getStk().push(act);

        return null;
    }

    @Override
    public String toString() {
        return "repeat(" + stmt.toString() + ") until" + exp.toString();
    }
}