bob.composant
Class TClauseAbstractConstants

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

public class TClauseAbstractConstants
extends TClause

La classe TClauseAbstractConstants contient les informations relatives à la clause de type abstract_constants.

Syntaxe B:

"ABSTRACT_CONSTANTS" liste de TExprIdentificateur

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

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

TClauseAbstractConstants

public TClauseAbstractConstants()
constructeur non initialisant


TClauseAbstractConstants

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

Method Detail

RangerAbstractConstants

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


DonnerAbstractConstants

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

Afficher

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

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 AbstractConstants

Overrides:
ConstruireNoeud in class TElementB
Returns:
Noeud


Copyright OB.