Overview   Package   Classifier   Tree   Index   Help 
    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.functional1.util

Class VerificadorTiposDeclaracao

public abstract class VerificadorTiposDeclaracao

Esta classe implementa um verificador de tipos para as lingugens funcionais. As duas formas de declaração (let e letrec) possuem formas de verificação de tipos distintas. Esta classe abstrata implementa o comportamento comum aos dois verificadores, dexando a cargo de cada um dos verificadores implementar o comportamento específico, evitando assim duplicacao de codigo.

 Association Summary
public ExpDeclaracao  expDeclaracao
 
arrow_up
 

 Constructor Summary
public   VerificadorTiposDeclaracao(List declaracoesFuncionais , Expressao expressaoArg )
 
arrow_up
 

 Method Summary
public Expressao   getExpressao()
Returns the expressao. 
public List   getSeqdecFuncional()
Returns the seqdecVariavel. 
public Tipo   inferirTipo( AmbienteCompilacao ambiente , Substituicao phi )
Metodo 'template' que será implementado por cada um dos verificadores de tipo específicos para cada declaração. 
arrow_up
 

 

 Association Detail

expDeclaracao

public ExpDeclaracao expDeclaracao

 
arrow_up
 

 Constructor Detail

VerificadorTiposDeclaracao

public VerificadorTiposDeclaracao VerificadorTiposDeclaracao(List declaracoesFuncionais , Expressao expressaoArg )

 
arrow_up
 

 Method Detail

getExpressao

public Expressao getExpressao()

Returns the expressao.
Returns:
Expressao
 
arrow_up
 
 

getSeqdecFuncional

public List getSeqdecFuncional()

Returns the seqdecVariavel.
Returns:
List
 
arrow_up
 
 

inferirTipo

public Tipo inferirTipo( AmbienteCompilacao ambiente , Substituicao phi )

Metodo 'template' que será implementado por cada um dos verificadores de tipo específicos para cada declaração.
Parameters:
ambiente - ambiente que contem os mapeamentos de identificadores e tipos
phi - substituicao acumulada
ErroTipoException caso a expressao nao esteja corretamente tipada
Returns:
tipo da expressao
Throws:
ErroTipoException -
 
arrow_up
 

Created  2003 - 7 - 22
 Overview   Package   Classifier   Tree   Index   Help 
    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.