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

Class Aplicacao

public class Aplicacao

Classe que modela uma aplicação de funcao. Agora é possível criar funções de alta ordem, já que o nome da funçao tambem é uma expressão na LF2.

 Association Summary
private Expressao  func
 
arrow_up
 

 Constructor Summary
public   Aplicacao( Expressao f , List expressoes )
 
arrow_up
 

 Method Summary
public Valor   avaliar( AmbienteExecucao ambiente )
Avalia a aplicao de função. 
public List   getArgsExpressao()
Retorna a lista expressões associadas. 
public Expressao   getFunc()
Retorna o identificador da função, agora uma expressão. 
private void   includeValueBindings( AmbienteExecucao ambiente , Map mapIdValor )
 
public Tipo   inferirTipo( AmbienteCompilacao ambiente , Substituicao phi )
Verifica o tipo de uma aplicacao de funcao. 
private Map   resolveParametersBindings( AmbienteExecucao ambiente , ValorFuncao funcao )
 
public String   toString()
Retorna uma representacao String desta expressao. 
arrow_up
 

 

 Association Detail

func

private Expressao func

 
arrow_up
 

 Constructor Detail

Aplicacao

public Aplicacao Aplicacao( Expressao f , List expressoes )

 
arrow_up
 

 Method Detail

avaliar

public Valor avaliar( AmbienteExecucao ambiente )

Avalia a aplicao de função.
Parameters:
ambiente - ambiente de execucao
Returns:
valor resultante da aplicacao da funcao aos valores passados
Throws:
VariavelNaoDeclaradaException -
VariavelJaDeclaradaException -
 
arrow_up
 
 

getArgsExpressao

public List getArgsExpressao()

Retorna a lista expressões associadas.
Returns:
ListaExpressao
 
arrow_up
 
 

getFunc

public Expressao getFunc()

Retorna o identificador da função, agora uma expressão.
Returns:
expressão que identifica a função.
 
arrow_up
 
 

includeValueBindings

private void includeValueBindings( AmbienteExecucao ambiente , Map mapIdValor )

 
arrow_up
 
 

inferirTipo

public Tipo inferirTipo( AmbienteCompilacao ambiente , Substituicao phi )

Verifica o tipo de uma aplicacao de funcao. Verifica incrementalmente os tipos de cada um dos identificadores (f a b c ... n) e em seguida verifica se o tipo do aplicador unifica com o tipo inferido para ele.
Parameters:
ambiente - ambiente que contem os mapeamentos de identificadores e tipos
phi - substituicao acumulada
caso a expressao nao esteja corretamente tipada
Returns:
tipo da expressao
Throws:
ErroTipoException -
 
arrow_up
 
 

resolveParametersBindings

private Map resolveParametersBindings( AmbienteExecucao ambiente , ValorFuncao funcao )

 
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.