plp.orientadaAspectos1.declaracao.procedimento
Interface DecProcedimento

All Known Implementing Classes:

DecProcedimentoComposta, DecProcedimentoSimples

public interface DecProcedimento

Interface que representa uma declaração de Procedimento.

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.
DecProcedimento	getDecProcedimento(Id nomeProcedimento) Retorna o DecProcedimento a ser declarado na Declaração da Classe.
Procedimento	getProcedimento(Id nomeProcedimento) Retorna o procedimento a ser declarado na Declaração da Classe

Method Detail

getProcedimento

Procedimento getProcedimento(Id nomeProcedimento)
                             throws ProcedimentoNaoDeclaradoException

Retorna o procedimento a ser declarado na Declaração da Classe

Parameters:

id - o identificador da declaracao de procedimento

Returns:

o procedimento da declaração

Throws:

ProcedimentoNaoDeclaradoException

getDecProcedimento

DecProcedimento getDecProcedimento(Id nomeProcedimento)
                                   throws ProcedimentoNaoDeclaradoException

Retorna o DecProcedimento a ser declarado na Declaração da Classe.

Parameters:

nomeProcedimento - Identificador da declaração de procedimento.

Returns:

A declaração de procedimento.

Throws:

ProcedimentoNaoDeclaradoException

checaTipo

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

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

ClasseNaoDeclaradaException

ClasseJaDeclaradaException