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 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( AmbienteExecucao amb )
Retorna o valor da Expressao de Igualdade 
protected Tipo   inferirTipoElementoTerminal( AmbienteCompilacao ambiente , Substituicao phi , Tipo tipoEsquerda , Tipo tipoDireita )
Verifica o tipo de expressoes de Igualdade Como a verificacao de expressao binaria jah foi feita, basta verificar se os dois lados unificam com o tipo TipoBooleano  
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( AmbienteExecucao amb )

Retorna o valor da Expressao de Igualdade 
arrow_up
 
 

inferirTipoElementoTerminal

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

Verifica o tipo de expressoes de Igualdade Como a verificacao de expressao binaria jah foi feita, basta verificar se os dois lados unificam com o tipo TipoBooleano
Parameters:
ambiente - acumula tipos ja inferidos
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
 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.