plp.imperative2.declaration
Class DeclaracaoParametro

java.lang.Object
  plp.imperative2.declaration.DeclaracaoParametro

public class DeclaracaoParametro
extends java.lang.Object

Constructor Summary

DeclaracaoParametro(Id id, Tipo tipo)

Method Summary

boolean	checaTipo(AmbienteCompilacaoImperativa2 ambiente)
AmbienteCompilacaoImperativa2	declaraParametro(AmbienteCompilacaoImperativa2 ambiente) Cria um mapeamento do identificador para o tipo do parametro desta declaração no AmbienteCompilacaoImperativa2
AmbienteExecucaoImperativa2	elabora(AmbienteExecucaoImperativa2 ambiente)
Id	getId()
Tipo	getTipo()

Methods inherited from class java.lang.Object

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

Constructor Detail

DeclaracaoParametro

public DeclaracaoParametro(Id id,
                           Tipo tipo)

Method Detail

getId

public Id getId()

getTipo

public Tipo getTipo()

elabora

public AmbienteExecucaoImperativa2 elabora(AmbienteExecucaoImperativa2 ambiente)

checaTipo

public boolean checaTipo(AmbienteCompilacaoImperativa2 ambiente)

declaraParametro

public AmbienteCompilacaoImperativa2 declaraParametro(AmbienteCompilacaoImperativa2 ambiente)
                                               throws VariavelNaoDeclaradaException,
                                                      VariavelJaDeclaradaException

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

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