|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectbob.elementB.TElementB
bob.composant.TClause
bob.composant.TClauseConstraints
public class TClauseConstraints
La classe TClauseConstraints contient les informations relatives à la
clause de type contraints.
Syntaxe B:
"CONSTRAINTS" TPredicat
TClause
Constructor Summary | |
---|---|
TClauseConstraints()
constructeur non initialisant |
|
TClauseConstraints(TPredicat c)
constructeur non initialisant |
Method Summary | |
---|---|
void |
Afficher(java.io.Writer f)
affiche la clause constraints |
tatibouet.bparser.Noeud |
ConstruireNoeud()
construit un Noeud à partir d'une clause Constraints |
TPredicat |
DonnerConstraints()
|
void |
RangerConstraints(TPredicat x)
initialisation de l'attribut Constraints |
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 |
---|
public TClauseConstraints()
public TClauseConstraints(TPredicat c)
Method Detail |
---|
public void RangerConstraints(TPredicat x)
public TPredicat DonnerConstraints()
public void Afficher(java.io.Writer f) throws java.io.IOException, java.io.FileNotFoundException
Afficher
in class TElementB
f
- Flux de sortie: fichier de type FileWriter
ou terminal(new PrintWriter(System.out)).
java.io.IOException
java.io.FileNotFoundException
public tatibouet.bparser.Noeud ConstruireNoeud()
ConstruireNoeud
in class TElementB
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |