bob.composant
Class TClauseConstraints

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

public class TClauseConstraints
extends TClause

La classe TClauseConstraints contient les informations relatives à la clause de type contraints.

Syntaxe B:

"CONSTRAINTS" TPredicat

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

TClauseConstraints

public TClauseConstraints()
constructeur non initialisant


TClauseConstraints

public TClauseConstraints(TPredicat c)
constructeur non initialisant

Method Detail

RangerConstraints

public void RangerConstraints(TPredicat x)
initialisation de l'attribut Constraints


DonnerConstraints

public TPredicat DonnerConstraints()
Returns:
un prédicat

Afficher

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

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 Constraints

Overrides:
ConstruireNoeud in class TElementB
Returns:
Noeud


Copyright OB.