plp.orientadaObjetos1.declaracao.procedimento
Class DecParametro

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

public class DecParametro
extends java.lang.Object

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

Field Summary

private Id	id Identificador declarado.
private Tipo	tipo Tipo do identificador declarado.

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

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

Field Detail

id

private Id id

Identificador declarado.

tipo

private Tipo tipo

Tipo do identificador declarado.

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