ValorFuncao.java

Go to the documentation of this file.

package plp.functional1.util;

import java.util.HashMap;
import java.util.List;
import java.util.Map;

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;

public class ValorFuncao {

        private List<Id> argsId;

        private Expressao exp;

        public ValorFuncao(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();
                Tipo t = getTipo(ambiente);
                for (Id id : argsId) {
                        ambiente.map(id, new Tipo(t.get()));
                        t = t.getProx();
                }

                ambiente.restaura();
                return true;
        }

        public Tipo getTipo(AmbienteCompilacao ambiente)
                throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException {
                Map<Id, Tipo> mapIdTipo = new HashMap<Id, Tipo>();
                Id[] idsArg = new Id[argsId.size()];

                int i = 0;
                for (Id id : argsId) {
                        mapIdTipo.put(id, new Tipo());
                        idsArg[i++] = id;
                }

                RestrictTypesVisitor.visit(exp, ambiente, mapIdTipo, new Tipo());

                ambiente.incrementa();
                for (Id id : mapIdTipo.keySet()) {
                        ambiente.map(id, mapIdTipo.get(id));
                }

                Tipo result = exp.getTipo(ambiente);
                for (i = argsId.size() - 1; i >= 0; i--) {
                        result =
                                new Tipo(((Tipo) mapIdTipo.get(idsArg[i])).get(), result);
                }
                ambiente.restaura();
                return result;
        }
}

---