plp.imperative1.declaration
Class DeclaracaoVariavel

java.lang.Object
  plp.imperative1.declaration.Declaracao<Id,Expressao>
      plp.imperative1.declaration.DeclaracaoVariavel

public class DeclaracaoVariavel
extends Declaracao<Id,Expressao>

Constructor Summary

DeclaracaoVariavel(Id id, Expressao expressao)

Method Summary

boolean	checaTipo(AmbienteCompilacaoImperativa ambiente) Verifica se a declara��o est� bem tipada, ou seja, se a express�o de inicializa��o est� bem tipada, e cria o mapeamento da variavel para o seu tipo correspondente
AmbienteExecucaoImperativa	elabora(AmbienteExecucaoImperativa ambiente) Cria um mapeamento do identificador para o valor da express�o desta declara��o no AmbienteExecucao

Methods inherited from class java.lang.Object

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

Constructor Detail

DeclaracaoVariavel

public DeclaracaoVariavel(Id id,
                          Expressao expressao)

Method Detail

elabora

public AmbienteExecucaoImperativa elabora(AmbienteExecucaoImperativa ambiente)
                                   throws IdentificadorJaDeclaradoException,
                                          IdentificadorNaoDeclaradoException

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

Specified by:

elabora in class Declaracao<Id,Expressao>

Parameters:

ambiente - o ambiente que contem o mapeamento entre identificadores e valores.

Returns:

o ambiente modificado pela inicializa��o da vari�vel.

Throws:

IdentificadorJaDeclaradoException

IdentificadorNaoDeclaradoException

checaTipo

public boolean checaTipo(AmbienteCompilacaoImperativa ambiente)
                  throws IdentificadorJaDeclaradoException,
                         IdentificadorNaoDeclaradoException

Verifica se a declara��o est� bem tipada, ou seja, se a express�o de inicializa��o est� bem tipada, e cria o mapeamento da variavel para o seu tipo correspondente

Specified by:

checaTipo in class Declaracao<Id,Expressao>

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:

IdentificadorJaDeclaradoException

IdentificadorNaoDeclaradoException