plp.orientadaAspectos1.expressao.binaria
Class ExpAnd

java.lang.Object
  plp.orientadaAspectos1.expressao.binaria.ExpBinaria
      plp.orientadaAspectos1.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.

Methods inherited from class plp.orientadaAspectos1.expressao.binaria.ExpBinaria

getDir, getEsq, getOperador

Methods inherited from class java.lang.Object

equals, 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,
                     ObjetoJaDeclaradoException,
                     ProcedimentoNaoDeclaradoException,
                     ProcedimentoJaDeclaradoException,
                     ClasseJaDeclaradaException,
                     ClasseNaoDeclaradaException,
                     EntradaInvalidaException,
                     PointcutNaoDeclaradoException,
                     UnsuporttedAdviceAroundForAccessAttributeException

Retorna o valor da expressao de Conjuncao Logica

Parameters:

O - ambiente de execuçao, contendo o mapeamento de identificadores a valores.

Throws:

PointcutNaoDeclaradoException

EntradaInvalidaException

ClasseNaoDeclaradaException

ClasseJaDeclaradaException

ProcedimentoJaDeclaradoException

ProcedimentoNaoDeclaradoException

ObjetoJaDeclaradoException

UnsuporttedAdviceAroundForAccessAttributeException

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.