|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |