bob.composant
Class TClauseInvariant

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

public class TClauseInvariant
extends TClause

La classe TClauseInvariant contient les informations relatives à la clause de type invariant.

Syntaxe B:

"INVARIANT" TPredicat

Version:
1.0 du 25/07/2001
Author:
Aymeric CALLENDRIER
See Also:
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

TClauseInvariant

public TClauseInvariant()
constructeurs


TClauseInvariant

public TClauseInvariant(TPredicat inv)
Method Detail

RangerInvariant

public void RangerInvariant(TPredicat x)
initialisation de l'attribut Invariant


DonnerInvariant

public TPredicat DonnerInvariant()
Returns:
un prédicat

Afficher

public void Afficher(java.io.Writer f)
              throws java.io.IOException,
                     java.io.FileNotFoundException
affiche la clause invariant

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 invariant

Overrides:
ConstruireNoeud in class TElementB
Returns:
Noeud


Copyright OB.