ExpDeclaracao.java

Go to the documentation of this file.

package plp.expressions2.expression;

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

import plp.expressions1.util.Tipo;
import plp.expressions2.declaration.DecVariavel;
import plp.expressions2.memory.AmbienteCompilacao;
import plp.expressions2.memory.AmbienteExecucao;
import plp.expressions2.memory.VariavelJaDeclaradaException;
import plp.expressions2.memory.VariavelNaoDeclaradaException;

public class ExpDeclaracao implements Expressao{

        List<DecVariavel> seqdecVariavel;
        Expressao expressao;

        public ExpDeclaracao(List<DecVariavel> declarations, Expressao expressaoArg){
                seqdecVariavel = declarations;
                expressao = expressaoArg;
        }

        public Valor avaliar(AmbienteExecucao ambiente) throws VariavelNaoDeclaradaException,VariavelJaDeclaradaException {
                
                ambiente.incrementa();
                Map<Id,Valor> resolvedValues = resolveValueBindings(ambiente);
                includeValueBindings(ambiente, resolvedValues);
                Valor result = expressao.avaliar(ambiente);
                ambiente.restaura();
                
                return result;
        }

        private void includeValueBindings(AmbienteExecucao ambiente, Map<Id,Valor> resolvedValues)
                        throws VariavelJaDeclaradaException {
                for (Id id : resolvedValues.keySet() ){
                        Valor valor = (Valor)resolvedValues.get(id);
                        ambiente.map(id, valor);
                }
        }

        private Map<Id,Valor> resolveValueBindings(AmbienteExecucao ambiente)
                        throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException {
                
                Map<Id,Valor> resolvedValues = new HashMap<Id,Valor>();
                
                for(DecVariavel declaration : this.seqdecVariavel ){
                        resolvedValues.put(declaration.getID(), declaration.getExpressao().avaliar(ambiente) );                 
                }
                return resolvedValues;
        }

        public boolean checaTipo(AmbienteCompilacao ambiente) throws 
                        VariavelNaoDeclaradaException,VariavelJaDeclaradaException {            
                ambiente.incrementa();
                Map<Id,Tipo> resolvedTypes;
                boolean result = false;
                try {
                        if (this.checkTypeBindings(ambiente)) {
                                resolvedTypes = this.resolveTypeBindings(ambiente);
                                this.includeTypeBindings(ambiente, resolvedTypes);
                                result = expressao.checaTipo(ambiente);
                        }
                        else {
                                result = false;
                        }
                } finally {                     
                        ambiente.restaura();
                }
                return result;
        }
        
        private void includeTypeBindings(AmbienteCompilacao ambiente, Map<Id,Tipo> resolvedTypes)
                        throws VariavelJaDeclaradaException {
                
                for(Id id:resolvedTypes.keySet()){
                        Tipo type = (Tipo) resolvedTypes.get(id);
                        ambiente.map(id, type);
                }
        }

        private Map<Id,Tipo> resolveTypeBindings(AmbienteCompilacao ambiente)
                        throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException {
                
                Map<Id,Tipo> resolvedTypes = new HashMap<Id,Tipo>();
                
                for(DecVariavel declaration :this.seqdecVariavel ){
                        if (resolvedTypes.put(declaration.getID(), declaration.getExpressao().getTipo(ambiente) ) != null) {
                                throw new VariavelJaDeclaradaException (declaration.getID());
                        }                       
                        
                }
                
                return resolvedTypes;
        }
        
        private boolean checkTypeBindings (AmbienteCompilacao ambiente) 
                        throws VariavelJaDeclaradaException, VariavelNaoDeclaradaException {
                
                boolean result = true;
                DecVariavel decVariavel;

                
                for(DecVariavel declaration:this.seqdecVariavel){
                        if (!declaration.getExpressao().checaTipo(ambiente)) {
                                result = false;
                                break;
                        }               
                }               
                return result;
        }

        public Tipo getTipo(AmbienteCompilacao ambiente) throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException {
                ambiente.incrementa();
                
                Map<Id,Tipo> resolvedTypes = this.resolveTypeBindings(ambiente);
                this.includeTypeBindings(ambiente, resolvedTypes);
                Tipo result = expressao.getTipo(ambiente);
                
                ambiente.restaura();
                return result;
        }

} 

---