ChamadaMetodo.java

Go to the documentation of this file.

package plp.orientadaObjetos1.comando;

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.Expressao;
import plp.orientadaObjetos1.expressao.ListaExpressao;
import plp.orientadaObjetos1.expressao.leftExpression.Id;
import plp.orientadaObjetos1.expressao.valor.ValorRef;
import plp.orientadaObjetos1.memoria.AmbienteCompilacao;
import plp.orientadaObjetos1.memoria.AmbienteExecucao;
import plp.orientadaObjetos1.memoria.ContextoExecucao;
import plp.orientadaObjetos1.memoria.DefClasse;
import plp.orientadaObjetos1.memoria.DefClasseGenerica;
import plp.orientadaObjetos1.memoria.Objeto;
import plp.orientadaObjetos1.memoria.colecao.ListaValor;
import plp.orientadaObjetos1.util.Tipo;
import plp.orientadaObjetos1.util.TipoClasseGeneric;

public class ChamadaMetodo implements Comando {
    private Expressao expressao;
    private Id nomeMetodo;
    private ListaExpressao parametrosReais;

    public ChamadaMetodo(Expressao expressao, Id nomeMetodo, ListaExpressao parametrosReais){
        this.expressao = expressao;
        this.nomeMetodo = nomeMetodo;
        this.parametrosReais = parametrosReais;
    }
    
    public AmbienteExecucao executar(AmbienteExecucao ambiente)
        throws VariavelJaDeclaradaException, VariavelNaoDeclaradaException,
        ProcedimentoNaoDeclaradoException, ProcedimentoJaDeclaradoException,
        ObjetoJaDeclaradoException, ObjetoNaoDeclaradoException,
        ClasseNaoDeclaradaException, ClasseJaDeclaradaException, EntradaInvalidaException, TryCatchException{
        
        ValorRef vr = (ValorRef) expressao.avaliar(ambiente);  // recupera o id do objeto
        Objeto objeto =  ambiente.getObjeto(vr);               // recupera o objeto
        Id idClasse = objeto.getClasse();                      // recupera o tipo do objeto
        DefClasse defClasse = ambiente.getDefClasse(idClasse); // recupera a definição da classe
        Procedimento metodo = defClasse.getMetodo(nomeMetodo); // recupera o procedimento
        
        // cria um novo ambiente para a execucao, pois
        // não deve levar em conta as variáveis definidas na main
        AmbienteExecucao aux = new ContextoExecucao(ambiente);
                                                               // é change pois no construtor do ambiente
        aux.changeValor(new Id("this"),vr);                    // invocado na linha anterior ja é feito
                                                               //  um mapeamento

        ListaValor valoresDosParametros = parametrosReais.avaliar(ambiente);
        
        new ChamadaProcedimento(metodo, parametrosReais, valoresDosParametros).executar(aux);
        
        return ambiente;
    }

    public boolean checaTipo(AmbienteCompilacao ambiente)
    throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException,
         ClasseNaoDeclaradaException {
        boolean resposta;
        //Antes de incrementar o ambiente, verifico se o método
        //é válido para a definicao de classe obtida a partir de expressao.
        //Se não for válido, a exceção ProcedimentoNaoDeclaradoException será
        //lançada e checaTipo retornará false.
        Tipo tipoClasse = expressao.getTipo(ambiente);
        DefClasse defClasse = ambiente.getDefClasse(tipoClasse.getTipo());
        try{
            Procedimento metodo = defClasse.getMetodo(nomeMetodo);
            ambiente.incrementa();
            ambiente.mapTipo(new Id("this"),tipoClasse);
            
            if ( defClasse instanceof DefClasseGenerica ) {
                DefClasseGenerica dcg = (DefClasseGenerica) defClasse;
                Tipo tg = dcg.getTipoGeneric();
                Tipo tr = ((TipoClasseGeneric)tipoClasse).getTipoGeneric();
                try {
                    ambiente.mapTipoReal( tg, tr);
                } catch (ClasseJaDeclaradaException e) {
                    //TODO verificar se isso soh acontece com chamada recursiva.
                }                
            }
            
            resposta = new ChamadaProcedimento(metodo, parametrosReais).checaTipo(ambiente);
            ambiente.restaura();
        }
        catch(ProcedimentoNaoDeclaradoException e){
            resposta = false;
        }
        return resposta;
    }
}

---