|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use bob.composant | |
---|---|
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. |
Classes in bob.composant used by bob.batch | |
---|---|
TClause
La classe TClause contient les informations générales sur les clauses. |
|
TComposant
La classe TComposant contient les informations générales sur les composants. |
Classes in bob.composant used by bob.composant | |
---|---|
TClause
La classe TClause contient les informations générales sur les clauses. |
|
TClauseAbstractConstants
La classe TClauseAbstractConstants contient les informations relatives à la clause de type abstract_constants. |
|
TClauseAbstractVariables
La classe TClauseAbstractVariables contient les informations générales sur les Clauses de type abstract_variables. |
|
TClauseAssertions
La classe TClauseAssertions contient les informations relatives à la clause de type assertions. |
|
TClauseConcreteConstants
La classe TClauseConcreteConstants contient les informations relatives à la clause de type concrete_constants. |
|
TClauseConcreteVariables
La classe TClauseConcreteVariables contient les informations relatives à la clause de type concrete_variables. |
|
TClauseConstraints
La classe TClauseConstraints contient les informations relatives à la clause de type contraints. |
|
TClauseExtends
La classe TClauseExtends contient les informations relatives à la clause de type extends. |
|
TClauseImports
La classe TClauseImports contient les informations relatives à la clause de type imports. |
|
TClauseIncludes
La classe TClauseIncludes contient les informations relatives à la clause de type includes. |
|
TClauseInitialisation
La classe TClauseInitialisation contient les informations relatives à la clause de type initialisation. |
|
TClauseInvariant
La classe TClauseInvariant contient les informations relatives à la clause de type invariant. |
|
TClauseOperations
La classe TClauseOperations contient les informations relatives à la clause de type operations. |
|
TClausePromotes
La classe TClausePromotes contient les informations relatives à la clause de type promotes. |
|
TClauseProperties
La classe TClauseProperties contient les informations relatives à la clause de type properties. |
|
TClauseRefines
La classe TClause_Refines contient les informations relatives à la clause de type refines. |
|
TClauseSees
La classe TClause_sees contient les informations relatives à la clause de type sees. |
|
TClauseSets
La classe TClauseSets contient les informations relatives à la clause de type sets. |
|
TClauseUses
La classe TClauseUses contient les informations relatives à la clause de type uses. |
|
TClauseValues
La classe TClauseValues contient les informations relatives à la clause VALUES. |
|
TComposant
La classe TComposant contient les informations générales sur les composants. |
|
TDefEnsemble
La classe TDefEnsemble contient les informations relatives à la clause de type sets. |
|
TDefinition
La classe TDefinition contient les informations relatives à une definition. |
|
TEnteteComp
La classe TEnteteComp contient les informations générales sur l'entete d'un composant. |
|
TEnteteDef
La classe TEnteteDef contient les informations générales sur l'entete d'une définition. |
|
TEnteteOp
La classe TEnteteOp contient les informations générales sur les entetes d'une opération. |
|
TInstanceComp
La classe TInstanceComp contient les informations générales sur les composants instanciés. |
|
TOperation
La classe TOperation contient les informations relatives à une opération. |
|
TValuation
La classe TValuation contient les informations relative à la clause de type valuation. |
Classes in bob.composant used by bob.projet | |
---|---|
TComposant
La classe TComposant contient les informations générales sur les composants. |
Classes in bob.composant used by bob.traduire | |
---|---|
TComposant
La classe TComposant contient les informations générales sur les composants. |
|
TInstanceComp
La classe TInstanceComp contient les informations générales sur les composants instanciés. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |