bob.expression
Class TExprBoolPred

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

public class TExprBoolPred
extends TExpression

La classe TExprBoolPred contient les informations contenues dans un bool(P). Elle concerne:

- la conversion de booléen (bool(P))
Syntaxe B:

bool(TPredicat)

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

Constructor Summary
TExprBoolPred(TPredicat Pred)
          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 bool(P).
 tatibouet.bparser.Noeud ConstruireNoeud()
          Construit un Noeud Tatibouet à partir d'une expression bool(P).
 TPredicat DonnerPredicat()
          Donne l'argument de la fonction.
 TElementB Dupliquer()
          Renvoie la copie conforme de l'element courant cloné sur toute sa hauteur
 boolean EstSyntaxEgal(TExpression e)
          Recherche si deux expressions sont syntaxiquement égales.
 java.util.Vector<TExprIdentificateur> ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat
 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 bool(P).
 
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

TExprBoolPred

public TExprBoolPred(TPredicat Pred)
Constructeur paramètré qui initialise les attributs avec les entrées de l'utilisateur.

Parameters:
Pred - Argument de la fonction, de type prédicat.
Method Detail

Dupliquer

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

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

DonnerPredicat

public TPredicat DonnerPredicat()
Donne l'argument de la fonction.

Returns:
L'argument qui est un prédicat.

Simplifier

public TExpression Simplifier()
Simplifie une expression bool(P).
Auteur Nicolas Stouls.

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

EstSyntaxEgal

public boolean EstSyntaxEgal(TExpression e)
Recherche si deux expressions sont syntaxiquement égales.

Overrides:
EstSyntaxEgal in class TExpression
Parameters:
e - l'expression dont on cherche à savoir si elle est syntaxiquement égale à l'objet this.
Returns:
Retourne vrai si les deux expressions sont syntaxiquement égales. Le résultat faux signifie qu'on n'est pas en mesure de dire quoi que ce soit (ne veut pas dire que les deux expressions ne sont pas syntaxiquement égales...). Auteur: Didier Bert

ListeDesNomsLibres

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

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 dupliqué et non modifie

Afficher

public void Afficher(java.io.Writer flux_sortie)
              throws java.io.IOException,
                     java.io.FileNotFoundException
Affiche un bool(P).

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 expression bool(P).

Overrides:
ConstruireNoeud in class TElementB
Returns:
Noeud


Copyright OB.