bob.predicat
Class TPredConst

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

public class TPredConst
extends TPredicat

La classe TPredConst definit les constantes VRAI et FAUX necessaire. à la simplification des Predicats.


Field Summary
static TPredConst FAUX
           
static TPredConst VRAI
           
 
Constructor Summary
TPredConst()
           
 
Method Summary
 void Afficher(java.io.Writer flux_sortie)
          Affiche un TPredConst ( Vrai ou Faux ).
 void Afficher(java.io.Writer flux_sortie, int niveau)
          Affiche un TPredConst ( Vrai ou Faux ) avec presentation.
 TElementB Dupliquer()
          Cette méthode n'est là que pour éviter d'avoir des cas non prévus à l'exécution.
 boolean EstSyntaxEgal(TPredicat P)
          Recherche si le prédicat courant est syntaxiquement égal au prédicat en paramètre.
 TElementB Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TPredicat Simplifier()
          Simplifie un prédicat.
 void TPredConst()
          Constructeur qui ne fait rien.
 
Methods inherited from class bob.elementB.TElementB
ConstruireNoeud, ListeDesNomsLibres, RemplacerMultiple
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

VRAI

public static final TPredConst VRAI

FAUX

public static final TPredConst FAUX
Constructor Detail

TPredConst

public TPredConst()
Method Detail

TPredConst

public void TPredConst()
Constructeur qui ne fait rien.


Simplifier

public TPredicat Simplifier()
Simplifie un prédicat. Dans ce cas, on retourne la constante.

Overrides:
Simplifier in class TPredicat
Returns:
le prédicat simplifié.

Dupliquer

public TElementB Dupliquer()
Cette méthode n'est là que pour éviter d'avoir des cas non prévus à l'exécution.

Overrides:
Dupliquer in class TElementB
Returns:
TElementB element

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

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 occurrences sont remplacees par e (??? Didier) 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 TPredConst ( Vrai ou Faux ).

Overrides:
Afficher in class TElementB
Parameters:
flux_sortie - Flux de sortie: fichier de type Writer 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 TPredConst ( Vrai ou Faux ) avec presentation.

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


Copyright OB.