|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Class Summary | |
---|---|
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. |
TClauseDefinitions | La classe TClauseDefinitions contient les informations relatives à la clause de type definitions. |
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. |
Provides classes to represent internal B components.
Package Specification
The top level classes of this package are TComposant and TClause (subclasses of TElementB).
Related Documentation
to be completed
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |