bob.composant
Class TClauseAssertions

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

public class TClauseAssertions
extends TClause

La classe TClauseAssertions contient les informations relatives à la clause de type assertions.

Syntaxe B:

"ASSERTIONS" liste de TPredicat

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

TClauseAssertions

public TClauseAssertions()
constructeur non initialisant


TClauseAssertions

public TClauseAssertions(java.util.Vector<TPredicat> liste)
constructeur initialisant

Method Detail

RangerAssertions

public void RangerAssertions(java.util.Vector<TPredicat> x)
initialisation de l'attribut Assertions


DonnerAssertions

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

Afficher

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

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 Assertions

Overrides:
ConstruireNoeud in class TElementB
Returns:
Noeud


Copyright OB.