ChamadaProcedimento.java

Go to the documentation of this file.

package plp.orientadaObjetos1.comando;

import plp.orientadaObjetos1.declaracao.procedimento.ListaDeclaracaoParametro;
import plp.orientadaObjetos1.excecao.comando.TryCatchException;
import plp.orientadaObjetos1.excecao.declaracao.ClasseJaDeclaradaException;
import plp.orientadaObjetos1.excecao.declaracao.ClasseNaoDeclaradaException;
import plp.orientadaObjetos1.excecao.declaracao.ObjetoJaDeclaradoException;
import plp.orientadaObjetos1.excecao.declaracao.ObjetoNaoDeclaradoException;
import plp.orientadaObjetos1.excecao.declaracao.ProcedimentoJaDeclaradoException;
import plp.orientadaObjetos1.excecao.declaracao.ProcedimentoNaoDeclaradoException;
import plp.orientadaObjetos1.excecao.declaracao.VariavelJaDeclaradaException;
import plp.orientadaObjetos1.excecao.declaracao.VariavelNaoDeclaradaException;
import plp.orientadaObjetos1.excecao.execucao.EntradaInvalidaException;
import plp.orientadaObjetos1.expressao.ListaExpressao;
import plp.orientadaObjetos1.memoria.AmbienteCompilacao;
import plp.orientadaObjetos1.memoria.AmbienteExecucao;
import plp.orientadaObjetos1.memoria.colecao.ListaValor;
import plp.orientadaObjetos1.util.ListaTipo;
import plp.orientadaObjetos1.util.Tipo;
import plp.orientadaObjetos1.util.TipoClasse;
import plp.orientadaObjetos1.util.TipoGeneric;

public class ChamadaProcedimento implements Comando {

    private Procedimento procedimento;

    private ListaExpressao parametrosReais;

    private ListaValor valoresParametros;

    public ChamadaProcedimento(Procedimento procedimento, ListaExpressao parametrosReais,
                               ListaValor valoresParametros){
        this.procedimento = procedimento;
        this.parametrosReais = parametrosReais;
        this.valoresParametros = valoresParametros;
    }

    public ChamadaProcedimento(Procedimento procedimento, ListaExpressao parametrosReais){
        this.procedimento = procedimento;
        this.parametrosReais = parametrosReais;
        this.valoresParametros = null;
    }
    public AmbienteExecucao executar(AmbienteExecucao ambiente)
        throws VariavelJaDeclaradaException, VariavelNaoDeclaradaException,
               ProcedimentoNaoDeclaradoException, ProcedimentoJaDeclaradoException,
               ObjetoNaoDeclaradoException, ObjetoJaDeclaradoException,
               ClasseNaoDeclaradaException, ClasseJaDeclaradaException, EntradaInvalidaException, TryCatchException{

        ambiente.incrementa();
        ambiente = bindParameters( ambiente, procedimento.getParametrosFormais());
            ambiente = procedimento.getComando().executar(ambiente);            
 
            ambiente.restaura();            
        return ambiente;
    }

    private AmbienteExecucao bindParameters (AmbienteExecucao ambiente, ListaDeclaracaoParametro parametrosFormais)
        throws VariavelJaDeclaradaException, VariavelNaoDeclaradaException,
               ObjetoNaoDeclaradoException{
        ListaValor listaValor = this.valoresParametros;
        if(listaValor == null) {
            listaValor = parametrosReais.avaliar(ambiente);
        }
        while (listaValor.length() > 0){
            ambiente.mapValor (parametrosFormais.head().getId(), listaValor.head());
            parametrosFormais = parametrosFormais.tail();
            listaValor = listaValor.tail();
        }
        return ambiente;
    }

     public boolean checaTipo(AmbienteCompilacao ambiente)
        throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException,
               ProcedimentoNaoDeclaradoException,ClasseNaoDeclaradaException {
        boolean resposta;
        ambiente.incrementa();
        ListaDeclaracaoParametro parametrosFormais = procedimento.getParametrosFormais();
        ListaTipo listaTipo = parametrosReais.getTipos(ambiente);
        //tem o mesmo numero de parametros formais e reais?
        if(listaTipo.length() == parametrosFormais.length()) {
            // a funcao tem algum parametro?
            if(listaTipo.head() == null || parametrosFormais.head() == null) {
                resposta = true;
            }
            else {
                resposta = true;
                // tem parametros formais de tipos diferentes
                // de parametros reais na ordem em que se apresentam?
                while(listaTipo != null && parametrosFormais != null) {
                    
                    //Pegar os parametros do metodo
                    Tipo tpf = parametrosFormais.head().getTipo();
                    Tipo tpr = listaTipo.head();
                    
                    //TODO e se for um TipoGenericClasse
                    if (tpf instanceof TipoGeneric && tpr instanceof TipoClasse) {
                        tpf = ambiente.getTipoReal( tpf);
                        tpf = new TipoClasse( (TipoGeneric)tpf);
                    }
                    
                    if( ! tpr.equals( tpf)) {
                        resposta = false;
                        break;
                    }
                    listaTipo = listaTipo.tail();
                    parametrosFormais = parametrosFormais.tail();
                }
            }
        }
        else {
            resposta = false;
        }
        ambiente.restaura();
        return resposta;
    }
}

---