plp.imperative1.declaration.DeclaracaoVariavel Class Reference

List of all members.

Public Member Functions

 DeclaracaoVariavel (Id id, Expressao expressao)
AmbienteExecucaoImperativa elabora (AmbienteExecucaoImperativa ambiente) throws IdentificadorJaDeclaradoException, IdentificadorNaoDeclaradoException
boolean checaTipo (AmbienteCompilacaoImperativa ambiente) throws IdentificadorJaDeclaradoException, IdentificadorNaoDeclaradoException

Detailed Description

Definition at line 10 of file DeclaracaoVariavel.java.


Constructor & Destructor Documentation

plp.imperative1.declaration.DeclaracaoVariavel.DeclaracaoVariavel ( Id  id,
Expressao  expressao 
)

Definition at line 12 of file DeclaracaoVariavel.java.


Member Function Documentation

boolean plp.imperative1.declaration.DeclaracaoVariavel.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

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.

Definition at line 43 of file DeclaracaoVariavel.java.

AmbienteExecucaoImperativa plp.imperative1.declaration.DeclaracaoVariavel.elabora ( AmbienteExecucaoImperativa  ambiente  )  throws IdentificadorJaDeclaradoException, IdentificadorNaoDeclaradoException

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.

Definition at line 25 of file DeclaracaoVariavel.java.


The documentation for this class was generated from the following file:
Generated on Tue Sep 12 22:00:01 2006 for PLP by  doxygen 1.4.7