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

Class ExpAnd

public class ExpAnd

Um objeto desta classe representa uma Expressao de Conjuncao logica.

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

 Method Summary
public Valor   avaliar()
Avalia a expressao, retorna seu valor. 
public Tipo   inferirTipoElementoTerminal( Substituicao phi , Tipo tipoEsquerda , Tipo tipoDireita )
Verifica o tipo de da expressoes de Conjuncao Logica Como a verificacao de expressao binaria jah foi feita, basta verificar se os dois lados unificam com o tipo TipoBooleano  
arrow_up
 

 

 Constructor Detail

ExpAnd

public ExpAnd ExpAnd( Expressao esq , Expressao dir )

Constroi uma Expressao de Conjuncao logica com as sub-expressoes especificadas. Para que a expressao construida possa ser corretamente avaliada, as sub-expressaoes devem ser do tipo TipoBooleano
Parameters:
esq - Expressao da esquerda
dir - Expressao da direita
 
arrow_up
 

 Method Detail

avaliar

public Valor avaliar()

Avalia a expressao, retorna seu valor. 
arrow_up
 
 

inferirTipoElementoTerminal

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

Verifica o tipo de da expressoes de Conjuncao Logica Como a verificacao de expressao binaria jah foi feita, basta verificar se os dois lados unificam com o tipo TipoBooleano
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
 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.