IfThenElse.java

Vá para a documentação deste arquivo.

package plp.functional1.expression;

import plp.expressions1.util.Tipo;
import plp.expressions2.expression.Expressao;
import plp.expressions2.expression.Valor;
import plp.expressions2.expression.ValorBooleano;
import plp.expressions2.memory.AmbienteCompilacao;
import plp.expressions2.memory.AmbienteExecucao;
import plp.expressions2.memory.VariavelJaDeclaradaException;
import plp.expressions2.memory.VariavelNaoDeclaradaException;

public class IfThenElse implements Expressao {

        private Expressao condicao;
        private Expressao then;
        private Expressao elseExpressao;

        public IfThenElse(Expressao teste, Expressao thenExpressao,
                        Expressao elseExpressao) {
                this.condicao = teste;
                this.then = thenExpressao;
                this.elseExpressao = elseExpressao;
        }

        public Expressao getCondicao() {
                return condicao;
        }

        public Expressao getThen() {
                return then;
        }

        public Expressao getElseExpressao() {
                return elseExpressao;
        }

        public Valor avaliar(AmbienteExecucao ambiente)
                        throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException {
                if (((ValorBooleano) condicao.avaliar(ambiente)).valor())
                        return then.avaliar(ambiente);
                else
                        return elseExpressao.avaliar(ambiente);
        }

        public boolean checaTipo(AmbienteCompilacao amb)
                        throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException {
                boolean ret = condicao.checaTipo(amb);
                ret &= then.checaTipo(amb);
                ret &= elseExpressao.checaTipo(amb);

                Tipo condicaoTipo = condicao.getTipo(amb);
                Tipo thenTipo = then.getTipo(amb);
                Tipo elseTipo = elseExpressao.getTipo(amb);

                return ret && condicaoTipo.eBooleano() && thenTipo.eIgual(elseTipo);
        }

        public Tipo getTipo(AmbienteCompilacao amb)
                        throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException {
                return then.getTipo(amb).intersecao(elseExpressao.getTipo(amb));
        }

        @Override
        public String toString() {
                return String.format("if (%s) then (%s) else (%s)", condicao, then,
                                elseExpressao);
        }

}

---