DefFuncao.java

Vá para a documentação deste arquivo.

package plp.functional1.util;

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.functional3.expression.VarargsId;

public class DefFuncao {

        private List<Id> argsId;

        private Expressao exp;

        public DefFuncao(List<Id> argsId, Expressao exp) {
                this.argsId = argsId;
                this.exp = exp;
        }

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

        public Expressao getExp() {
                return exp;
        }

        public int getAridade() {
                return argsId.size();
        }

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

                // Usa uma instância de TipoQualquer para cada parâmetro formal.
                // Essa instância será inferida durante o getTipo de exp.
                for (Id id : argsId) {
                        ambiente.map(id, new TipoPolimorfico());
                }

                // Chama o checa tipo da expressão para veririficar se o corpo da
                // função está correto. Isto irá inferir o tipo dos parâmetros.
                boolean result = exp.checaTipo(ambiente);

                ambiente.restaura();

                return result;
        }

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

                for (Id id : argsId) {
                        ambiente.map(id, new TipoPolimorfico());
                }

                // Usa o checaTipo apenas para inferir o tipo dos parâmetros.
                // Pois o getTipo da expressão pode simplismente retornar o
                // tipo, por exemplo, no caso de uma expressão binária ou unária
                // os tipos sempre são bem definidos (Booleano, Inteiro ou String).
                exp.checaTipo(ambiente);

                // Compõe o tipo desta função do resultado para o primeiro parâmetro.
                Tipo result = exp.getTipo(ambiente);

                // Obtêm o tipo inferido de cada parâmetro.
                List<Tipo> params = new ArrayList<Tipo>(getAridade());
                Tipo argTipo;
                for (int i = 0; i < getAridade(); i++) {
                        argTipo = ((TipoPolimorfico) ambiente.get(argsId.get(i))).inferir();
                        params.add(argTipo);
                }
                result = new TipoFuncao(params, result);

                ambiente.restaura();

                return result;
        }
}

---