plp.orientadaObjetos1.expressao.binaria
Class ExpAnd

java.lang.Object
  extended by plp.orientadaObjetos1.expressao.binaria.ExpBinaria
      extended by plp.orientadaObjetos1.expressao.binaria.ExpAnd
All Implemented Interfaces:
Expressao

public class ExpAnd
extends ExpBinaria

Um objeto desta classe representa uma expressao de Conjuncao logica.


Constructor Summary
ExpAnd(Expressao esq, Expressao dir)
          Controi uma expressao de Conjuncao logica com as sub-expressoes especificadas.
 
Method Summary
 Valor avaliar(AmbienteExecucao ambiente)
          Retorna o valor da expressao de Conjuncao Logica
 boolean checaTipo(AmbienteCompilacao ambiente)
          Realiza a verificacao de tipos desta expressao.
 Tipo getTipo(AmbienteCompilacao ambiente)
          Retorna os tipos possiveis desta expressao.
private  ValorBooleano obterComparacaoAND(AmbienteExecucao ambiente)
          Retorna o resultado de uma comparacao booleana AND
 
Methods inherited from class plp.orientadaObjetos1.expressao.binaria.ExpBinaria
getDir, getEsq, getOperador
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ExpAnd

public ExpAnd(Expressao esq,
              Expressao dir)
Controi uma expressao de Conjuncao logica com as sub-expressoes especificadas. Estas devem ser tais que sua avaliacao retorna ValorBooleano

Parameters:
esq - expressao da esquerda
dir - expressao da direita
Method Detail

avaliar

public Valor avaliar(AmbienteExecucao ambiente)
              throws VariavelNaoDeclaradaException,
                     VariavelJaDeclaradaException,
                     ObjetoNaoDeclaradoException,
                     ClasseNaoDeclaradaException
Retorna o valor da expressao de Conjuncao Logica

Throws:
ClasseNaoDeclaradaException - TODO
VariavelNaoDeclaradaException
VariavelJaDeclaradaException
ObjetoNaoDeclaradoException

checaTipo

public boolean checaTipo(AmbienteCompilacao ambiente)
                  throws VariavelNaoDeclaradaException,
                         ClasseNaoDeclaradaException
Realiza a verificacao de tipos desta expressao.

Specified by:
checaTipo in interface Expressao
Overrides:
checaTipo in class ExpBinaria
Parameters:
ambiente - o ambiente de compilação.
Returns:
true se os tipos da expressao são válidos; false caso contrario.
Throws:
VariavelNaoDeclaradaException - se existir um identificador nao declarado no ambiente.
VariavelNaoDeclaradaException - se existir um identificador declarado mais de uma vez no mesmo bloco do ambiente.
ClasseNaoDeclaradaException

getTipo

public Tipo getTipo(AmbienteCompilacao ambiente)
Retorna os tipos possiveis desta expressao.

Parameters:
ambiente - o ambiente de compilação.
Returns:
os tipos possiveis desta expressao.

obterComparacaoAND

private ValorBooleano obterComparacaoAND(AmbienteExecucao ambiente)
                                  throws VariavelJaDeclaradaException,
                                         VariavelNaoDeclaradaException,
                                         ObjetoNaoDeclaradoException,
                                         ClasseNaoDeclaradaException
Retorna o resultado de uma comparacao booleana AND

Parameters:
ambiente - é o Ambiente de Execução
Returns:
o resultado de uma comparacao booleana AND
Throws:
ClasseNaoDeclaradaException
VariavelJaDeclaradaException
VariavelNaoDeclaradaException
ObjetoNaoDeclaradoException