ExpCons.java

Vá para a documentação deste arquivo.

package plp.functional3.expression;

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

public class ExpCons extends ExpBinaria {

        public ExpCons(Expressao esq, Expressao dir) {
                super(esq, dir, "cons");
        }

        @Override
        protected boolean checaTipoElementoTerminal(AmbienteCompilacao amb)
                        throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException {
                boolean result = true;

                Tipo tipoDir = getDir().getTipo(amb);

                if (!tipoDir.eIgual(new TipoLista()))
                        return false;

                Tipo tipoEsq = this.getEsq().getTipo(amb);
                if (tipoDir instanceof TipoLista) {
                        TipoLista tipoListaDir = (TipoLista) tipoDir;
                        return tipoEsq.eIgual(tipoListaDir.getSubTipo());
                }

                return result;

        }

        public Valor avaliar(AmbienteExecucao amb)
                        throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException {
                ValorLista listResult = ((ValorLista) this.getDir().avaliar(amb))
                                .clone();
                listResult.cons(this.getEsq().avaliar(amb));

                return listResult;
        }

        public Tipo getTipo(AmbienteCompilacao amb)
                        throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException {

                return this.getDir().getTipo(amb);
        }

}

---