Overview   Package   Classifier   Tree   Index   Help 
    Poseidon for UMLTM
  UMLdoc
 PREV      NEXT       FRAMES    NO FRAMES      

plp.expressions2.expression

Interface Expressao

public interface Expressao
has stereotype << interface >>

Uma expressao é a unidade basica na Linguagem de Expressoes.

 Association Summary
public ExpUnaria  expUnaria
 
public ExpBinaria  expBinaria
 
public ExpBinaria  expBinaria_1
 
public DecVariavel  decVariavel
 
public IfThenElse  ifThenElse
 
public IfThenElse  ifThenElse_1
 
public IfThenElse  ifThenElse_2
 
public Aplicacao  aplicacao
 
arrow_up
 

 Method Summary
public Valor   avaliar( AmbienteExecucao amb )
Avalia a expressao retornando seu Valor. 
public Tipo   inferirTipo( AmbienteCompilacao ambiente , Substituicao phi )
Realiza a verificacao de tipos de uma expressao. 
arrow_up
 

 

 Association Detail

expUnaria

public ExpUnaria expUnaria

 
arrow_up
 
 

expBinaria

public ExpBinaria expBinaria

 
arrow_up
 
 

expBinaria_1

public ExpBinaria expBinaria_1

 
arrow_up
 
 

decVariavel

public DecVariavel decVariavel

 
arrow_up
 
 

ifThenElse

public IfThenElse ifThenElse

 
arrow_up
 
 

ifThenElse_1

public IfThenElse ifThenElse_1

 
arrow_up
 
 

ifThenElse_2

public IfThenElse ifThenElse_2

 
arrow_up
 
 

aplicacao

public Aplicacao aplicacao

 
arrow_up
 

 Method Detail

avaliar

public Valor avaliar( AmbienteExecucao amb )

Avalia a expressao retornando seu Valor. 
arrow_up
 
 

inferirTipo

public Tipo inferirTipo( AmbienteCompilacao ambiente , Substituicao phi )

Realiza a verificacao de tipos de uma expressao. Para tanto, deve satisfazer restricoes de tipo contidas na substituicao phi. Satisfeitas as restricoes, a substituicao e alterada, tornando-se o unificador mais geral que satisfaz as restricoes.
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
 

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.