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 ExpNot

public class ExpNot

Um objeto desta classe representa uma Expressao de Negacao logica.

 Constructor Summary
public   ExpNot( Expressao exp )
Constroi uma Expressao de negacao logica com expressao especificada. 
arrow_up
 

 Method Summary
public Valor   avaliar( AmbienteExecucao amb )
Retorna o valor da Expressao de negacao logica. 
protected Tipo   inferirTipoElementoTerminal( AmbienteCompilacao ambiente , Substituicao phi , Tipo tipoExpressao )
Realiza a verificacao de tipos desta expressao. 
arrow_up
 

 

 Constructor Detail

ExpNot

public ExpNot ExpNot( Expressao exp )

Constroi uma Expressao de negacao logica com expressao especificada.
Parameters:
exp - Expressao a ser negada. Assume-se que sua avaliacao resulta em ValorBooleano.
 
arrow_up
 

 Method Detail

avaliar

public Valor avaliar( AmbienteExecucao amb )

Retorna o valor da Expressao de negacao logica.
Parameters:
amb - o ambiente de execução.
se a variável não está declarada no ambiente.
Returns:
o valor da expressão avaliada.
Throws:
VariavelNaoDeclaradaException -
 
arrow_up
 
 

inferirTipoElementoTerminal

protected Tipo inferirTipoElementoTerminal( AmbienteCompilacao ambiente , Substituicao phi , Tipo tipoExpressao )

Realiza a verificacao de tipos desta expressao. Como a verificacao de expressao unaria jah foi feita, basta verificar se a expressao unfica com o tipo TipoBooleano.
Parameters:
ambiente - acumula tipos ja inferidos
phi - substituicao acumulada
tipoExpressao - o tipo associado a expressao
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.