bob.composant
Class TDefEnsemble

java.lang.Object
  extended by bob.composant.TDefEnsemble

public class TDefEnsemble
extends java.lang.Object

La classe TDefEnsemble contient les informations relatives à la clause de type sets.

Syntaxe B:

TExprIdentificateur={liste de TExprIdentificateur}

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

Constructor Summary
TDefEnsemble()
          constructeur
TDefEnsemble(TExprIdentificateur ei, java.util.Vector<TExprIdentificateur> v)
           
 
Method Summary
 void Afficher(java.io.Writer f)
          affichage
 tatibouet.bparser.Noeud ConstruireNoeud()
           
 TExprIdentificateur DonnerExprId()
           
 java.util.Vector<TExprIdentificateur> DonnerListe()
           
 TDefEnsemble Dupliquer()
          Renvoie un clone du TDefEnsemble.
 boolean est_EnsembleEnumere()
           
 void RangerExprId(TExprIdentificateur ei)
          initialisation de l'attribut ExprId
 void RangerListe(java.util.Vector<TExprIdentificateur> v)
          initialisation de l'attribut Liste
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TDefEnsemble

public TDefEnsemble()
constructeur


TDefEnsemble

public TDefEnsemble(TExprIdentificateur ei,
                    java.util.Vector<TExprIdentificateur> v)
Method Detail

RangerExprId

public void RangerExprId(TExprIdentificateur ei)
initialisation de l'attribut ExprId


RangerListe

public void RangerListe(java.util.Vector<TExprIdentificateur> v)
initialisation de l'attribut Liste


DonnerExprId

public TExprIdentificateur DonnerExprId()
Returns:
un identificateur

DonnerListe

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

Dupliquer

public TDefEnsemble Dupliquer()
Renvoie un clone du TDefEnsemble.


est_EnsembleEnumere

public boolean est_EnsembleEnumere()
Returns:
un booléen

Afficher

public void Afficher(java.io.Writer f)
              throws java.io.IOException,
                     java.io.FileNotFoundException
affichage

Throws:
java.io.IOException
java.io.FileNotFoundException

ConstruireNoeud

public tatibouet.bparser.Noeud ConstruireNoeud()
Returns:
Noeud


Copyright OB.