ContextoExecucaoFuncional.java

Vá para a documentação deste arquivo.

package plp.functional1.memory;

import java.util.HashMap;
import java.util.Stack;

import plp.expressions2.expression.Id;
import plp.expressions2.memory.ContextoExecucao;
import plp.expressions2.memory.VariavelJaDeclaradaException;
import plp.expressions2.memory.VariavelNaoDeclaradaException;
import plp.functional1.util.DefFuncao;

public class ContextoExecucaoFuncional extends ContextoExecucao
                implements AmbienteExecucaoFuncional {

        private Stack<HashMap<Id, DefFuncao>> pilhaFuncao;

        public ContextoExecucaoFuncional() {
                pilhaFuncao = new Stack<HashMap<Id, DefFuncao>>();
        }

        public void incrementa() {
                super.incrementa();
                pilhaFuncao.push(new HashMap<Id, DefFuncao>());
        }

        public void restaura() {
                super.restaura();
                pilhaFuncao.pop();
        }

        // Remover esse método. Já tem em ContextoExecucao
        public void mapFuncao(Id idArg, DefFuncao funcao)
                        throws VariavelJaDeclaradaException {
                HashMap<Id, DefFuncao> aux = pilhaFuncao.peek();
                if (aux.put(idArg, funcao) != null) {
                        throw new VariavelJaDeclaradaException(idArg);
                }
        }

        // Remover esse método. Já tem em ContextoExecucao
        public DefFuncao getFuncao(Id idArg) throws VariavelNaoDeclaradaException {
                DefFuncao result = null;
                Stack<HashMap<Id, DefFuncao>> auxStack =
                        new Stack<HashMap<Id, DefFuncao>>();
                while (result == null && !pilhaFuncao.empty()) {
                        HashMap<Id, DefFuncao> aux = pilhaFuncao.pop();
                        auxStack.push(aux);
                        result = aux.get(idArg);
                }
                while (!auxStack.empty()) {
                        pilhaFuncao.push(auxStack.pop());
                }
                if (result == null) {
                        throw new VariavelNaoDeclaradaException(idArg);
                }

                return result;
        }

}

---