ExpDeclaracao.java

Vá para a documentação deste arquivo.

package plp.expressions2.expression;

import java.util.HashMap;
import java.util.LinkedList;
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);
                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 = 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;
        }*/
        
        private void resolveValueBindings(AmbienteExecucao ambiente) throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException {

                for (DecVariavel declaration : this.seqdecVariavel) {
                        ambiente.map(declaration.getId(), declaration.getExpressao().avaliar(ambiente));                        
                }
        }
        
        

        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.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 = 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 void resolveTypeBindings(AmbienteCompilacao ambiente) throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException {
                for (DecVariavel declaration : this.seqdecVariavel) {
                        ambiente.map(declaration.getId(), declaration.getExpressao().getTipo(ambiente));
                }
        }

        private boolean checkTypeBindings(AmbienteCompilacao ambiente)
                        throws VariavelJaDeclaradaException, VariavelNaoDeclaradaException {

                boolean result = true;

                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.resolveTypeBindings(ambiente);
                //this.includeTypeBindings(ambiente, resolvedTypes);
                Tipo result = expressao.getTipo(ambiente);

                ambiente.restaura();
                return result;
        }

}

---