bob.expression
Class TExprOpQuant

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

public class TExprOpQuant
extends TExpression

La classe TExprOpQuant contient les informations contenues dans une operation quantifiée.

Syntaxe B:

UNION TExprIdentificateur[, TExprIdentificateur...].(TPredicat | TExpression)
INTER TExprIdentificateur[, TExprIdentificateur...].(TPredicat | TExpression)
SIGMA TExprIdentificateur[, TExprIdentificateur...].(TPredicat | TExpression)
PI TExprIdentificateur[, TExprIdentificateur...].(TPredicat | TExpression)

% TExprIdentificateur[, TExprIdentificateur...].(TPredicat | TExpression)

[Note: Remplace les classes TExprUnionQuant TExprInterQuant TExprSommeGen TExprProdGen, TExprLambda]

Version:
1.0 du 28/06/2001
Author:
Didier Bert
See Also:
TOpQuantif, TExpression, TExprIdentificateur, TPredicat

Constructor Summary
TExprOpQuant(TOpQuantif oper, java.util.Vector<TExprIdentificateur> liste_var, TPredicat p, TExpression expr)
          Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur.
 
Method Summary
 void Afficher(java.io.Writer flux_sortie)
          Affiche une operation quantifiée.
 tatibouet.bparser.Noeud ConstruireNoeud()
          Construit un Noeud Tatibouet à partir d'une operation quantifiée.
 TExpression DonnerExpress()
          Donne l'expression sur laquelle porte la quantification.
 java.util.Vector<TExprIdentificateur> DonnerListeVar()
          Donne la liste des variables de l'opération quantifiée.
 TOpQuantif DonnerOperateur()
          Donne l'opérateur de quantification utilisé.
 TPredicat DonnerPredicat()
          Donne le prédicat de typage de l'opération quantifiée.
 TElementB Dupliquer()
          Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
 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.
 TExpression Simplifier()
          Simplifie une Opération Quantifiée.
 
Methods inherited from class bob.expression.TExpression
EstSyntaxEgal
 
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

TExprOpQuant

public TExprOpQuant(TOpQuantif oper,
                    java.util.Vector<TExprIdentificateur> liste_var,
                    TPredicat p,
                    TExpression expr)
Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur.

Parameters:
oper - Opérateur de quantification.
liste_var - Liste des variables à quantifier.
p - Prédicat de typage des variables.
expr - Expression dont on calcule l'intersection.
Method Detail

Dupliquer

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

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

DonnerOperateur

public TOpQuantif DonnerOperateur()
Donne l'opérateur de quantification utilisé.

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

DonnerListeVar

public java.util.Vector<TExprIdentificateur> DonnerListeVar()
Donne la liste des variables de l'opération quantifiée.

Returns:
La liste des variables de l'opération quantifiée.

DonnerPredicat

public TPredicat DonnerPredicat()
Donne le prédicat de typage de l'opération quantifiée.

Returns:
Le prédicat de typage de l'opération quantifiée.

DonnerExpress

public TExpression DonnerExpress()
Donne l'expression sur laquelle porte la quantification.

Returns:
L'expression sur laquelle porte la quantification.

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 une operation quantifiée.

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 operation quantifiée.

Overrides:
ConstruireNoeud in class TElementB
Returns:
Noeud

Simplifier

public TExpression Simplifier()
Simplifie une Opération Quantifiée. Méthode de Nicolas Stouls.

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


Copyright OB.