bob.composant
Class TClauseInitialisation

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

public class TClauseInitialisation
extends TClause

La classe TClauseInitialisation contient les informations relatives à la clause de type initialisation.

Syntaxe B:

"INITIALISATION" TSubstitution

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

Constructor Summary
TClauseInitialisation()
          constructeurs
TClauseInitialisation(TSubstitution init)
           
 
Method Summary
 void Afficher(java.io.Writer f)
          affiche la clause initialisation
 tatibouet.bparser.Noeud ConstruireNoeud()
          construit un Noeud à partir d'une clause initialisation
 TSubstitution DonnerInitialisation()
           
 void RangerInitialisation(TSubstitution x)
          initialisation de l'attribut Initialisation
 
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

TClauseInitialisation

public TClauseInitialisation()
constructeurs


TClauseInitialisation

public TClauseInitialisation(TSubstitution init)
Method Detail

RangerInitialisation

public void RangerInitialisation(TSubstitution x)
initialisation de l'attribut Initialisation


DonnerInitialisation

public TSubstitution DonnerInitialisation()
Returns:
une substitution

Afficher

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

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 initialisation

Overrides:
ConstruireNoeud in class TElementB
Returns:
Noeud


Copyright OB.