bob.composant
Class TClauseConcreteConstants

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

public class TClauseConcreteConstants
extends TClause

La classe TClauseConcreteConstants contient les informations relatives à la clause de type concrete_constants.

Syntaxe B:

"CONCRETE_CONSTANTS" liste de TExprIdentificateur

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

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

TClauseConcreteConstants

public TClauseConcreteConstants()
constructeur non initialisant


TClauseConcreteConstants

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

Method Detail

RangerConcreteConstants

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


DonnerConcreteConstants

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

Afficher

public void Afficher(java.io.Writer f)
              throws java.io.IOException,
                     java.io.FileNotFoundException
affiche la clause concrete_constants 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 ConcreteConstants

Overrides:
ConstruireNoeud in class TElementB
Returns:
Noeud


Copyright OB.