bob.expression
Class TExprEnsExt

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

public class TExprEnsExt
extends TExpression

La classe TExprEnsExt contient les informations contenues dans un ensemble en extension.

Syntaxe B:

{TExpression [, TExpression...]}

Modification par Didier Bert (janvier 2005) : l'ensemble vide est codé par un ensemble en extension dont la longueur est nulle. La classe TExprEnsVide n'existe plus.

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

Constructor Summary
TExprEnsExt()
          Constructeur qui initialise les attributs avec des valeurs par défaut.
TExprEnsExt(java.util.Vector<TExpression> liste_val)
          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 en extension.
 tatibouet.bparser.Noeud ConstruireNoeud()
          Construit un Noeud Tatibouet à partir d'un ensemble en extension.
 java.util.Vector<TExpression> DonnerListeVal()
          Donne la liste des valeurs définies dans l'ensemble.
 TElementB Dupliquer()
          Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
 boolean EstSyntaxEgal(TExpression e)
          Recherche si l'expression en paramètre est syntaxiquement égale à l'objet courant.
 boolean EstVide()
          Testeur de l'ensemble vide.
 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 extension.
 
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

TExprEnsExt

public TExprEnsExt()
Constructeur qui initialise les attributs avec des valeurs par défaut. C'est le constructeur de l'ensemble vide. On peut aussi utiliser TExprEnsExt(null).


TExprEnsExt

public TExprEnsExt(java.util.Vector<TExpression> liste_val)
Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur.

Parameters:
liste_val - Liste des valeurs à mettre dans l'ensemble.
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

DonnerListeVal

public java.util.Vector<TExpression> DonnerListeVal()
Donne la liste des valeurs définies dans l'ensemble.

Returns:
La liste des valeurs définies.

EstVide

public boolean EstVide()
Testeur de l'ensemble vide.

Returns:
vrai si l'ensemble est vide

Simplifier

public TExpression Simplifier()
Simplifie un ensemble en extension.
Auteur: Nicolas Stouls.

Overrides:
Simplifier in class TExpression
Returns:
Renvoie l'expression completement simplifiée.

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

EstSyntaxEgal

public boolean EstSyntaxEgal(TExpression e)
Recherche si l'expression en paramètre est syntaxiquement égale à l'objet courant. On ne teste que le cas de l'expression vide.

Overrides:
EstSyntaxEgal in class TExpression
Parameters:
e - l'expression à tester.
Returns:
Retourne vrai si this et e sont des ensembles vides.

Afficher

public void Afficher(java.io.Writer flux_sortie)
              throws java.io.IOException,
                     java.io.FileNotFoundException
Affiche un ensemble en extension.

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 en extension.

Overrides:
ConstruireNoeud in class TElementB
Returns:
Noeud


Copyright OB.