|
Poseidon for UMLTM UMLdoc |
|||||||||
|
|
|||
plp_functional1_util |
![]() |
|
|||
AvaliadorDeclaracao | Esta classe implementa um avaliador de declaracoes funcionais. | ||
AvaliadorDeclaracaoFuncional1 | Esta classe implementa o avaliador específico da LF1 | ||
ValorFuncao | Classe que implementa um ValorFuncao na LF1 (onde função não é um cidadão de primeira classe). | ||
VerificadorTiposDeclaracao | Esta classe implementa um verificador de tipos para as lingugens funcionais. | ||
VerificadorTiposDeclaracaoColateral | Classe que implementa um verificador de tipos para as declarações colaterais (let). | ||
VerificadorTiposDeclaracaoRecursiva | Classe que implementa um verificador de tipos para as declarações recursivas (letrec). |
![]() |
|
|||
IValorFuncao | Interface criada para evitar a duplicação de código da classe DecFuncao (e consequentemente VerificadorTiposDeclaracao) em lfuncional1 e lfuncional2 |
![]() |
|
Poseidon for UMLTM UMLdoc |
|||||||||
|