New.java

Go to the documentation of this file.

package plp.orientadaObjetos1.comando;

/*
 * A execucao de um comando ocorre em um determinado ambiente. O
 * resultado de tal execucao é a modificação deste ambiente, i.e., comandos
 * tem efeito colateral.
 */
import plp.orientadaObjetos1.declaracao.variavel.DecVariavel;
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.VariavelJaDeclaradaException;
import plp.orientadaObjetos1.excecao.declaracao.VariavelNaoDeclaradaException;
import plp.orientadaObjetos1.expressao.leftExpression.LeftExpression;
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.util.Tipo;
import plp.orientadaObjetos1.util.TipoClasseGeneric;

public class New implements Comando {
    private LeftExpression av;

    private Tipo tipoInstancia;

    public New(LeftExpression av, Tipo tipoInstancia) {
        this.av = av;
        this.tipoInstancia = tipoInstancia;
    }

    public AmbienteExecucao executar(AmbienteExecucao ambiente)
            throws VariavelJaDeclaradaException, VariavelNaoDeclaradaException,
            ClasseJaDeclaradaException, ClasseNaoDeclaradaException,
            ObjetoJaDeclaradoException, ObjetoNaoDeclaradoException, TryCatchException {

        AmbienteExecucao aux = null;
        DefClasse defClasse = ambiente.getDefClasse(tipoInstancia.getTipo());
        if ( defClasse instanceof DefClasseGenerica) {
            //Pegar o tipo Generic atraves da definicao da classe generica
            DefClasseGenerica defClasseGeneric = (DefClasseGenerica) defClasse;
            Tipo tipoGeneric = defClasseGeneric.getTipoGeneric();
            
            //Pegar o tipo real atraves do tipoInstancia
            TipoClasseGeneric tg = (TipoClasseGeneric) this.tipoInstancia;
            Tipo tipoReal = tg.getTipoGeneric();
            
            ambiente.incrementa();
            
            ambiente.mapTipoReal(tipoGeneric, tipoReal);
            DecVariavel decVariavel = defClasse.getDecVariavel();
            aux = decVariavel.executar(new ContextoExecucao(ambiente));
            
            ambiente.restaura();
        }
        else {
            DecVariavel decVariavel = defClasse.getDecVariavel();
            aux = decVariavel.executar(new ContextoExecucao(ambiente));
        }

        Objeto objeto = new Objeto(tipoInstancia.getTipo(), aux.getContextoIdValor());
        ValorRef vr = ambiente.getProxRef();
        ambiente.mapObjeto(vr, objeto);
        ambiente = new Atribuicao(av, vr).executar(ambiente);
        return ambiente;
    }

    public boolean checaTipo(AmbienteCompilacao ambiente)
            throws VariavelNaoDeclaradaException, ClasseJaDeclaradaException,
            ClasseNaoDeclaradaException {
        return av.checaTipo(ambiente) && tipoInstancia.eValido(ambiente)
                && tipoInstancia.equals(av.getTipo(ambiente));
    }
}

---