bob.expression
Class TExprSequence

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

public class TExprSequence
extends TExpression

La classe TExprSequence contient les informations contenues dans une séquence en extension.

Syntaxe B:

[TExpression [, TExpression...]]

Version:
1.0 du 13/06/2001, 1.1 du 2/10/2002: Contient aussi le cas de la séquence vide.
Author:
Frédéric Chatel, Didier Bert
See Also:
TExpression

Constructor Summary
TExprSequence(java.util.Vector<TExpression> liste_val)
          Constructeur paramétré qui initialise les attributs.
 
Method Summary
 void Afficher(java.io.Writer flux_sortie)
          Affiche une séquence en extension.
 tatibouet.bparser.Noeud ConstruireNoeud()
          Construit un Noeud Tatibouet à partir d'une séquence en extension.
 java.util.Vector<TExpression> DonnerListeVal()
          Donne la liste des valeurs définies dans la séquence.
 TElementB Dupliquer()
          Renvoie la copie de l'élément courant cloné sur toute sa hauteur
 boolean EstVide()
          Indique si la séquence est 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 une expression séquence.
 TExpression TExprSequenceVide()
          Pseudo-constructeur qui construit une séquence vide
 
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

TExprSequence

public TExprSequence(java.util.Vector<TExpression> liste_val)
Constructeur paramétré qui initialise les attributs.

Parameters:
liste_val - Liste des valeurs dans la séquence.
Method Detail

TExprSequenceVide

public TExpression TExprSequenceVide()
Pseudo-constructeur qui construit une séquence vide


DonnerListeVal

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

Returns:
La liste des valeurs définies.

EstVide

public boolean EstVide()
Indique si la séquence est vide.

Returns:
Vrai si la séquence est vide, faux sinon.

Dupliquer

public TElementB Dupliquer()
Renvoie la copie de l'élément courant cloné sur toute sa hauteur

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

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

Simplifier

public TExpression Simplifier()
Simplifie une expression séquence. Méthode de Nicolas Stouls.

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

Afficher

public void Afficher(java.io.Writer flux_sortie)
              throws java.io.IOException,
                     java.io.FileNotFoundException
Affiche une séquence 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'une séquence en extension.

Overrides:
ConstruireNoeud in class TElementB
Returns:
Noeud


Copyright OB.