Package bob.substitution

Provides classes to represent B substitutions.

See:
          Description

Class Summary
TCase La classe TCase contient les informations sur un cas introduit par le mot-clé EITHER (ou OR ou ELSE).
TElsif La classe TElsif contient les informations sur une alternative introduite par le mot-clé ELSIF (ou ELSE).
TSubAppelOp La classe TSubAppelOp contient les informations sur un appel d'opération.
TSubAssertion La classe TSubAssertion contient les informations sur la substitution d'assertion.
TSubBloc La classe TSubBloc contient les informations sur les substitutions de type bloc.
TSubBoucle La classe TSubBoucle contient les informations sur une boucle.
TSubCas La classe TSubCase contient les informations sur une substitution "cas".
TSubChoixBorne La classe TSubstitutionChixBorne contient les informations sur les substitutions de type "choix borné".
TSubChoixNonBorne La classe TSubChoixNonBorne contient les informations sur un choix non borné de type "any".
TSubCondition La classe TSubCondition contient les informations sur les conditions.
TSubDefinitionLocale La classe TSubDefinitionLocale contient les informations sur une définition locale.
TSubDevientEgal La classe TSubDevientEgal contient les informations sur les substitutions de type "devient égal".
TSubDevientEltDe La classe TSubDevientEltDe contient les informations sur une substitution "devient élément de".
TSubDevientTelQue La classe TSubDevientTelQue contient les informations sur une substitution "devient tel que".
TSubIdentite La classe TSubIdentite est la substitution skip.
TSubPrecondition La classe TSubPrecondition contient les informations sur les substitutions "précondition".
TSubSelection La classe TSubSelection contient les informations sur les sélections.
TSubSequence La classe TSubSequence contient les informations sur une séquence de substitutions.
TSubSimultanee La classe TSubSimultanee contient les informations sur la substituion "simultanée".
TSubstitution La classe TSubsitution contient les informations générales sur les substitutions généralisées.
TSubVariableLocale La classe TSubVariableLocale contient les informations sur la substitution "variable locale".
TWhen La classe TWhen contient les informations sur le mot-clé WHEN/ELSE.
 

Package bob.substitution Description

Provides classes to represent B substitutions.

Package Specification
to be completed

Related Documentation
to be completed



Copyright OB.