ExpDeclaracao.java

Go to the documentation of this file.

package plp.functional2.expression;

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.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.declaration.DeclaracaoFuncional;
import plp.functional2.declaration.DecFuncao;

public class ExpDeclaracao implements Expressao {

        List<DeclaracaoFuncional> seqdecFuncional;
        Expressao expressao;

        public ExpDeclaracao(List<DeclaracaoFuncional> declaracoesFuncionais, Expressao expressaoArg) {
                seqdecFuncional = declaracoesFuncionais;
                expressao = expressaoArg;
        }

        public String toString() {
                StringBuffer sb = new StringBuffer();
                sb.append("let ");
                sb.append(seqdecFuncional.toString());
                sb.append("\nin\n");
                sb.append(expressao.toString());
                return sb.toString();
        }

        public Valor avaliar(AmbienteExecucao ambiente)
                throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException {
                ambiente.incrementa();

                // Como declaracoes feitas neste nivel nao devem ter influencia
                // mutua, armazenamos os valores em uma tabela auxiliar, para depois
                // fazer o mapeamento.
                Map<Id,Valor> auxIdValor = new HashMap<Id,Valor>();
                Map<Id,ValorFuncao> auxIdValorFuncao = new HashMap<Id,ValorFuncao>();

                resolveBindings(ambiente, auxIdValor, auxIdValorFuncao);

                includeBindings(ambiente, auxIdValor, auxIdValorFuncao);

                Valor vresult = expressao.avaliar(ambiente);
                ambiente.restaura();
                return vresult;
        }

        private void includeBindings(
                AmbienteExecucao ambiente,
                Map<Id,Valor> auxIdValor,
                Map<Id,ValorFuncao> auxIdValorFuncao)
                throws VariavelJaDeclaradaException {
                for(Map.Entry<Id,Valor> idValor:auxIdValor.entrySet()){
                        Id id = idValor.getKey();
                        Valor valor = idValor.getValue();
                        ambiente.map(id, valor);                        
                }
                        
                
                for(Map.Entry<Id,ValorFuncao> idValorFuncao:auxIdValorFuncao.entrySet()){
                        Id id = idValorFuncao.getKey();
                        ValorFuncao valor = idValorFuncao.getValue();
                        ambiente.map(id, valor);                        
                }
                
        }

        private void resolveBindings(
                AmbienteExecucao ambiente,
                Map<Id,Valor> auxIdValor,
                Map<Id,ValorFuncao> auxIdValorFuncao)
                throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException {
                
                for(DeclaracaoFuncional decFuncional:this.seqdecFuncional){
                        if (decFuncional.getAridade() == 0) {
                                auxIdValor.put(
                                        decFuncional.getID(),
                                        decFuncional.getExpressao().avaliar(ambiente));
                        } else {
                                DecFuncao decFuncao = (DecFuncao) decFuncional;
                                ValorFuncao valorFuncao = decFuncao.getFuncao();
                                auxIdValorFuncao.put(decFuncional.getID(), valorFuncao);
                        }
                }
        }

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

                boolean result = false;
                try {
                        result = checkTypeBindings(ambiente);
                        if (result) {
                                Map<Id,Tipo> resolvedTypes = resolveTypeBidings(ambiente);
                                includeTypeBindings(ambiente,resolvedTypes);            
                                result = expressao.checaTipo(ambiente);
                        }
                } finally {
                        ambiente.restaura();                            
                }
                return result;
        }

        private Map<Id,Tipo> resolveTypeBidings(AmbienteCompilacao ambiente)
                throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException {
                Map<Id,Tipo> resolvedTypes = new HashMap<Id,Tipo>();
                
                for(DeclaracaoFuncional decFuncional:this.seqdecFuncional){
                        if (resolvedTypes.put(decFuncional.getID(),decFuncional.getTipo(ambiente)) != null) {
                                throw new VariavelJaDeclaradaException (decFuncional.getID());
                        }
                }
                return resolvedTypes;
        }

        private boolean checkTypeBindings(AmbienteCompilacao ambiente)
                throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException {
                boolean result = true;
                
                for(DeclaracaoFuncional decFuncional:this.seqdecFuncional){
                        if (!decFuncional.checaTipo(ambiente)) {
                                ambiente.restaura();
                                result = false;
                        }                       
                }
                return result;
        }


        private void includeTypeBindings(AmbienteCompilacao ambiente, Map<Id,Tipo> resolvedTypes)
                        throws VariavelJaDeclaradaException {
                for(Id id:resolvedTypes.keySet()){
                        Tipo type = resolvedTypes.get(id);
                        ambiente.map(id, type);                 
                }
        }

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

                try {
                        for(DeclaracaoFuncional decFuncional:this.seqdecFuncional){
                                if (decFuncional.getAridade() == 0) {
                                        ambiente.map(
                                                decFuncional.getID(),
                                                decFuncional.getExpressao().getTipo(ambiente));
                                } else {
                                        DecFuncao decFuncao = (DecFuncao) decFuncional;
                                        Tipo tipo = decFuncao.getFuncao().getTipo(ambiente);
                                        if (tipo != Tipo.TIPO_INDEFINIDO) {
                                                ambiente.map(decFuncional.getID(), tipo);
                                        }
                                }                               
                        }
                        vresult = expressao.getTipo(ambiente);
                } finally {
                        ambiente.restaura();
                }
                return vresult;
        }

        public List<DeclaracaoFuncional> getSeqdecFuncional() {
                return seqdecFuncional;
        }

        public Expressao getExpressao() {
                return expressao;
        }

}

---