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.expression

Class ExpDeclaracao

public abstract class ExpDeclaracao

Classe abstrata que implementa comportamento comum entre as duas declarações das linguagens funcionais: let e letrec.

 Association Summary
List  seqdecFuncional
 
AvaliadorDeclaracao  avaliadorDeclaracao
 
VerificadorTiposDeclaracao  verificadorTiposDeclaracao
 
arrow_up
 

 Constructor Summary
public   ExpDeclaracao(List declaracoesFuncionais , Expressao expressaoArg )
Constroi uma lista com as declaracoes e expressões associadas. 
arrow_up
 

 Method Summary
public Valor   avaliar( AmbienteExecucao ambiente )
 
public void   construirAvaliadorVerificador()
Método 'template' que constroi um avaliador e um verificador de tipo pertinents para uma determianda declaração. 
public Expressao   getExpressao()
Retorna a expressao associada. 
public List   getSeqdecFuncional()
Retorno a seqüência de declarações funcionais associada. 
public Tipo   inferirTipo( AmbienteCompilacao ambiente , Substituicao phi )
Realiza a verificacao de tipos desta expressao. 
protected void   setAvaliadorDeclaracao( AvaliadorDeclaracao avaliador )
Atribui um avaliador pertinente para uma expressão declaração. 
protected void   setVerificadorTipoDeclaracao( VerificadorTiposDeclaracao verificador )
Atribui um verificador de tipos pertinente para uma expressão declaração. 
public String   toString()
Retorna uma representacao String desta expressao. 
arrow_up
 

 

 Association Detail

seqdecFuncional

List seqdecFuncional

 
arrow_up
 
 

avaliadorDeclaracao

AvaliadorDeclaracao avaliadorDeclaracao

 
arrow_up
 
 

verificadorTiposDeclaracao

VerificadorTiposDeclaracao verificadorTiposDeclaracao

 
arrow_up
 

 Constructor Detail

ExpDeclaracao

public ExpDeclaracao ExpDeclaracao(List declaracoesFuncionais , Expressao expressaoArg )

Constroi uma lista com as declaracoes e expressões associadas.
Parameters:
declaracoesFuncionais - lista de declaracoes
expressaoArg - expressao associada
 
arrow_up
 

 Method Detail

avaliar

public Valor avaliar( AmbienteExecucao ambiente )

 
arrow_up
 
 

construirAvaliadorVerificador

public void construirAvaliadorVerificador()

Método 'template' que constroi um avaliador e um verificador de tipo pertinents para uma determianda declaração. As declarações nas lingugens funcionais 1 e 2 necessitam de avaliadores e verificadores de tipos diferentes, que são instaciados corretamente através de suas implementações dete método, evitando assim duplicação de código. 
arrow_up
 
 

getExpressao

public Expressao getExpressao()

Retorna a expressao associada.
Returns:
Expressao expressão associada.
 
arrow_up
 
 

getSeqdecFuncional

public List getSeqdecFuncional()

Retorno a seqüência de declarações funcionais associada.
Returns:
List lista de declarações associadas.
 
arrow_up
 
 

inferirTipo

public Tipo inferirTipo( AmbienteCompilacao ambiente , Substituicao phi )

Realiza a verificacao de tipos desta expressao. Isto é feito chamando o método inferirTipo do verificador de tipos associado a este objeto.
Parameters:
ambiente - o ambiente de compilação.
phi - substituicao acumulada
lançada caso o tipo não possa ser verificado.
Returns:
tipo inferido para a declaração, lança uma exceção caso não consiga verificar o tipo
Throws:
ErroTipoException -
 
arrow_up
 
 

setAvaliadorDeclaracao

protected void setAvaliadorDeclaracao( AvaliadorDeclaracao avaliador )

Atribui um avaliador pertinente para uma expressão declaração.
Parameters:
avaliador - o avaliador correto para a expressão declaração.
 
arrow_up
 
 

setVerificadorTipoDeclaracao

protected void setVerificadorTipoDeclaracao( VerificadorTiposDeclaracao verificador )

Atribui um verificador de tipos pertinente para uma expressão declaração.
Parameters:
verificador - verificador de tipos correto para a expressão declaração
 
arrow_up
 
 

toString

public String toString()

Retorna uma representacao String desta expressao. Util para depuracao.
Returns:
uma representacao String desta expressao.
 
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.