bob.predicat
Class TPredEnsemble

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

public class TPredEnsemble
extends TPredicat

La classe TPredEnsemble contient les informations concernant les prédicats ensemblistes.

Syntaxe B:

Expr1[, ...Expr n] OpérateurEnsembliste Expr'

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

Constructor Summary
TPredEnsemble(TOpEnsemble op, java.util.Vector<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 ensembliste.
 void Afficher(java.io.Writer flux_sortie, int niveau)
          Affiche un prédicat ensembliste avec presentation.
 tatibouet.bparser.Noeud ConstruireNoeud()
          Construit un Noeud Tatibouet à partir d'un prédicat ensembliste.
 TExpression DonnerMembreDroite()
          Donne le membre de droite du prédicat ensembliste.
 java.util.Vector<TExpression> DonnerMembreGauche()
          Donne le membre de gauche du prédicat ensembliste.
 TOpEnsemble DonnerOperateur()
          Donne l'opérateur ensembliste utilisé.
 TElementB Dupliquer()
          Renvoie la copie de l'élément courant cloné sur toute sa hauteur
 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.
 
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

TPredEnsemble

public TPredEnsemble(TOpEnsemble op,
                     java.util.Vector<TExpression> mg,
                     TExpression md)
Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur.

Parameters:
op - Opérateur de comparaison à utiliser.
mg - Liste des membres de gauche de la comparaison.
md - Membre de droite de la comparaison.
Method Detail

DonnerOperateur

public TOpEnsemble DonnerOperateur()
Donne l'opérateur ensembliste utilisé.

Returns:
L'opérateur ensembliste utilisé.

DonnerMembreGauche

public java.util.Vector<TExpression> DonnerMembreGauche()
Donne le membre de gauche du prédicat ensembliste.

Returns:
Membre de gauche du prédicat ensembliste.

DonnerMembreDroite

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

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

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

Dupliquer

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

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

Simplifier

public TPredicat Simplifier()
Simplification du prédicat. On renvoie une copie du prédicat. On pourrait faire des calculs plus subtils en fonction des opérateurs. Méthode de Fabien Sanglard.

Overrides:
Simplifier in class TPredicat
Returns:
Renvoie le meme predicat 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 (P => P, P & P, etc).

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

Afficher

public void Afficher(java.io.Writer flux_sortie)
              throws java.io.IOException,
                     java.io.FileNotFoundException
Affiche un prédicat ensembliste.

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

Overrides:
ConstruireNoeud in class TElementB
Returns:
Noeud


Copyright OB.