plp.functional1.declaration.DeclaracaoFuncional Interface Reference

Inherited by plp.functional1.declaration.DecFuncao, plp.functional1.declaration.DecVariavel, and plp.functional2.declaration.DecFuncao.

Inheritance diagram for plp.functional1.declaration.DeclaracaoFuncional:

Inheritance graph
[legend]
List of all members.

Public Member Functions

Id getID ()
int getAridade ()
Expressao getExpressao ()
boolean checaTipo (AmbienteCompilacao ambiente) throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException
Tipo getTipo (AmbienteCompilacao amb) throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException

Detailed Description

Definition at line 10 of file DeclaracaoFuncional.java.


Member Function Documentation

boolean plp.functional1.declaration.DeclaracaoFuncional.checaTipo ( AmbienteCompilacao  ambiente  )  throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException

Realiza a verificacao de tipos desta declaração.

Parameters:
amb o ambiente de compilação.
Returns:
true se os tipos da expressao sao validos; false caso contrario.
Exceptions:
VariavelNaoDeclaradaException se existir um identificador nao declarado no ambiente.
VariavelNaoDeclaradaException se existir um identificador declarado mais de uma vez no mesmo bloco do ambiente.

Implemented in plp.functional1.declaration.DecFuncao, plp.functional1.declaration.DecVariavel, and plp.functional2.declaration.DecFuncao.

int plp.functional1.declaration.DeclaracaoFuncional.getAridade (  ) 

Retorna a aridade da funcao declarada. Variaveis tem aridade 0.

Returns:
a aridade da funcao declarada.

Implemented in plp.functional1.declaration.DecFuncao, plp.functional1.declaration.DecVariavel, and plp.functional2.declaration.DecFuncao.

Expressao plp.functional1.declaration.DeclaracaoFuncional.getExpressao (  ) 

Retorna a expressao associada.

Returns:
a expressao associada.

Implemented in plp.functional1.declaration.DecFuncao, plp.functional1.declaration.DecVariavel, and plp.functional2.declaration.DecFuncao.

Id plp.functional1.declaration.DeclaracaoFuncional.getID (  ) 

Implemented in plp.functional1.declaration.DecFuncao, plp.functional1.declaration.DecVariavel, and plp.functional2.declaration.DecFuncao.

Tipo plp.functional1.declaration.DeclaracaoFuncional.getTipo ( AmbienteCompilacao  amb  )  throws VariavelNaoDeclaradaException, VariavelJaDeclaradaException

Retorna os tipos possiveis desta declaração.

Parameters:
amb o ambiente que contem o mapeamento entre identificadores e tipos.
Returns:
os tipos possiveis desta declaração.
Exceptions:
VariavelNaoDeclaradaException se houver uma variável não declarada no ambiente.
VariavelJaDeclaradaException se houver uma mesma variável declarada duas vezes no mesmo bloco do ambiente.

Implemented in plp.functional1.declaration.DecFuncao, plp.functional1.declaration.DecVariavel, and plp.functional2.declaration.DecFuncao.


The documentation for this interface was generated from the following file:
Generated on Tue Sep 12 21:55:59 2006 for PLP by  doxygen 1.4.7