DecProcedimentoSimples.java

Go to the documentation of this file.

package plp.orientadaObjetos1.declaracao.procedimento;

import plp.expressions2.memory.VariavelJaDeclaradaException;
import plp.expressions2.memory.VariavelNaoDeclaradaException;
import plp.orientadaObjetos1.comando.Comando;
import plp.orientadaObjetos1.comando.Procedimento;
import plp.orientadaObjetos1.excecao.declaracao.ClasseJaDeclaradaException;
import plp.orientadaObjetos1.excecao.declaracao.ClasseNaoDeclaradaException;
import plp.orientadaObjetos1.excecao.declaracao.ProcedimentoJaDeclaradoException;
import plp.orientadaObjetos1.excecao.declaracao.ProcedimentoNaoDeclaradoException;
import plp.orientadaObjetos1.expressao.leftExpression.Id;
import plp.orientadaObjetos1.memoria.AmbienteCompilacaoOO1;
public class DecProcedimentoSimples implements  DecProcedimento {
    private Id nome;
    private ListaDeclaracaoParametro parametrosFormais;
    private Comando comando;
    public DecProcedimentoSimples(Id nome, ListaDeclaracaoParametro parametrosFormais,Comando comando){
        this.nome = nome;
        this.parametrosFormais = parametrosFormais;
        this.comando = comando;
    }
    public Procedimento getProcedimento(Id nome) throws ProcedimentoNaoDeclaradoException {
        if(this.nome.equals(nome)){
            return new Procedimento(parametrosFormais, comando);
        }
        else {
            throw new ProcedimentoNaoDeclaradoException(nome);
        }
    }
    public boolean checaTipo(AmbienteCompilacaoOO1 ambiente)
       throws VariavelJaDeclaradaException, VariavelNaoDeclaradaException,
              ProcedimentoJaDeclaradoException, ProcedimentoNaoDeclaradoException,
              ClasseNaoDeclaradaException,ClasseJaDeclaradaException {
       boolean resposta;
        if(parametrosFormais.checaTipo(ambiente)) {
            ambiente.mapParametrosProcedimento(nome, parametrosFormais);
            ambiente.incrementa();
            ambiente = parametrosFormais.declaraParametro(ambiente);
            resposta = comando.checaTipo(ambiente);
            ambiente.restaura();
        }
        else {
            resposta = false;
        }
        return resposta;
    }
}

---