Uses of Class
bob.composant.TClause

Packages that use TClause
bob.batch Provides classes for the batch interface of BoB. 
bob.composant Provides classes to represent internal B components. 
 

Uses of TClause in bob.batch
 

Method parameters in bob.batch with type arguments of type TClause
 void TCommandes.constgraphe(java.util.Vector<TClause> l, TComposant comp)
          Construit le graphe de dependance du projet
 

Uses of TClause in bob.composant
 

Subclasses of TClause in bob.composant
 class TClauseAbstractConstants
          La classe TClauseAbstractConstants contient les informations relatives à la clause de type abstract_constants.
 class TClauseAbstractVariables
          La classe TClauseAbstractVariables contient les informations générales sur les Clauses de type abstract_variables.
 class TClauseAssertions
          La classe TClauseAssertions contient les informations relatives à la clause de type assertions.
 class TClauseConcreteConstants
          La classe TClauseConcreteConstants contient les informations relatives à la clause de type concrete_constants.
 class TClauseConcreteVariables
          La classe TClauseConcreteVariables contient les informations relatives à la clause de type concrete_variables.
 class TClauseConstraints
          La classe TClauseConstraints contient les informations relatives à la clause de type contraints.
 class TClauseDefinitions
          La classe TClauseDefinitions contient les informations relatives à la clause de type definitions.
 class TClauseExtends
          La classe TClauseExtends contient les informations relatives à la clause de type extends.
 class TClauseImports
          La classe TClauseImports contient les informations relatives à la clause de type imports.
 class TClauseIncludes
          La classe TClauseIncludes contient les informations relatives à la clause de type includes.
 class TClauseInitialisation
          La classe TClauseInitialisation contient les informations relatives à la clause de type initialisation.
 class TClauseInvariant
          La classe TClauseInvariant contient les informations relatives à la clause de type invariant.
 class TClauseOperations
          La classe TClauseOperations contient les informations relatives à la clause de type operations.
 class TClausePromotes
          La classe TClausePromotes contient les informations relatives à la clause de type promotes.
 class TClauseProperties
          La classe TClauseProperties contient les informations relatives à la clause de type properties.
 class TClauseRefines
          La classe TClause_Refines contient les informations relatives à la clause de type refines.
 class TClauseSees
          La classe TClause_sees contient les informations relatives à la clause de type sees.
 class TClauseSets
          La classe TClauseSets contient les informations relatives à la clause de type sets.
 class TClauseUses
          La classe TClauseUses contient les informations relatives à la clause de type uses.
 class TClauseValues
          La classe TClauseValues contient les informations relatives à la clause VALUES.
 

Fields in bob.composant with type parameters of type TClause
protected  java.util.Vector<TClause> TComposant.ClausesComposant
          liste des clauses du composant
 

Methods in bob.composant that return types with arguments of type TClause
 java.util.Vector<TClause> TComposant.DonnerClausesComposant()
          sélecteur de la liste des clauses
 

Method parameters in bob.composant with type arguments of type TClause
 void TComposant.RangerClausesComposant(java.util.Vector<TClause> x)
          initialisation des clauses du composant
 

Constructor parameters in bob.composant with type arguments of type TClause
TComposant(TNatureComposant el, TEnteteComp et, java.util.Vector<TClause> liste)
          constructeur initialisant
 



Copyright OB.