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