|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectbob.elementB.Util
public class Util
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.
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 |
---|
public Util()
Method Detail |
---|
public static java.lang.String Tabuler(int niveau)
niveau
- int : donne le niveau d'imbrication
public static java.util.Vector<TExpression> DupliquerListeExpr(java.util.Vector<TExpression> ListeExpr)
ListeExpr
- est une liste d'expressions donnée
public static java.util.Vector<TExprIdentificateur> DupliquerListeExprId(java.util.Vector<TExprIdentificateur> ListeId)
ListeId
- une liste d'identificateurs donnée
public static java.util.Vector<TSubstitution> DupliquerListeSub(java.util.Vector<TSubstitution> ListeSub)
ListeSub
- une liste de substitution donnée
public static java.util.Vector<TPredicat> DupliquerListePred(java.util.Vector<TPredicat> ListePred)
ListePred
- une liste de prédicats donnée
public static java.util.Vector<TElementB> DupliquerListe(java.util.Vector<TElementB> Liste)
Liste
- une liste donnée d'éléments B
public static boolean ContientId(TExprIdentificateur Id, java.util.Vector<TExprIdentificateur> ListeId)
Id
- TExprIdentificateurListeId
- : Vector de TExprIdentificateur
public static java.util.Vector<TExprIdentificateur> FusionnerVecteurs(java.util.Vector<TExprIdentificateur> v1, java.util.Vector<TExprIdentificateur> v2)
v1
- le premier Vectorv2
- le deuxième Vectorpublic static java.util.Vector<TExprIdentificateur> RetirerLesIds_1de2(java.util.Vector<TExprIdentificateur> ListeVar, java.util.Vector<TExprIdentificateur> Liste_Id)
ListeVar
- le premier vecteurListe_Id
- le deuxième vecteur d'identificateurs
public static java.util.Vector<TExprIdentificateur> IdsCommuns(java.util.Vector<TExprIdentificateur> V1, java.util.Vector<TExprIdentificateur> V2)
V1
- le premier vecteurV2
- le deuxième vecteur d'identificateurs
public static TExprIdentificateur DonneNomNonLibre(TExprIdentificateur Id, java.util.Vector<TExprIdentificateur> ListeIdsLibres)
Id
- un TExprIdentificateurListeIdsLibres
- un Vectorpublic static java.util.Vector<TExpression> cvVectorExprId(java.util.Vector<TExprIdentificateur> vId)
vId
- un vecteur de TExprIdentificateurs
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |