bob.predicat
Class TPredParenthese

java.lang.Object
  extended by bob.elementB.TElementB
      extended by bob.predicat.TPredicat
          extended by bob.predicat.TPredParenthese

public class TPredParenthese
extends TPredicat

La classe TPredParenthese contient les informations concernant les prédicats parenthèsés.

Syntaxe B:

(TPredicat)

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

Constructor Summary
TPredParenthese(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 prédicat parenthèsé.
 void Afficher(java.io.Writer flux_sortie, int niveau)
          Affiche un prédicat parethèsé avec presentation.
 tatibouet.bparser.Noeud ConstruireNoeud()
          construit un Noeud à partir d'un prédicat parenthèsé
 TPredicat DonnerPredicat()
          Donne le prédicat mis entre parenthèse.
 TElementB Dupliquer()
          Renvoie la copie conforme de l'element courant clone sur toute sa hauteur Méthode de Nicolas Stouls.
 boolean EstSyntaxEgal(TPredicat P)
          Recherche si le prédicat courant est syntaxiquement égal au prédicat en paramètre.
 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.
 TPredicat Simplifier()
          Renvoie le predicat simplifié VRAI ou FAUX, ou entre parenthèses.
 
Methods inherited from class bob.elementB.TElementB
RemplacerMultiple
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TPredParenthese

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

Parameters:
p - Prédicat à mettre entre parenthèses.
Method Detail

DonnerPredicat

public TPredicat DonnerPredicat()
Donne le prédicat mis entre parenthèse.

Returns:
prédicat mis entre parenthèse.

Dupliquer

public TElementB Dupliquer()
Renvoie la copie conforme de l'element courant clone sur toute sa hauteur Méthode de Nicolas Stouls.

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

Simplifier

public TPredicat Simplifier()
Renvoie le predicat simplifié VRAI ou FAUX, ou entre parenthèses. Méthode de fabien Sanglard.

Overrides:
Simplifier in class TPredicat
Returns:
Renvoie le TPredicat simplifie correspondant.

EstSyntaxEgal

public boolean EstSyntaxEgal(TPredicat P)
Recherche si le prédicat courant est syntaxiquement égal au prédicat en paramètre. Méthode de Didier Bert utilisée pour des simplifications.

Overrides:
EstSyntaxEgal in class TPredicat
Returns:
vrai si les deux prédicats sont syntaxiquement égaux

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 prédicat parenthèsé.

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

Afficher

public void Afficher(java.io.Writer flux_sortie,
                     int niveau)
              throws java.io.IOException,
                     java.io.FileNotFoundException
Affiche un prédicat parethèsé avec presentation. En fait, on va a la ligne apres les &.

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

ConstruireNoeud

public tatibouet.bparser.Noeud ConstruireNoeud()
construit un Noeud à partir d'un prédicat parenthèsé

Overrides:
ConstruireNoeud in class TElementB
Returns:
Noeud


Copyright OB.