plp.orientadaAspectos1.declaracao.aspecto.introducao
Interface DecIntroducao

All Superinterfaces:

Declaracao

All Known Implementing Classes:

DecIntroducaoComposta, DecIntroducaoProcedimento, DecIntroducaoVariavel

public interface DecIntroducao
extends Declaracao

Interface que representa a introducao de elementos na estrutura de classes ja existentes

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

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

Specified by:

elabora in interface Declaracao

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

checaTipo

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

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

Specified by:

checaTipo in interface Declaracao

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:

VariavelNaoDeclaradaException

VariavelJaDeclaradaException

ClasseNaoDeclaradaException

ClasseJaDeclaradaException

ProcedimentoJaDeclaradoException

ProcedimentoNaoDeclaradoException