bob.composant
Class TClauseAbstractVariables

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

public class TClauseAbstractVariables
extends TClause

La classe TClauseAbstractVariables contient les informations générales sur les Clauses de type abstract_variables.

Syntaxe B:

"ABSTRACT_VARIABLES" liste de TExprIdentificateur

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

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

TClauseAbstractVariables

public TClauseAbstractVariables()
constructeur non initialisant


TClauseAbstractVariables

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

Method Detail

RangerAbstractVariables

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


DonnerAbstractVariables

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

Afficher

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

Overrides:
ConstruireNoeud in class TElementB
Returns:
Noeud


Copyright OB.