|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectbob.elementB.TElementB
bob.expression.TExpression
bob.expression.TExprParenthese
public class TExprParenthese
La classe TExprParenthese contient les informations contenues dans une expression parenthésée.
Syntaxe B:
(TExpression)
TExpression
Constructor Summary | |
---|---|
TExprParenthese(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 expression parenthésée. |
tatibouet.bparser.Noeud |
ConstruireNoeud()
Construit un Noeud Tatibouet à partir d'une expression parenthèsée. |
TExpression |
DonnerExpress()
Donne l'expression mise entre parenthèses. |
TElementB |
Dupliquer()
Renvoie la copie conforme de l'element courant clone sur toute sa hauteur |
boolean |
EstSyntaxEgal(TExpression e)
Recherche si l'expression en paramètre est syntaxiquement égale à l'objet courant. |
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 expression parenthésée. |
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 |
---|
public TExprParenthese(TExpression expr)
expr
- Expression à mettre entre parenthèsesMethod Detail |
---|
public TElementB Dupliquer()
Dupliquer
in class TElementB
public TExpression DonnerExpress()
public java.util.Vector<TExprIdentificateur> ListeDesNomsLibres()
ListeDesNomsLibres
in class TElementB
public TElementB Remplacer(TExprIdentificateur Id, TExpression e)
Remplacer
in class TElementB
Id
- : l'identificateur a remplacere
- : la nouvelle expression
public void Afficher(java.io.Writer flux_sortie) throws java.io.IOException, java.io.FileNotFoundException
Afficher
in class TElementB
flux_sortie
- Flux de sortie: fichier de type FileWriter ou terminal(new PrintWriter(System.out)).
java.io.IOException
java.io.FileNotFoundException
public tatibouet.bparser.Noeud ConstruireNoeud()
ConstruireNoeud
in class TElementB
public TExpression Simplifier()
Simplifier
in class TExpression
public boolean EstSyntaxEgal(TExpression e)
EstSyntaxEgal
in class TExpression
e
- l'expression à tester.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |