DecVariavelObjeto.java

Go to the documentation of this file.

package plp.orientadaObjetos1.declaracao.variavel;

import plp.orientadaObjetos1.comando.New;
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.Id;
import plp.orientadaObjetos1.expressao.valor.ValorNull;
import plp.orientadaObjetos1.memoria.AmbienteCompilacao;
import plp.orientadaObjetos1.memoria.AmbienteExecucao;
import plp.orientadaObjetos1.util.Tipo;
import plp.orientadaObjetos1.util.TipoClasse;
import plp.orientadaObjetos1.util.TipoGeneric;

public class DecVariavelObjeto implements DecVariavel{
    private Tipo tipoVariavel;
    private Id nomeVariavel;
    private Tipo tipoInstancia;
    public DecVariavelObjeto(Tipo tipoVariavel, Id nomeVariavel, Tipo tipoInstancia){
        this.tipoVariavel = tipoVariavel;
        this.nomeVariavel = nomeVariavel;
        this.tipoInstancia = tipoInstancia;
    }

    public Tipo getTipo(Id id) throws VariavelNaoDeclaradaException{
        if(this.nomeVariavel.equals(id)){
            return tipoVariavel;
        }
        else {
            throw new VariavelNaoDeclaradaException(id);
        }
    }

    public AmbienteExecucao executar(AmbienteExecucao ambiente)
        throws VariavelJaDeclaradaException, VariavelNaoDeclaradaException,
               ClasseJaDeclaradaException, ClasseNaoDeclaradaException,
               ObjetoJaDeclaradoException, ObjetoNaoDeclaradoException, TryCatchException{
        Tipo tipoVariavelReal = tipoVariavel;
        Tipo tipoInstanciaReal = tipoInstancia;
        if (tipoVariavel instanceof TipoGeneric && tipoInstancia instanceof TipoGeneric) {
            tipoVariavelReal = ambiente.getTipoReal( tipoVariavel);
            tipoInstanciaReal = ambiente.getTipoReal( tipoInstancia);
        }    
        
        AmbienteExecucao aux =  new DecVariavelSimples(tipoVariavelReal, nomeVariavel, new ValorNull()).executar(ambiente);
        if ( !this.tipoInstancia.equals( TipoClasse.TIPO_NULL)) {
            aux = new New(nomeVariavel, tipoInstanciaReal).executar(aux);            
        }
        return aux;
    }

    public boolean checaTipo(AmbienteCompilacao ambiente)
        throws VariavelJaDeclaradaException, VariavelNaoDeclaradaException,
               ClasseJaDeclaradaException, ClasseNaoDeclaradaException{
        boolean resposta = false;
        if ( tipoInstancia.eValido(ambiente) && tipoVariavel.eValido(ambiente) ) {
            resposta = true;
            if ( !tipoInstancia.equals(TipoClasse.TIPO_NULL)) {
                resposta = resposta && tipoInstancia.equals(tipoVariavel);                
            }
            ambiente.mapTipo(nomeVariavel, tipoInstancia);
        }
        return resposta;
    }
    
    public String toString() {
        return this.tipoVariavel + " " + this.nomeVariavel + " := new " + this.tipoInstancia;
    }
}

---