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

Class ExpDeclaracao

public class ExpDeclaracao

Classe que implementa uma declaracao de variavel (let)

 Association Summary
List  seqdecVariavel
 
arrow_up
 

 Constructor Summary
public   ExpDeclaracao(List declarations , Expressao expressaoArg )
Constroi uma lista com as declaracoes de variaveis e a expressao associada  
arrow_up
 

 Method Summary
public Valor   avaliar( AmbienteExecucao ambiente )
Retorna o valor da variavel, avaliando a expressao associada 
private void   includeValueBindings( AmbienteExecucao ambiente , Map resolvedValues )
 
public Tipo   inferirTipo( AmbienteCompilacao ambiente , Substituicao phi )
Realiza a verificacao de tipos de uma expressao declaracao. 
private Map   resolveValueBindings( AmbienteExecucao ambiente )
 
arrow_up
 

 

 Association Detail

seqdecVariavel

List seqdecVariavel

 
arrow_up
 

 Constructor Detail

ExpDeclaracao

public ExpDeclaracao ExpDeclaracao(List declarations , Expressao expressaoArg )

Constroi uma lista com as declaracoes de variaveis e a expressao associada
Parameters:
declarations - lista de declaracoes de variaveis
expresaoArg - expressao associada
 
arrow_up
 

 Method Detail

avaliar

public Valor avaliar( AmbienteExecucao ambiente )

Retorna o valor da variavel, avaliando a expressao associada 
arrow_up
 
 

includeValueBindings

private void includeValueBindings( AmbienteExecucao ambiente , Map resolvedValues )

 
arrow_up
 
 

inferirTipo

public Tipo inferirTipo( AmbienteCompilacao ambiente , Substituicao phi )

Realiza a verificacao de tipos de uma expressao declaracao. O que o metodo faz é percorrer todas as declarcoes verificando o tipo de cada uma das expressoes e, em seguida, tenta aplica todas as restricoes de tipo encontradas, verificando se elas podem ser resolvidas.
Parameters:
ambiente - ambiente onde serao armazenados os tipos inferidos durante o processo de verificacao
phi - substituicao
excecao lancada quando o metodo nao consegue verificar o tipo de uma expressao
Returns:
tipo inferido para a expressao
Throws:
ErroTipoException -
 
arrow_up
 
 

resolveValueBindings

private Map resolveValueBindings( AmbienteExecucao ambiente )

 
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.