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

Class ExpEquals


public class ExpEquals

Um objeto desta classe representa uma Expressao de Igualdade entre Expressoes cuja avaliacao resulta num mesmo valor primitivo.


 Constructor Summary
public   ExpEquals( Expressao esq , Expressao dir )
Constroi uma Expressao de Igualdade com as sub-expressoes especificadas. 
arrow_up
 

 Method Summary
public Valor   avaliar()
Retorna o valor da Expressao de Igualdade 
protected Tipo   inferirTipoElementoTerminal( Substituicao phi , Tipo tipoEsquerda , Tipo tipoDireita )
Realiza a verificacao de tipos desta expressao. 
arrow_up
 

 

 Constructor Detail

ExpEquals

public ExpEquals ExpEquals( Expressao esq , Expressao dir )

Constroi uma Expressao de Igualdade com as sub-expressoes especificadas. Assume-se que estas sub-expressoes resultam num mesmo valor primitivo quando avaliadas.
Parameters:
esq - Expressao da esquerda
dir - Expressao da direita
 
arrow_up
 

 Method Detail

avaliar

public Valor avaliar()

Retorna o valor da Expressao de Igualdade 
arrow_up
 
 

inferirTipoElementoTerminal

protected Tipo inferirTipoElementoTerminal( Substituicao phi , Tipo tipoEsquerda , Tipo tipoDireita )

Realiza a verificacao de tipos desta expressao. Como a verificacao de expressao binaria jah foi feita, basta verificar se os dois lados possuem o mesmo tipo.
Parameters:
phi - substituicao acumulada
tipoEsquerda - tipo associado a expressao da esquerda
tipoDireita - tipo associado a expressao da direita
Returns:
TipoBooleano, caso a verificacao tenha sucesso, caso contrario lanca uma excecao
Throws:
ErroTipoException -
 
arrow_up
 

Created  2003 - 7 - 22

    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.