|
||||||||||
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.TClauseAssertions
public class TClauseAssertions
La classe TClauseAssertions contient les informations relatives à la
clause de type assertions.
Syntaxe B:
"ASSERTIONS" liste de TPredicat
TClause
Constructor Summary | |
---|---|
TClauseAssertions()
constructeur non initialisant |
|
TClauseAssertions(java.util.Vector<TPredicat> liste)
constructeur initialisant |
Method Summary | |
---|---|
void |
Afficher(java.io.Writer f)
affiche la clause ASSERTIONS |
tatibouet.bparser.Noeud |
ConstruireNoeud()
construit un Noeud à partir d'une clause Assertions |
java.util.Vector<TPredicat> |
DonnerAssertions()
|
void |
RangerAssertions(java.util.Vector<TPredicat> x)
initialisation de l'attribut Assertions |
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 TClauseAssertions()
public TClauseAssertions(java.util.Vector<TPredicat> liste)
Method Detail |
---|
public void RangerAssertions(java.util.Vector<TPredicat> x)
public java.util.Vector<TPredicat> DonnerAssertions()
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 |