Poseidon for UMLTM
  UMLdoc
 PREV  CLASSIFIER    NEXT  CLASSIFIER     FRAMES    NO FRAMES      
SUMMARY:   INNER | ATTR | ASSOC | CONSTR | METHOD     DETAIL:   INNER | ATTR | ASSOC | CONSTR | METHOD     DIAGRAMS:   COLLAB | SEQ | STATE | ACTIV

plp.functional2.expression

Class ExpDeclaracaoRecursiva


public class ExpDeclaracaoRecursiva

Classe que implementa uma declaracao de funcao recursiva (letrec). É importante notar que qualquer declaração recursiva nas linguagens funcionais devem ser implementadas com esta classe (incluindo recursão mútua).


 Constructor Summary
public   ExpDeclaracaoRecursiva(List declaracoesFuncionais , Expressao expressaoArg )
Constroi uma lista com as declaracoes e a expressao associada. 
arrow_up
 

 Method Summary
public void   construirAvaliadorVerificador()
Constroi um avaliador e um verificador de tipo corretos para uma expressão declaração letrec. 
arrow_up
 

 

 Constructor Detail

ExpDeclaracaoRecursiva

public ExpDeclaracaoRecursiva ExpDeclaracaoRecursiva(List declaracoesFuncionais , Expressao expressaoArg )

Constroi uma lista com as declaracoes e a expressao associada.
Parameters:
declaracoesFuncionais - lista de declarações
expressaoArg - expressão associada
 
arrow_up
 

 Method Detail

construirAvaliadorVerificador

public void construirAvaliadorVerificador()

Constroi um avaliador e um verificador de tipo corretos para uma expressão declaração letrec. 
arrow_up
 

Created  2003 - 7 - 22

    Poseidon for UMLTM
  UMLdoc
 PREV  CLASSIFIER    NEXT  CLASSIFIER     FRAMES    NO FRAMES      
SUMMARY:   INNER | ATTR | ASSOC | CONSTR | METHOD     DETAIL:   INNER | ATTR | ASSOC | CONSTR | METHOD     DIAGRAMS:   COLLAB | SEQ | STATE | ACTIV

Generated with Poseidon for UMLTM.
Poseidon is a registered trademark of Gentleware AG in Germany, USA and other countries. Copyright 2001 Gentleware AG, Vogt-Kölln-Str.30, 22527 Hamburg, Germany. All Rights Reserved.

UML is a trademark or registered trademark of Object Management Group, Inc. in the U.S. and other countries.