Uses of Class
bob.composant.TComposant

Packages that use TComposant
bob.batch Provides classes for the batch interface of BoB. 
bob.composant Provides classes to represent internal B components. 
bob.projet Provides classes to represent and to manage B projects. 
bob.traduire Provides the class to translate the output of the Tatibouet parser into a LSR/BoB component. 
 

Uses of TComposant in bob.batch
 

Methods in bob.batch with parameters of type TComposant
 void TCommandes.constgraphe(java.util.Vector<TClause> l, TComposant comp)
          Construit le graphe de dependance du projet
 void TCommandes.dependance_add(TComposant comp)
          affiche la liste de dependances non résolues
 int TCommandes.indice(TComposant comp)
          Cette méthode cherche l'indice d'un composant.
 

Uses of TComposant in bob.composant
 

Methods in bob.composant that return TComposant
 TComposant TComposant.AplatirSansRenommage(java.lang.String resname)
          Méthode d'aplatissement d'un raffinement sans renommage.
 TComposant TOperation.DonnerComposant()
          Renvoie l'instance du composant auquel appartient l'opération.
 TComposant TComposant.GenererCompPO()
          Méthode qui calcule un composant dans lequel les opérations sont remplacées par des assertions correspondant à leur PO.
 TComposant TComposant.Inclure(java.lang.String resname)
          Cette méthode procède à la fusion de tous les composants inclus dans un même composant.
 TComposant TComposant.Normaliser()
          Cette methode normalise un composant, c'est a dire qu'elle met les clauses dans l'ordre conventionnel : celui employe par l'atelier B.
 

Methods in bob.composant with parameters of type TComposant
 void TOperation.RangerComposant(TComposant comp)
          Change le composant auquel appartient l'opération.
 

Uses of TComposant in bob.projet
 

Fields in bob.projet declared as TComposant
protected static TComposant TProjet.ComposantCourant
          lien sur le composant courant
 

Fields in bob.projet with type parameters of type TComposant
protected  java.util.Vector<TComposant> TProjet.ListeComposants
          liste des composants du projet
 

Methods in bob.projet that return TComposant
 TComposant TProjet.ComposantDeNom(java.lang.String nom)
          trouve le composant de nom "nom".
 TComposant TProjet.ComposantDeRef(java.lang.String path)
          trouve le composant associé à un chemin.
static TComposant TProjet.DonnerComposantCourant()
          Donne le composant courant
 

Methods in bob.projet that return types with arguments of type TComposant
 java.util.Vector<TComposant> TProjet.DonnerListeComposants()
           
 

Methods in bob.projet with parameters of type TComposant
 void TProjet.AjouterComposant(TComposant comp)
          ajouter un composant (en queue)
static void TProjet.RangerComposantCourant(TComposant comp)
          Pour initialiser le composant courant
Pour les calculs dans certaines substitutions, cette variable doit être impérativement à jour (exemple, s'il faut avoir la liste des variables de l'espace d'état : calcul du prd)
 void TProjet.RemplacerComposant(TComposant comp)
          remplacer un composant dont le nom est "nom" par un composant "comp" de meme nom.
 void TProjet.SupprimerComposant(TComposant comp)
          supprimer un composant comp d'après son nom.
 

Method parameters in bob.projet with type arguments of type TComposant
 void TProjet.RangerListeComposants(java.util.Vector<TComposant> lc)
          initialisation de l'attribut ListeComposants
 

Constructor parameters in bob.projet with type arguments of type TComposant
TProjet(java.lang.String st, java.util.Vector<java.lang.String> lf, java.util.Vector<TComposant> lc)
          constructeur initialisant
 

Uses of TComposant in bob.traduire
 

Methods in bob.traduire that return TComposant
static TComposant Traduire.traduire(tatibouet.bparser.Noeud n)
          Méthode statique principale de l'appel de la traduction d'un objet Noeud Tatibouet en un objet TComposant.
static TComposant Traduire.traduit(tatibouet.bparser.Noeud n)
          Méthode de traduction de la suite des clauses d'un composant B
 



Copyright OB.