DecFuncao.java

Vá para a documentação deste arquivo.

package plp.functional2.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.declaration.DeclaracaoFuncional;
import plp.functional1.util.TipoFuncao;
import plp.functional1.util.TipoPolimorfico;
import plp.functional2.expression.ValorFuncao;

public class DecFuncao implements DeclaracaoFuncional {
        private Id id;
        private ValorFuncao valorFuncao;

        public DecFuncao(Id idFun, ValorFuncao valorFuncao) {
                this.id = idFun;
                this.valorFuncao = valorFuncao;
        }

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

        public Id getId() {
                return id;
        }

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

        public ValorFuncao getFuncao() {
                return valorFuncao;
        }

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

        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 = valorFuncao.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 = valorFuncao.getTipo(amb);
                amb.restaura();
                return result;
        }

}

---