plp.orientadaAspectos1.declaracao.procedimento
Class DecParametro

java.lang.Object
  plp.orientadaAspectos1.declaracao.procedimento.DecParametro

public class DecParametro
extends java.lang.Object

Classe que representa uma declaração de parâmetros.

Constructor Summary

DecParametro(Id id, Tipo tipo)
Construtor.

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.
AmbienteCompilacao	declaraParametro(AmbienteCompilacao ambiente) Cria um mapeamento do identificador para o tipo do parametro desta declaração no AmbienteCompilacao
AmbienteExecucao	elabora(AmbienteExecucao ambiente) Cria um mapeamento do identificador para o valor da expressão desta declaração no AmbienteExecucao
Id	getId() Obtém o identificador declarado.
Tipo	getTipo() Obtém o tipo do identifador declarado.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DecParametro

public DecParametro(Id id,
                    Tipo tipo)

Construtor.

Parameters:

id - Identificador declarado.

tipo - Tipo do identificador declarado.

Method Detail

getId

public Id getId()

Obtém o identificador declarado.

Returns:

o identificador.

getTipo

public Tipo getTipo()

Obtém o tipo do identifador declarado.

Returns:

o tipo do identifador declarado.

elabora

public AmbienteExecucao elabora(AmbienteExecucao ambiente)

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.

checaTipo

public boolean checaTipo(AmbienteCompilacao ambiente)
                  throws 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:

ClasseNaoDeclaradaException

declaraParametro

public AmbienteCompilacao declaraParametro(AmbienteCompilacao ambiente)
                                    throws VariavelNaoDeclaradaException,
                                           VariavelJaDeclaradaException

Cria um mapeamento do identificador para o tipo do parametro desta declaração no AmbienteCompilacao

Parameters:

ambiente - o ambiente que contem o mapeamento entre identificador e seu tipo.

Returns:

o ambiente modificado pela declaração do parametro.

Throws:

VariavelNaoDeclaradaException

VariavelJaDeclaradaException