bob.expression
Class TExprEvalFonc

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

public class TExprEvalFonc
extends TExpression

La classe TExprEvalFonc contient les informations contenues dans une évaluation de fonction. Elle concerne:

- l'évaluation de fonction proprement dite
- les expressions successeur et prédécesseur (succ, pred)
- les expressions maximum, minimum et cardinal (max, min, card)
- les sous-ensembles et sous-ensembles finis (POW, POW1, FIN, FIN1)
- l'expression identité (id)
- les fermetures réflexives transitives et les fermetures réflexives (closure(R), closure1(R))
- les expressions de domaines et de codomaine (dom, ran)
- les unions et intersection generalisées (union, inter)
- les transformées de fonction et de relation (fnc, rel)
- les ensembles de suites (seq, seq1, iseq, iseq1, perm)
- les epxressions de suites (size, first, last, front, tail, rev, conc)
- les ensembles d'arbres (tree, btree)
- les expressions d'arbres (top, sons, prefix, postfix, sizet, mirror)
- les expressions d'arbres binaires (left, right, infix)

Syntaxe B:

TExpression(TExpression)

Version:
1.0 du 22/06/2001
Author:
Frédéric Chatel
See Also:
TExpression, TElementB

Constructor Summary
TExprEvalFonc(TExpression fonc, TExpression arg)
          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 évaluation de fonction.
 tatibouet.bparser.Noeud ConstruireNoeud()
          Construit un Noeud Tatibouet à partir d'une évaluation de fonction.
 TExpression DonnerArgument()
          Donne l'argument de la fonction.
 TExpression DonnerFonction()
          Donne la fonction utilisée.
 TElementB Dupliquer()
          Renvoie la copie de l'élément courant cloné sur toute sa hauteur
 boolean EstSyntaxEgal(TExpression e)
          Recherche si deux expressions sont syntaxiquement égales.
 java.util.Vector<TExprIdentificateur> ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans l'expression.
 TElementB Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'argument courant par une expression donnee.
 TExpression Simplifier()
          Simplifie une Evaluation de fonction.
 
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

TExprEvalFonc

public TExprEvalFonc(TExpression fonc,
                     TExpression arg)
Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur.

Parameters:
fonc - Fonction à utiliser.
arg - Argument de la fonction, de type expression ou prédicat.
Method Detail

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

DonnerFonction

public TExpression DonnerFonction()
Donne la fonction utilisée.

Returns:
La fonction utilisée.

DonnerArgument

public TExpression DonnerArgument()
Donne l'argument de la fonction.

Returns:
L'argument qui est une expression.

Simplifier

public TExpression Simplifier()
Simplifie une Evaluation de fonction. Méthode de Nicolas Stouls.

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

EstSyntaxEgal

public boolean EstSyntaxEgal(TExpression e)
Recherche si deux expressions sont syntaxiquement égales.

Overrides:
EstSyntaxEgal in class TExpression
Parameters:
e - l'expression dont on cherche à savoir si elle est syntaxiquement égale à l'objet this.
Returns:
Retourne vrai si les deux expressions sont syntaxiquement égales. Le résultat faux signifie qu'on n'est pas en mesure de dire quoi que ce soit (ne veut pas dire que les deux expressions ne sont pas syntaxiquement égales...).

ListeDesNomsLibres

public java.util.Vector<TExprIdentificateur> ListeDesNomsLibres()
Renvoie la liste des identificateurs libres dans l'expression.

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'argument 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 évaluation de fonction.

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 évaluation de fonction.

Overrides:
ConstruireNoeud in class TElementB
Returns:
Noeud


Copyright OB.