plp.orientadaAspectos1.declaracao
Interface Declaracao

All Known Subinterfaces:

DecElemento, DecIntroducao, DecVariavel

All Known Implementing Classes:

CompostaDecVariavel, DecAspecto, DecClasse, DecElementoComposto, DecIntroducaoComposta, DecIntroducaoProcedimento, DecIntroducaoVariavel, DecVariavelObjeto, SimplesDecVariavel

public interface Declaracao

Interface que representa uma declaração.

Method Summary

boolean	checaTipo(AmbienteCompilacao ambiente) Verifica se a declaração está bem tipada, ou seja, se a expressão de inicialização está bem tipada.
AmbienteExecucao	elabora(AmbienteExecucao ambiente) Cria um mapeamento do identificador para o valor da expressão desta declaração no AmbienteExecucao

Method Detail

elabora

AmbienteExecucao elabora(AmbienteExecucao ambiente)
                         throws VariavelJaDeclaradaException,
                                VariavelNaoDeclaradaException,
                                ClasseJaDeclaradaException,
                                ClasseNaoDeclaradaException,
                                ObjetoNaoDeclaradoException,
                                ObjetoJaDeclaradoException,
                                ProcedimentoNaoDeclaradoException,
                                ProcedimentoJaDeclaradoException,
                                EntradaInvalidaException,
                                PointcutNaoDeclaradoException,
                                UnsuporttedAdviceAroundForAccessAttributeException

Cria um mapeamento do identificador para o valor da expressão desta declaração no AmbienteExecucao

Parameters:

ambiente - o ambiente que contem o mapeamento entre identificadores e valores.

Returns:

o ambiente modificado pela inicialização da variável.

Throws:

VariavelJaDeclaradaException

VariavelNaoDeclaradaException

ClasseJaDeclaradaException

ClasseNaoDeclaradaException

ObjetoNaoDeclaradoException

ObjetoJaDeclaradoException

ProcedimentoNaoDeclaradoException

ProcedimentoJaDeclaradoException

EntradaInvalidaException

PointcutNaoDeclaradoException

UnsuporttedAdviceAroundForAccessAttributeException

checaTipo

boolean checaTipo(AmbienteCompilacao ambiente)
                  throws VariavelJaDeclaradaException,
                         VariavelNaoDeclaradaException,
                         ProcedimentoJaDeclaradoException,
                         ProcedimentoNaoDeclaradoException,
                         ClasseJaDeclaradaException,
                         ClasseNaoDeclaradaException

Verifica se a declaração está bem tipada, ou seja, se a expressão de inicialização está bem tipada.

Parameters:

ambiente - o ambiente que contem o mapeamento entre identificadores e seus tipos.

Returns:

true se os tipos da declaração são válidos; false caso contrario.

Throws:

VariavelJaDeclaradaException

VariavelNaoDeclaradaException

ProcedimentoJaDeclaradoException

ProcedimentoNaoDeclaradoException

ClasseJaDeclaradaException

ClasseNaoDeclaradaException