bob.composant
Class TClauseConcreteVariables

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

public class TClauseConcreteVariables
extends TClause

La classe TClauseConcreteVariables contient les informations relatives à la clause de type concrete_variables.

Syntaxe B:

"CONCRETE_VARIABLES" liste de TExprIdentificateur

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

Constructor Summary
TClauseConcreteVariables()
          constructeur non initialisant
TClauseConcreteVariables(java.util.Vector<TExprIdentificateur> liste)
          constructeur initialisant
 
Method Summary
 void Afficher(java.io.Writer f)
          affichage de la clause CONCRETE_VARIABLES sans présentation
 tatibouet.bparser.Noeud ConstruireNoeud()
          construit un Noeud à partir d'une clause ConcreteVariables
 java.util.Vector<TExprIdentificateur> DonnerConcreteVariables()
           
 void RangerConcreteVariables(java.util.Vector<TExprIdentificateur> x)
          initialisation de l'attribut ConcreteVariables
 
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

TClauseConcreteVariables

public TClauseConcreteVariables()
constructeur non initialisant


TClauseConcreteVariables

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

Method Detail

RangerConcreteVariables

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


DonnerConcreteVariables

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

Afficher

public void Afficher(java.io.Writer f)
              throws java.io.IOException,
                     java.io.FileNotFoundException
affichage de la clause CONCRETE_VARIABLES sans présentation

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 ConcreteVariables

Overrides:
ConstruireNoeud in class TElementB
Returns:
Noeud


Copyright OB.