bob.composant
Class TClausePromotes

java.lang.Object
  extended by bob.elementB.TElementB
      extended by bob.composant.TClause
          extended by bob.composant.TClausePromotes

public class TClausePromotes
extends TClause

La classe TClausePromotes contient les informations relatives à la clause de type promotes.

Syntaxe B:

"PROMOTES" liste de TExprIdentificateur

Version:
1.0 du 25/07/2001
Author:
Aymeric CALLENDRIER
See Also:
TClause

Constructor Summary
TClausePromotes()
          constructeur non initialisant
TClausePromotes(java.util.Vector<TExprIdentificateur> liste)
          constructeur initialisant
 
Method Summary
 void Afficher(java.io.Writer f)
          affiche la clause promotes
 tatibouet.bparser.Noeud ConstruireNoeud()
          construit un Noeud à partir d'une clause promotes
 java.util.Vector<TExprIdentificateur> DonnerPromotes()
           
 void RangerPromotes(java.util.Vector<TExprIdentificateur> x)
          initialisation de l'attribut Promotes
 
Methods inherited from class bob.elementB.TElementB
Afficher, Dupliquer, ListeDesNomsLibres, Remplacer, RemplacerMultiple
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TClausePromotes

public TClausePromotes()
constructeur non initialisant


TClausePromotes

public TClausePromotes(java.util.Vector<TExprIdentificateur> liste)
constructeur initialisant

Method Detail

RangerPromotes

public void RangerPromotes(java.util.Vector<TExprIdentificateur> x)
initialisation de l'attribut Promotes


DonnerPromotes

public java.util.Vector<TExprIdentificateur> DonnerPromotes()
Returns:
une liste d'identificateurs TExprIdentificateur

Afficher

public void Afficher(java.io.Writer f)
              throws java.io.IOException,
                     java.io.FileNotFoundException
affiche la clause promotes

Overrides:
Afficher in class TElementB
Parameters:
f - 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 à partir d'une clause promotes

Overrides:
ConstruireNoeud in class TElementB
Returns:
Noeud


Copyright OB.