DecClasseGeneric.java

Go to the documentation of this file.

package plp.orientadaObjetos1.declaracao.classe;

import plp.orientadaObjetos1.declaracao.procedimento.DecProcedimento;
import plp.orientadaObjetos1.declaracao.variavel.DecVariavel;
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.excecao.declaracao.VariavelJaDeclaradaException;
import plp.orientadaObjetos1.excecao.declaracao.VariavelNaoDeclaradaException;
import plp.orientadaObjetos1.expressao.leftExpression.Id;
import plp.orientadaObjetos1.memoria.AmbienteCompilacao;
import plp.orientadaObjetos1.memoria.AmbienteExecucao;
import plp.orientadaObjetos1.memoria.DefClasseGenerica;
import plp.orientadaObjetos1.util.Tipo;
import plp.orientadaObjetos1.util.TipoClasseGeneric;


public class DecClasseGeneric extends DecClasseSimples {
    
    private Tipo tipoGenerico;

    public DecClasseGeneric(Id nomeClasse, DecVariavel atributos, DecProcedimento metodos, Tipo tipoGenerico) {
        super(nomeClasse, atributos, metodos);
        this.tipoGenerico = tipoGenerico;
    }
    
    public AmbienteExecucao elabora(AmbienteExecucao ambiente)
        throws ClasseJaDeclaradaException, ClasseNaoDeclaradaException {

        ambiente.mapDefClasse( nomeClasse, new DefClasseGenerica(atributos,metodos,tipoGenerico));
        return ambiente;
    }
    
    public boolean checaTipo(AmbienteCompilacao ambiente)
        throws VariavelJaDeclaradaException, VariavelNaoDeclaradaException,
               ClasseJaDeclaradaException, ClasseNaoDeclaradaException,
               ProcedimentoNaoDeclaradoException, ProcedimentoJaDeclaradoException {

        //Mapeia o Tipo da classe
        ambiente.mapDefClasse(nomeClasse, new DefClasseGenerica(atributos,metodos,tipoGenerico));
        boolean resposta = false;

        //Mapeia o Tipo generico
        ambiente.incrementa();
        Id idGenerico = this.tipoGenerico.getTipo();
        ambiente.mapGeneric(idGenerico, this.tipoGenerico);

        if (atributos.checaTipo(ambiente)){
            ambiente.mapTipo(new Id("this"), new TipoClasseGeneric(nomeClasse, this.tipoGenerico));
            resposta =  metodos.checaTipo(ambiente);
        }
        ambiente.restaura();
        return resposta;
    
    }

   
}

---