bob.predicat
Class TPredComparaison

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

public class TPredComparaison
extends TPredicat

La classe TPredComparaison contient les informations concernant les prédicats de comparaison.

Syntaxe B:

Expression TOpComparaison Expression

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

Constructor Summary
TPredComparaison(TOpComparaison op, TExpression mg, TExpression md)
          Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur.
 
Method Summary
 void Afficher(java.io.Writer flux_sortie)
          Affiche un prédicat de comparaison.
 void Afficher(java.io.Writer flux_sortie, int niveau)
          Affiche un prédicat de comparaison avec presentation.
 tatibouet.bparser.Noeud ConstruireNoeud()
          Construit un Noeud Tatibouet à partir d'un prédicat de comparaison.
 TExpression DonnerMembreDroite()
          Donne le membre de droite du prédicat de comparaison.
 TExpression DonnerMembreGauche()
          Donne le membre de gauche du prédicat de comparaison.
 TOpComparaison DonnerOperateur()
          Donne l'opérateur de comparaison utilisé.
 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()
          Simplification du prédicat de comparaison.
 
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

TPredComparaison

public TPredComparaison(TOpComparaison op,
                        TExpression mg,
                        TExpression md)
Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur.

Parameters:
op - L'opérateur de comparaison à utiliser.
mg - Membre de gauche du prédicat.
md - Membre de droite du prédicat.
Method Detail

DonnerOperateur

public TOpComparaison DonnerOperateur()
Donne l'opérateur de comparaison utilisé.

Returns:
L'opérateur de comparaison utilisé.

DonnerMembreGauche

public TExpression DonnerMembreGauche()
Donne le membre de gauche du prédicat de comparaison.

Returns:
Le membre de gauche du prédicat de comparaison.

DonnerMembreDroite

public TExpression DonnerMembreDroite()
Donne le membre de droite du prédicat de comparaison.

Returns:
Le membre de droite du prédicat de comparaison.

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()
Simplification du prédicat de comparaison. Retourne une copie du prédicat. On pourrait tester plus finement (égalité, etc.). Méthode de Fabien Sanglard.

Overrides:
Simplifier in class TPredicat
Returns:
Renvoie le predicat courant simplifié.

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 de comparaison.

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 de comparaison 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

ConstruireNoeud

public tatibouet.bparser.Noeud ConstruireNoeud()
Construit un Noeud Tatibouet à partir d'un prédicat de comparaison. Méthode de Aymeric Callendrier.

Overrides:
ConstruireNoeud in class TElementB
Returns:
Noeud


Copyright OB.