bob.expression
Class TExprEnsVide

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

public class TExprEnsVide
extends TExpression

La classe TExprEnsVide contient les informations contenues dans un ensemble vide.

Syntaxe B:

{}

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

Constructor Summary
TExprEnsVide()
           
 
Method Summary
 void Afficher(java.io.Writer flux_sortie)
          Affiche un ensemble vide.
 tatibouet.bparser.Noeud ConstruireNoeud()
          Construit un Noeud Tatibouet à partir d'un ensemble vide.
 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.
 java.util.Vector 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.
 
Methods inherited from class bob.expression.TExpression
Simplifier
 
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

TExprEnsVide

public TExprEnsVide()
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

ListeDesNomsLibres

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

Overrides:
ListeDesNomsLibres in class TElementB
Parameters:
() -
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 vide.

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 vide.

Overrides:
ConstruireNoeud in class TElementB
Returns:
Noeud

EstSyntaxEgal

public boolean EstSyntaxEgal(TExpression e)
Recherche si l'expression en paramètre est syntaxiquement égale à l'objet courant.

Overrides:
EstSyntaxEgal in class TExpression
Parameters:
TExpression - e : l'expression à tester.
Returns:
Retourne vrai si e est un ensemble vide.


Copyright OB.