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 IfThenElse

public class IfThenElse

Classe que implementa uma expressão if-then-else.

 Association Summary
Expressao  condicao
Expressão que denota a condição (if). 
Expressao  then
Expressão que denota a conseqüência (then). 
Expressao  elseExpressao
Expressão que denota o else. 
arrow_up
 

 Constructor Summary
public   IfThenElse( Expressao teste , Expressao thenExpressao , Expressao elseExpressao )
Constroi um objeto desta classe a partir de três expressões. 
arrow_up
 

 Method Summary
public Valor   avaliar( AmbienteExecucao ambiente )
Retorno o valor após a avaliação das expressões associadas. 
public Expressao   getCondicao()
Retorna a condção. 
public Expressao   getElseExpressao()
Retorna o else. 
public Expressao   getThen()
Retorno o then. 
public Tipo   inferirTipo( AmbienteCompilacao ambiente , Substituicao phi )
Realiza a verificacao de tipos desta expressao. 
public String   toString()
Retorna texto representando um objeto desta classe. 
arrow_up
 

 

 Association Detail

condicao

Expressao condicao

Expressão que denota a condição (if). 
arrow_up
 
 

then

Expressao then

Expressão que denota a conseqüência (then). 
arrow_up
 
 

elseExpressao

Expressao elseExpressao

Expressão que denota o else. 
arrow_up
 

 Constructor Detail

IfThenElse

public IfThenElse IfThenElse( Expressao teste , Expressao thenExpressao , Expressao elseExpressao )

Constroi um objeto desta classe a partir de três expressões.
Parameters:
teste - expressão que será considerado o if
thenExpressao - teste expressão que será considerado o then
elseExpressao - teste expressão que será considerado o else
 
arrow_up
 

 Method Detail

avaliar

public Valor avaliar( AmbienteExecucao ambiente )

Retorno o valor após a avaliação das expressões associadas.
Parameters:
ambiente - ambiente de execução
Returns:
valor da expressão
Throws:
VariavelNaoDeclaradaException -
VariavelJaDeclaradaException -
 
arrow_up
 
 

getCondicao

public Expressao getCondicao()

Retorna a condção.
Returns:
Expressao
 
arrow_up
 
 

getElseExpressao

public Expressao getElseExpressao()

Retorna o else.
Returns:
Expressao
 
arrow_up
 
 

getThen

public Expressao getThen()

Retorno o then.
Returns:
Expressao
 
arrow_up
 
 

inferirTipo

public Tipo inferirTipo( AmbienteCompilacao ambiente , Substituicao phi )

Realiza a verificacao de tipos desta expressao. O metodo verifica se o tipo do if unifica com o tipo TipoBooleano e se os tipos do then e do else unificam entre si.
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
 
 

toString

public String toString()

Retorna texto representando um objeto desta classe. 
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.