ExpSub.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.ValorInteiro;
import plp.orientadaObjetos1.memoria.AmbienteCompilacao;
import plp.orientadaObjetos1.memoria.AmbienteExecucao;
import plp.orientadaObjetos1.util.Tipo;
import plp.orientadaObjetos1.util.TipoPrimitivo;

public class ExpSub extends ExpBinaria {

    public ExpSub(Expressao esq, Expressao dir) {
        super(esq, dir, "-");
    }

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

    public boolean checaTipo(AmbienteCompilacao ambiente)
        throws VariavelNaoDeclaradaException, ClasseNaoDeclaradaException {
        boolean result;
        if (super.checaTipo(ambiente) &&
            ((TipoPrimitivo)getEsq().getTipo(ambiente)).eInteiro() &&
            ((TipoPrimitivo)getDir().getTipo(ambiente)).eInteiro()) {
            result = true;
        }
        else {
            result = false;
        }
        return result;
    }

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

    private ValorInteiro obterResultadoDaSubtracao(AmbienteExecucao ambiente)
            throws VariavelJaDeclaradaException, VariavelNaoDeclaradaException,
                   ObjetoNaoDeclaradoException{
        return new ValorInteiro(
                ((ValorInteiro)getEsq().avaliar(ambiente)).valor() -
                ((ValorInteiro)getDir().avaliar(ambiente)).valor());
    }
}

---