IfThenElse.java

Go to the documentation of this file.

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 {
        Expressao condicao;
        Expressao then;
        Expressao elseExpressao;

        public IfThenElse(
                Expressao teste,
                Expressao thenExpressao,
                Expressao elseExpressao) {
                this.condicao = teste;
                this.then = thenExpressao;
                this.elseExpressao = 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 String toString() {
                StringBuffer sb = new StringBuffer();
                sb.append("if (");
                sb.append(condicao.toString());
                sb.append(") then (");
                sb.append(then.toString());
                sb.append(") else (");
                sb.append(elseExpressao.toString());
                sb.append(")");
                return sb.toString();
        }

        public boolean checaTipo(AmbienteCompilacao amb)
                throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException {
                boolean result = true;
                if (!condicao.getTipo(amb).eBooleano()) {
                        result = false;
                } else if (
                        then.getTipo(amb).intersecao(elseExpressao.getTipo(amb)).eVoid()) {
                        result = false;
                }
                return result;
        }

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

        public Expressao getCondicao() {
                return condicao;
        }

        public Expressao getThen() {
                return then;
        }

        public Expressao getElseExpressao() {
                return elseExpressao;
        }

}

---