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.tipo

Class Substituicao

public abstract class Substituicao

Classe que modela uma substituicao. Uma substituicao e representada como um par [T,T'] e indica que o primeiro elemento do par, um tipo T deve substituido pelo segundo elemento, uma expressao de tipos T' em todos os locais em que T apareca

 Association Summary
private HashMap  mapeador
Variavel que guarda o mapeamento entre variaveis de tipo e expressoes de tipo 
arrow_up
 

 Constructor Summary
public   Substituicao()
Constroi uma substituicao, inicialmente vazia 
arrow_up
 

 Method Summary
public Substituicao   adicionar( Substituicao novaSubstituicao )
Adiciona a nova substituicao a substituicao atual, substituindo as coincidencias. 
public void   associar( TipoSimples tipoSimples , Tipo novoTipo )
Associa no mapeamento interno um tipo simples com um novo tipo  
public boolean   contem( TipoSimples tipoSimples )
Verifica se a substituicao contem um determinado tipo simples  
public HashMap   getMapeador()
Retorna o mapeamento interno das substituicoes 
public Tipo   getResultadoSubstituicao( Tipo tipo )
Dado um tipo, este metodo aplica a substituicao armazenada e retorna um novo tipo, resultado da aplicacao da substituicao. 
public Substituicao   unifica( Tipo a , Tipo b )
Método que realiza o processo de unificação. 
arrow_up
 

 

 Association Detail

mapeador

private HashMap mapeador

Variavel que guarda o mapeamento entre variaveis de tipo e expressoes de tipo 
arrow_up
 

 Constructor Detail

Substituicao

public Substituicao Substituicao()

Constroi uma substituicao, inicialmente vazia 
arrow_up
 

 Method Detail

adicionar

public Substituicao adicionar( Substituicao novaSubstituicao )

Adiciona a nova substituicao a substituicao atual, substituindo as coincidencias.
Parameters:
novaSubstituicao -
Returns:
A substituicao resultante da operacao
 
arrow_up
 
 

associar

public void associar( TipoSimples tipoSimples , Tipo novoTipo )

Associa no mapeamento interno um tipo simples com um novo tipo
Parameters:
tipoSimples -
novoTipo -
 
arrow_up
 
 

contem

public boolean contem( TipoSimples tipoSimples )

Verifica se a substituicao contem um determinado tipo simples
Parameters:
tipoSimples -
Returns:
true caso a substituicao contenha o tipo simples, false caso contrario
 
arrow_up
 
 

getMapeador

public HashMap getMapeador()

Retorna o mapeamento interno das substituicoes 
arrow_up
 
 

getResultadoSubstituicao

public Tipo getResultadoSubstituicao( Tipo tipo )

Dado um tipo, este metodo aplica a substituicao armazenada e retorna um novo tipo, resultado da aplicacao da substituicao.
Parameters:
tipo - tipo sobre o qual uma substituicao deve ser realizada
Returns:
O tipo resultado da aplicacao da substituicao
 
arrow_up
 
 

unifica

public Substituicao unifica( Tipo a , Tipo b )

Método que realiza o processo de unificação. Verifica se duas expressões unificam dado um ambiente de tipos (conjunto de substituições, representado pelo mapeador interno). Retorna a menor das substituicoes mais gerais que unificam os termos e, caso nao seja possivel unificar os tipos, lanca um excecao.
Parameters:
a - tipo
b - tipo
Returns:
A menor das substituicoes mais gerais que unifica os termos
Throws:
ErroUnificacaoException -
 
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.