|
||||||||||
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.TClauseInvariant
public class TClauseInvariant
La classe TClauseInvariant contient les informations relatives à la
clause de type invariant.
Syntaxe B:
"INVARIANT" TPredicat
TClause
Constructor Summary | |
---|---|
TClauseInvariant()
constructeurs |
|
TClauseInvariant(TPredicat inv)
|
Method Summary | |
---|---|
void |
Afficher(java.io.Writer f)
affiche la clause invariant |
tatibouet.bparser.Noeud |
ConstruireNoeud()
construit un Noeud à partir d'une clause invariant |
TPredicat |
DonnerInvariant()
|
void |
RangerInvariant(TPredicat x)
initialisation de l'attribut Invariant |
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 TClauseInvariant()
public TClauseInvariant(TPredicat inv)
Method Detail |
---|
public void RangerInvariant(TPredicat x)
public TPredicat DonnerInvariant()
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 |