Package bob.composant

Provides classes to represent internal B components.

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.
 

Package bob.composant Description

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



Copyright OB.