bob.elementB
Class Util

java.lang.Object
  extended by bob.elementB.Util

public class Util
extends java.lang.Object

La classe Util regroupe les méthodes utiles aux calculs sur les objets B. Il traite essentiellement des vecteurs d'objets ou des fonctions d'affichage.

Version:
1.0 du 23/04/02, 2.0 du 22/09/04
Author:
Didier BERT

Constructor Summary
Util()
           
 
Method Summary
static boolean ContientId(TExprIdentificateur Id, java.util.Vector<TExprIdentificateur> ListeId)
          Prend une liste d'identificateurs et un identificateur, et dit si ce dernier appartient à la liste.
static java.util.Vector<TExpression> cvVectorExprId(java.util.Vector<TExprIdentificateur> vId)
          Conversion d'un vecteur d'identificateur en un vecteur d'expression.
static TExprIdentificateur DonneNomNonLibre(TExprIdentificateur Id, java.util.Vector<TExprIdentificateur> ListeIdsLibres)
          Renvoie un identificateur derivé de Id non libre dans ListeIdsLibres.
static java.util.Vector<TElementB> DupliquerListe(java.util.Vector<TElementB> Liste)
          Prend une liste d'elementB et en renvoie une copie
static java.util.Vector<TExpression> DupliquerListeExpr(java.util.Vector<TExpression> ListeExpr)
          Prend une liste d'expressions et en revoie une copie
static java.util.Vector<TExprIdentificateur> DupliquerListeExprId(java.util.Vector<TExprIdentificateur> ListeId)
          Prend une liste d'identificateurs et en revoie une copie
static java.util.Vector<TPredicat> DupliquerListePred(java.util.Vector<TPredicat> ListePred)
          Prend une liste de Predicats et en revoie une copie
static java.util.Vector<TSubstitution> DupliquerListeSub(java.util.Vector<TSubstitution> ListeSub)
          Prend une liste de Substitutions et en revoie une copie
static java.util.Vector<TExprIdentificateur> FusionnerVecteurs(java.util.Vector<TExprIdentificateur> v1, java.util.Vector<TExprIdentificateur> v2)
          Prend deux vecteurs de TExprIdentificateur et fusionne leur contenu.
static java.util.Vector<TExprIdentificateur> IdsCommuns(java.util.Vector<TExprIdentificateur> V1, java.util.Vector<TExprIdentificateur> V2)
          Etant donné deux vecteurs d'Identificateurs V1 et V2, retourne le vecteur des identificateurs communs aux deux vecteurs.
static java.util.Vector<TExprIdentificateur> RetirerLesIds_1de2(java.util.Vector<TExprIdentificateur> ListeVar, java.util.Vector<TExprIdentificateur> Liste_Id)
          Prend deux vecteurs d'identificateurs V1 et V2 et retourne le vecteur d'éléments de V2 qui ne sont pas dans V1.
static java.lang.String Tabuler(int niveau)
          Retourne la tabulation standard pour le paragraphage
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Util

public Util()
Method Detail

Tabuler

public static java.lang.String Tabuler(int niveau)
Retourne la tabulation standard pour le paragraphage

Parameters:
niveau - int : donne le niveau d'imbrication
Returns:
la chaine de tabulation.

DupliquerListeExpr

public static java.util.Vector<TExpression> DupliquerListeExpr(java.util.Vector<TExpression> ListeExpr)
Prend une liste d'expressions et en revoie une copie

Parameters:
ListeExpr - est une liste d'expressions donnée
Returns:
la copie de la liste ListeExpr

DupliquerListeExprId

public static java.util.Vector<TExprIdentificateur> DupliquerListeExprId(java.util.Vector<TExprIdentificateur> ListeId)
Prend une liste d'identificateurs et en revoie une copie

Parameters:
ListeId - une liste d'identificateurs donnée
Returns:
la copie de la liste ListeId

DupliquerListeSub

public static java.util.Vector<TSubstitution> DupliquerListeSub(java.util.Vector<TSubstitution> ListeSub)
Prend une liste de Substitutions et en revoie une copie

Parameters:
ListeSub - une liste de substitution donnée
Returns:
la copie de ListeSub.

DupliquerListePred

public static java.util.Vector<TPredicat> DupliquerListePred(java.util.Vector<TPredicat> ListePred)
Prend une liste de Predicats et en revoie une copie

Parameters:
ListePred - une liste de prédicats donnée
Returns:
la copie de ListePred

DupliquerListe

public static java.util.Vector<TElementB> DupliquerListe(java.util.Vector<TElementB> Liste)
Prend une liste d'elementB et en renvoie une copie

Parameters:
Liste - une liste donnée d'éléments B
Returns:
la copie de ListeId

ContientId

public static boolean ContientId(TExprIdentificateur Id,
                                 java.util.Vector<TExprIdentificateur> ListeId)
Prend une liste d'identificateurs et un identificateur, et dit si ce dernier appartient à la liste.

Parameters:
Id - TExprIdentificateur
ListeId - : Vector de TExprIdentificateur
Returns:
VRAI ssi ListeId!=null et ListeId contient Id (FAUX sinon)

FusionnerVecteurs

public static java.util.Vector<TExprIdentificateur> FusionnerVecteurs(java.util.Vector<TExprIdentificateur> v1,
                                                                      java.util.Vector<TExprIdentificateur> v2)
Prend deux vecteurs de TExprIdentificateur et fusionne leur contenu. Les doublons sont simplifiés. Les elements contenus sont des copies des originaux.

Parameters:
v1 - le premier Vector
v2 - le deuxième Vector
Returns:
un vecteur qui est la fusion des deux autres, et dont chaque identificateur est unique.

RetirerLesIds_1de2

public static java.util.Vector<TExprIdentificateur> RetirerLesIds_1de2(java.util.Vector<TExprIdentificateur> ListeVar,
                                                                       java.util.Vector<TExprIdentificateur> Liste_Id)
Prend deux vecteurs d'identificateurs V1 et V2 et retourne le vecteur d'éléments de V2 qui ne sont pas dans V1.
!x.(x:V2 & x/:V1 <=> x:resultat)

Parameters:
ListeVar - le premier vecteur
Liste_Id - le deuxième vecteur d'identificateurs
Returns:
un vecteur qui est la liste des identificateurs tel que défini ci-dessus. De plus, il n'y a pas de doublons.

IdsCommuns

public static java.util.Vector<TExprIdentificateur> IdsCommuns(java.util.Vector<TExprIdentificateur> V1,
                                                               java.util.Vector<TExprIdentificateur> V2)
Etant donné deux vecteurs d'Identificateurs V1 et V2, retourne le vecteur des identificateurs communs aux deux vecteurs.
!x.(x:V1 & x:V2 <=> x:resultat)

Parameters:
V1 - le premier vecteur
V2 - le deuxième vecteur d'identificateurs
Returns:
un vecteur qui contient les identificateurs communs à V1 et V2 ou null s'il n'y a pas d'identificateurs en commun. De plus, il n'y a pas de doublons.

DonneNomNonLibre

public static TExprIdentificateur DonneNomNonLibre(TExprIdentificateur Id,
                                                   java.util.Vector<TExprIdentificateur> ListeIdsLibres)
Renvoie un identificateur derivé de Id non libre dans ListeIdsLibres.

Parameters:
Id - un TExprIdentificateur
ListeIdsLibres - un Vector
Returns:
Un TExprIdentificateur.

cvVectorExprId

public static java.util.Vector<TExpression> cvVectorExprId(java.util.Vector<TExprIdentificateur> vId)
Conversion d'un vecteur d'identificateur en un vecteur d'expression. Cette méthode est utile lorsqu'un vecteur d'identificateurs est passé en paramètre à une méthode qui attend un vecteur d'expression. Evidemment un vecteur d'Identificateur n'est pas une sous-classe des vecteurs d'expression (le constructeur vecteur n'est pas monotone pour l'héritage !)
Auteur: Didier Bert.

Parameters:
vId - un vecteur de TExprIdentificateurs
Returns:
un vecteur de TExpression vExpr tel que:
- vExpr.size()==vId.size()
- pour tout i dans le domaine, vExpr(i) est égal à vId(i)


Copyright OB.