bob.expression
Class TExprEnsCompr

java.lang.Object
  extended by bob.elementB.TElementB
      extended by bob.expression.TExpression
          extended by bob.expression.TExprEnsCompr

public class TExprEnsCompr
extends TExpression

La classe TExprEnsCompr contient les informations contenues dans un ensemble de compréhension.

Syntaxe B:

{TExprIdentificateur[, TExprIdentificateur..] | TPredicat}

Version:
1.0 du 13/06/2001
Author:
Frédéric Chatel
See Also:
TExpression, TExprIdentificateur, TPredicat

Constructor Summary
TExprEnsCompr()
          Constructeur qui initialise les attributs avec des valeurs par défaut.
TExprEnsCompr(java.util.Vector<TExprIdentificateur> liste_ident, TPredicat p)
          Constructeur paramètré qui initialise les attributs avec les entrées de l'utilisateur.
 
Method Summary
 void Afficher(java.io.Writer flux_sortie)
          Affiche un ensemble de compréhension.
 tatibouet.bparser.Noeud ConstruireNoeud()
          Construit un Noeud Tatibouet à partir d'un ensemble de compréhension.
 java.util.Vector<TExprIdentificateur> DonnerListeIdent()
          Donne la liste des identificateurs définis dans l'ensemble.
 TPredicat DonnerPredicat()
          Donne le prédicat de définition de l'ensemble.
 TElementB Dupliquer()
          Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
 java.util.Vector<TExprIdentificateur> ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 TElementB Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TExpression Simplifier()
          Simplifie un ensemble en compréhension.
 
Methods inherited from class bob.expression.TExpression
EstSyntaxEgal
 
Methods inherited from class bob.elementB.TElementB
Afficher, RemplacerMultiple
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TExprEnsCompr

public TExprEnsCompr()
Constructeur qui initialise les attributs avec des valeurs par défaut.


TExprEnsCompr

public TExprEnsCompr(java.util.Vector<TExprIdentificateur> liste_ident,
                     TPredicat p)
Constructeur paramètré qui initialise les attributs avec les entrées de l'utilisateur.

Parameters:
liste_ident - Liste des identificateurs à définir dans l'ensemble.
p - Prédicat de définition.
Method Detail

Dupliquer

public TElementB Dupliquer()
Renvoie la copie conforme de l'element courant clone sur toute sa hauteur

Overrides:
Dupliquer in class TElementB
Returns:
un clone integral de l'element B courant

DonnerListeIdent

public java.util.Vector<TExprIdentificateur> DonnerListeIdent()
Donne la liste des identificateurs définis dans l'ensemble.

Returns:
La liste des identificateurs définis.

DonnerPredicat

public TPredicat DonnerPredicat()
Donne le prédicat de définition de l'ensemble.

Returns:
Le prédicat de définition de l'ensemble.

Simplifier

public TExpression Simplifier()
Simplifie un ensemble en compréhension. Auteur: Nicolas Stouls.

Overrides:
Simplifier in class TExpression
Returns:
La même expression avec le prédicat simplifié. Si le prédicat est FAUX, retourne l'ensemble vide.

ListeDesNomsLibres

public java.util.Vector<TExprIdentificateur> ListeDesNomsLibres()
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.

Overrides:
ListeDesNomsLibres in class TElementB
Returns:
un vecteur dont chaque element est un Tidentificateur libre.

Remplacer

public TElementB Remplacer(TExprIdentificateur Id,
                           TExpression e)
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.

Overrides:
Remplacer in class TElementB
Parameters:
Id - : l'identificateur a remplacer
e - : la nouvelle expression
Returns:
Si Id est non libre dans l'element B courant alors toutes ses iterations sont remplacees par e Sinon : L'element B courant est renvoye non modifie

Afficher

public void Afficher(java.io.Writer flux_sortie)
              throws java.io.IOException,
                     java.io.FileNotFoundException
Affiche un ensemble de compréhension.

Overrides:
Afficher in class TElementB
Parameters:
flux_sortie - Flux de sortie: fichier de type FileWriter ou terminal(new PrintWriter(System.out)).
Throws:
java.io.IOException
java.io.FileNotFoundException

ConstruireNoeud

public tatibouet.bparser.Noeud ConstruireNoeud()
Construit un Noeud Tatibouet à partir d'un ensemble de compréhension.

Overrides:
ConstruireNoeud in class TElementB
Returns:
Noeud


Copyright OB.