ExpEquals.java

Go to the documentation of this file.

package plp.orientadaObjetos1.expressao.binaria;

import plp.orientadaObjetos1.excecao.declaracao.ClasseNaoDeclaradaException;
import plp.orientadaObjetos1.excecao.declaracao.ObjetoNaoDeclaradoException;
import plp.orientadaObjetos1.excecao.declaracao.VariavelJaDeclaradaException;
import plp.orientadaObjetos1.excecao.declaracao.VariavelNaoDeclaradaException;
import plp.orientadaObjetos1.expressao.Expressao;
import plp.orientadaObjetos1.expressao.valor.Valor;
import plp.orientadaObjetos1.expressao.valor.ValorBooleano;
import plp.orientadaObjetos1.expressao.valor.ValorConcreto;
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;
import plp.orientadaObjetos1.util.TipoPrimitivo;


public class ExpEquals extends ExpBinaria{

    public ExpEquals(Expressao esq, Expressao dir){
        super(esq, dir, "==");
    }

    public Valor avaliar(AmbienteExecucao ambiente)
        throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException,
        ObjetoNaoDeclaradoException {
        return verificarIgualdade(ambiente);
    }

    public boolean checaTipo(AmbienteCompilacao ambiente)
        throws VariavelNaoDeclaradaException, ClasseNaoDeclaradaException {
        boolean result = false;
        if (super.checaTipo(ambiente)) {
            Tipo tipoEsq = getEsq().getTipo(ambiente);
            if( tipoEsq instanceof TipoClasse || tipoEsq instanceof TipoGeneric) {
            result = getDir().getTipo(ambiente).equals(TipoClasse.TIPO_NULL) ||
                     getEsq().getTipo(ambiente).equals(getDir().getTipo(ambiente));
           }
           else {
            result = getEsq().getTipo(ambiente).equals(getDir().getTipo(ambiente));
           }
        }
        return result;
    }

    public Tipo getTipo(AmbienteCompilacao ambiente) {
        return TipoPrimitivo.TIPO_BOOLEANO;
    }

    private ValorBooleano verificarIgualdade(AmbienteExecucao ambiente)
            throws VariavelJaDeclaradaException, VariavelNaoDeclaradaException,
                   ObjetoNaoDeclaradoException{
        Valor v1 = getEsq().avaliar(ambiente);
        Valor v2 = getDir().avaliar(ambiente);
        boolean compara;
        if (v1 instanceof ValorConcreto && v2 instanceof ValorConcreto){
            compara = ((ValorConcreto)v1).equals((ValorConcreto)(v2));
        } else {
            compara =  v1.equals(v2);
        }
        return new ValorBooleano(compara);
    }
}

---