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

Class SubstituicaoFuncional

public class SubstituicaoFuncional

Classe que modela uma substituicao funcional. Agora, uma substituicao, representada como um par [T,T'], pode possuir tipos compostos da forma (T1-->T2--> ... -->Tn) ou (T1 x T2 x ... x Tn --> T') como elementos do par.

 Constructor Summary
public   SubstituicaoFuncional()
Constroi uma substituicao simples usando o construtor da super classe 
arrow_up
 

 Method Summary
public Substituicao   estender( TipoSimples tipoSimples , Tipo tipo )
Adiciona um novo mapeamento de tipos [T,T'] na substituicao  
public Tipo   getResultadoSubstituicao( Tipo tipo )
Recebe um tipo, aplica a substituicao e retorna um novo tipo  
public Substituicao   unifica( Tipo a , Tipo b )
Método que realiza o processo de unificação. 
arrow_up
 

 

 Constructor Detail

SubstituicaoFuncional

public SubstituicaoFuncional SubstituicaoFuncional()

Constroi uma substituicao simples usando o construtor da super classe 
arrow_up
 

 Method Detail

estender

public Substituicao estender( TipoSimples tipoSimples , Tipo tipo )

Adiciona um novo mapeamento de tipos [T,T'] na substituicao
Parameters:
tipoSimples - primeiro elemento do par
tipo - segundo elemento do par
Quando jah ha um tipo associado diferente do mapeamento passado
Returns:
A nova substituicao após adicionado o mapeamento
Throws:
ErroTipoException -
 
arrow_up
 
 

getResultadoSubstituicao

public Tipo getResultadoSubstituicao( Tipo tipo )

Recebe um tipo, aplica a substituicao e retorna um novo tipo
Parameters:
tipo - tipo a ser aplicado
Returns:
O tipo resultante 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). Retorna a substituição resultante do processo de unificação. Se a unificação não pode ser realizada lança uma exceção.
Parameters:
a - tipo a ser unificado
b - tipo a ser unificado
caso a unificaçao não seja possível
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.