ExpHead.java

Vá para a documentação deste arquivo.

package plp.functional3.expression;

import plp.expressions1.util.Tipo;
import plp.expressions2.expression.ExpUnaria;
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.functional1.util.TipoPolimorfico;
import plp.functional3.util.ListaVaziaException;
import plp.functional3.util.TipoLista;

public class ExpHead extends ExpUnaria {

        public ExpHead(Expressao exp) {
                super(exp, "head");
        }

        @Override
        protected boolean checaTipoElementoTerminal(AmbienteCompilacao amb)
                        throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException {
                Tipo tipoExp = getExp().getTipo(amb);
                return tipoExp.eIgual(new TipoLista());
        }

        public Valor avaliar(AmbienteExecucao amb)
                        throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException {

                ValorLista lista = (ValorLista) this.getExp().avaliar(amb);
                if (lista.isEmpty())
                        throw new ListaVaziaException();

                return (Valor) lista.getHead();
        }

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

                Tipo tipoExp = this.getExp().getTipo(amb);
                if (tipoExp instanceof TipoPolimorfico)
                        tipoExp = ((TipoPolimorfico) tipoExp).getTipoInstanciado();

                if (tipoExp instanceof TipoLista)
                        return ((TipoLista) tipoExp).getSubTipo();

                return tipoExp;
        }

}

---