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 TipoComposto


public class TipoComposto

Classe que implementa os tipos simples da linguagem, isto é, todos os tipos da forma (T1-->T2--> ... -->Tn) ou (T1 x T2 x ... x Tn --> T').


 Association Summary
private Vector  listaTipos
Lista de tipos que formam o tipo composto. 
public Tipo  tipo
 
arrow_up
 

 Constructor Summary
public   TipoComposto()
Constroi um tipo composto, inicialmente vazio. 
arrow_up
 

 Method Summary
public void   add( Tipo tipo )
Adiciona um novo tipo ao tipo composto. 
public boolean   contem( Tipo tipo )
Testa se um determinado tipo está contido nete tipo composto. 
public int   getAridade()
Retorno a aridade do tipo composto. 
public String   getNomeTipo()
Retorno o nome do tipo como um string. 
public Tipo   getSubTipo(int index )
Retorno o subtipo especificado pelo índice. 
public Tipo   getTail()
Retorna o resto do tipo, isto é, todos os subtipos que formam este tipo composto, exceto pelo primeiro. 
private Set   getVariaveisEsquematicas()
Retorna um conjunto de todas as variaveis esquematicas de um tipo composto (sem repetição, portanto). 
public Tipo   instanciar()
Instancia todas as variáveis esquemáticas de um tipo composto com novas varávies de tipo. 
public boolean   isEsquematico()
Verifica se o tipo composto é esquemático  
public void   setEsquematico(boolean esquematico )
Atribui às variáveis de tipo de um tipo composto um valor booleano, fazendo-as esquemáticas (polimórficas) ou não. 
arrow_up
 

 

 Association Detail

listaTipos

private Vector listaTipos

Lista de tipos que formam o tipo composto. 
arrow_up
 
 

tipo

public Tipo tipo

 
arrow_up
 

 Constructor Detail

TipoComposto

public TipoComposto TipoComposto()

Constroi um tipo composto, inicialmente vazio. 
arrow_up
 

 Method Detail

add

public void add( Tipo tipo )

Adiciona um novo tipo ao tipo composto.
Parameters:
tipo - tipo a ser adicionado
 
arrow_up
 
 

contem

public boolean contem( Tipo tipo )

Testa se um determinado tipo está contido nete tipo composto.
Parameters:
tipo - tipo a ser testado
Returns:
true se o tipo estiver no tipo composto, false caso contrário
 
arrow_up
 
 

getAridade

public int getAridade()

Retorno a aridade do tipo composto.
Returns:
aridade do tipo composto
 
arrow_up
 
 

getNomeTipo

public String getNomeTipo()

Retorno o nome do tipo como um string.
Returns:
nome do tipo composto como um string
 
arrow_up
 
 

getSubTipo

public Tipo getSubTipo(int index )

Retorno o subtipo especificado pelo índice.
Parameters:
index - índice do subtipo a ser retornado
Returns:
o subtipo de índice index.
 
arrow_up
 
 

getTail

public Tipo getTail()

Retorna o resto do tipo, isto é, todos os subtipos que formam este tipo composto, exceto pelo primeiro. Caso o tipo composto tenha aridade igual a 1, o método retorna, retorno o elemento na primeira posição.
Returns:
tipo resultante desta operação
 
arrow_up
 
 

getVariaveisEsquematicas

private Set getVariaveisEsquematicas()

Retorna um conjunto de todas as variaveis esquematicas de um tipo composto (sem repetição, portanto).
Returns:
conjunto de variáveis esquemáticas que formam o tipo composto.
 
arrow_up
 
 

instanciar

public Tipo instanciar()

Instancia todas as variáveis esquemáticas de um tipo composto com novas varávies de tipo.
Returns:
tipo após a instanciação das variáveis esquemáticas ter sido realizada.
 
arrow_up
 
 

isEsquematico

public boolean isEsquematico()

Verifica se o tipo composto é esquemático
Returns:
true se o tipo for esquemático, false caso contrário
 
arrow_up
 
 

setEsquematico

public void setEsquematico(boolean esquematico )

Atribui às variáveis de tipo de um tipo composto um valor booleano, fazendo-as esquemáticas (polimórficas) ou não.
Parameters:
esquematico - true para o caso de uma variável de tipo esquemática, false caso contrário.
 
arrow_up
 

Created  2003 - 7 - 22

    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.