DecFuncao.java

Vá para a documentação deste arquivo.

package plp.functional1.declaration;

import static plp.expressions1.util.ToStringProvider.listToString;

import java.util.ArrayList;
import java.util.List;

import plp.expressions1.util.Tipo;
import plp.expressions2.expression.Expressao;
import plp.expressions2.expression.Id;
import plp.expressions2.memory.AmbienteCompilacao;
import plp.expressions2.memory.VariavelJaDeclaradaException;
import plp.expressions2.memory.VariavelNaoDeclaradaException;
import plp.functional1.util.DefFuncao;
import plp.functional1.util.TipoFuncao;
import plp.functional1.util.TipoPolimorfico;

public class DecFuncao implements DeclaracaoFuncional {

        private Id id;

        private DefFuncao funcao;

        public DecFuncao(Id idFun, List<Id> argsId, Expressao exp) {
                this.id = idFun;
                this.funcao = new DefFuncao(argsId, exp);
        }

        public Id getId() {
                return id;
        }

        public List<Id> getListaId() {
                return funcao.getListaId();
        }

        public Expressao getExpressao() {
                return funcao.getExp();
        }

        public int getAridade() {
                return funcao.getAridade();
        }

        public DefFuncao getFuncao() {
                return funcao;
        }

        @Override
        public String toString() {
                return String.format("fun %s (%s) = %s", id, listToString(funcao
                                .getListaId(), ","), funcao.getExp());
        }

        public boolean checaTipo(AmbienteCompilacao ambiente)
                        throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException {
                ambiente.incrementa();

                List<Tipo> params = new ArrayList<Tipo>(getAridade());
                for (int i = 0; i < getAridade(); i++) {
                        params.add(new TipoPolimorfico());
                }
                Tipo tipo = new TipoFuncao(params, new TipoPolimorfico());
                // Mapeia a própria função no ambiente para permitir recursão.
                ambiente.map(id, tipo);

                boolean result = funcao.checaTipo(ambiente);
                ambiente.restaura();
                return result;
        }

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

                List<Tipo> params = new ArrayList<Tipo>(getAridade());
                for (int i = 0; i < getAridade(); i++) {
                        params.add(new TipoPolimorfico());
                }
                Tipo tipo = new TipoFuncao(params, new TipoPolimorfico());
                amb.map(id, tipo);

                Tipo result = funcao.getTipo(amb);
                amb.restaura();
                return result;
        }

}

---