Public Member Functions | |
DeclaracaoVariavel (Id id, Expressao expressao) | |
AmbienteExecucaoImperativa | elabora (AmbienteExecucaoImperativa ambiente) throws IdentificadorJaDeclaradoException, IdentificadorNaoDeclaradoException |
boolean | checaTipo (AmbienteCompilacaoImperativa ambiente) throws IdentificadorJaDeclaradoException, IdentificadorNaoDeclaradoException |
Definition at line 10 of file DeclaracaoVariavel.java.
Definition at line 12 of file DeclaracaoVariavel.java.
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
ambiente | o ambiente que contem o mapeamento entre identificadores e seus tipos. |
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
ambiente | o ambiente que contem o mapeamento entre identificadores e valores. |
Definition at line 25 of file DeclaracaoVariavel.java.