bob.composant
Class TClauseRefines

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

public class TClauseRefines
extends TClause

La classe TClause_Refines contient les informations relatives à la clause de type refines.

Syntaxe B:

"REFINES" TExprIdentificateur

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

Constructor Summary
TClauseRefines(TExprIdentificateur e)
          constructeur initialisant
 
Method Summary
 void Afficher(java.io.Writer f)
          affiche la clause REFINES
 tatibouet.bparser.Noeud ConstruireNoeud()
          construit un Noeud à partir d'une clause refines
 TExprIdentificateur DonnerRefines()
           
 void RangerRefines(TExprIdentificateur x)
          initialisation de l'attribut Refines
 
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

TClauseRefines

public TClauseRefines(TExprIdentificateur e)
constructeur initialisant

Method Detail

RangerRefines

public void RangerRefines(TExprIdentificateur x)
initialisation de l'attribut Refines


DonnerRefines

public TExprIdentificateur DonnerRefines()
Returns:
un identificateur TExprIdentificateur

Afficher

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

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 refines

Overrides:
ConstruireNoeud in class TElementB
Returns:
Noeud


Copyright OB.