Uses of Class
bob.elementB.TElementB

Packages that use TElementB
bob.composant Provides classes to represent internal B components. 
bob.elementB Provides top-level class and general utilities of BoB. 
bob.expression Provides classes to represent B expressions. 
bob.predicat Provides classes to represent B predicates. 
bob.substitution Provides classes to represent B substitutions. 
 

Uses of TElementB in bob.composant
 

Subclasses of TElementB in bob.composant
 class TClause
          La classe TClause contient les informations générales sur les clauses.
 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.
 class TComposant
          La classe TComposant contient les informations générales sur les composants.
 

Methods in bob.composant that return TElementB
 TElementB TDefinition.DonnerCorpsDefinition()
           
 TElementB TComposant.Dupliquer()
          Cette méthode duplique un composant.
 

Methods in bob.composant with parameters of type TElementB
 void TDefinition.RangerCorpsDefinition(TElementB x)
          initialisation de l'attribut CorpsDefinition
 

Uses of TElementB in bob.elementB
 

Methods in bob.elementB that return TElementB
 TElementB TElementB.Dupliquer()
          Renvoie une copie de l'élément courant
 TElementB TElementB.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur libre dans l'élément B courant par une expression donnee.
 TElementB TElementB.RemplacerMultiple(java.util.Vector<TExprIdentificateur> ListeId, java.util.Vector<TExpression> ListeExpr)
          Cette methode permet d'effectuer des remplacements multiples (remplacements simultanes) de plusieurs identificateurs libres par des expressions.
 

Methods in bob.elementB that return types with arguments of type TElementB
static java.util.Vector<TElementB> Util.DupliquerListe(java.util.Vector<TElementB> Liste)
          Prend une liste d'elementB et en renvoie une copie
 

Method parameters in bob.elementB with type arguments of type TElementB
static java.util.Vector<TElementB> Util.DupliquerListe(java.util.Vector<TElementB> Liste)
          Prend une liste d'elementB et en renvoie une copie
 

Uses of TElementB in bob.expression
 

Subclasses of TElementB in bob.expression
 class TExprBoolLitt
          La classe TExprBoolLitt contient les informations contenues dans un booléen littéral.
 class TExprBoolPred
          La classe TExprBoolPred contient les informations contenues dans un bool(P).
 class TExprChaineLitt
          La classe TExprChaineLitt contient les informations contenues dans une chaine de caractères littérale.
 class TExprEnsCompr
          La classe TExprEnsCompr contient les informations contenues dans un ensemble de compréhension.
 class TExprEnsExt
          La classe TExprEnsExt contient les informations contenues dans un ensemble en extension.
 class TExprEntierLitt
          La classe TExprEntierLitt contient les informations contenues dans un entier littéral.
 class TExpression
          La classe TExpression contient les informations communes à tous les types d'expression.
 class TExprEvalFonc
          La classe TExprEvalFonc contient les informations contenues dans une évaluation de fonction.
 class TExprEvalFoncListe
          La classe TExprEvalFoncListe contient les informations contenues dans une évaluation de fonction ayant plusieurs arguments.
 class TExprIdentificateur
          La classe TExprIdentificateur contient les informations contenues dans un identificateur.
 class TExprOpBinaire
          La classe TExprOpBinaire contient les informations d'un opérateur binaire.
 class TExprOpQuant
          La classe TExprOpQuant contient les informations contenues dans une operation quantifiée.
 class TExprOpUnaire
          La classe TExprOpUnaire contient les informations contenues dans une opération unaire.
 class TExprParenthese
          La classe TExprParenthese contient les informations contenues dans une expression parenthésée.
 class TExprSequence
          La classe TExprSequence contient les informations contenues dans une séquence en extension.
 

Methods in bob.expression that return TElementB
 TElementB TExprBoolLitt.Dupliquer()
          Renvoie la copie de l'élément courant cloné sur toute sa hauteur
 TElementB TExprBoolPred.Dupliquer()
          Renvoie la copie conforme de l'element courant cloné sur toute sa hauteur
 TElementB TExprChaineLitt.Dupliquer()
          Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
 TElementB TExprEnsCompr.Dupliquer()
          Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
 TElementB TExprEnsExt.Dupliquer()
          Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
 TElementB TExprEntierLitt.Dupliquer()
          Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
 TElementB TExprEvalFonc.Dupliquer()
          Renvoie la copie de l'élément courant cloné sur toute sa hauteur
 TElementB TExprEvalFoncListe.Dupliquer()
          Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
 TElementB TExprIdentificateur.Dupliquer()
          Renvoie la copie de l'élément courant cloné sur toute sa hauteur
 TElementB TExprOpBinaire.Dupliquer()
          Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
 TElementB TExprOpQuant.Dupliquer()
          Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
 TElementB TExprOpUnaire.Dupliquer()
          Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
 TElementB TExprParenthese.Dupliquer()
          Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
 TElementB TExprSequence.Dupliquer()
          Renvoie la copie de l'élément courant cloné sur toute sa hauteur
 TElementB TExprBoolLitt.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TElementB TExprBoolPred.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TElementB TExprChaineLitt.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TElementB TExprEnsCompr.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TElementB TExprEnsExt.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TElementB TExprEntierLitt.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TElementB TExprEvalFonc.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'argument courant par une expression donnee.
 TElementB TExprEvalFoncListe.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TElementB TExprIdentificateur.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TElementB TExprOpBinaire.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TElementB TExprOpQuant.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TElementB TExprOpUnaire.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TElementB TExprParenthese.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TElementB TExprSequence.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 

Uses of TElementB in bob.predicat
 

Subclasses of TElementB in bob.predicat
 class TPredComparaison
          La classe TPredComparaison contient les informations concernant les prédicats de comparaison.
 class TPredConst
          La classe TPredConst definit les constantes VRAI et FAUX necessaire.
 class TPredEnsemble
          La classe TPredEnsemble contient les informations concernant les prédicats ensemblistes.
 class TPredicat
          La classe TPredicat généralise tous les types de prédicat.
 class TPredLogique
          La classe TPredLogique contient les informations concernant les prédicats logiques.
 class TPredParenthese
          La classe TPredParenthese contient les informations concernant les prédicats parenthèsés.
 class TPredQuantif
          La classe TPredQuantif contient les informations concernant les prédicats de quantification.
 

Methods in bob.predicat that return TElementB
 TElementB TPredComparaison.Dupliquer()
          Renvoie la copie conforme de l'element courant clone sur toute sa hauteur Méthode de Nicolas Stouls.
 TElementB TPredConst.Dupliquer()
          Cette méthode n'est là que pour éviter d'avoir des cas non prévus à l'exécution.
 TElementB TPredEnsemble.Dupliquer()
          Renvoie la copie de l'élément courant cloné sur toute sa hauteur
 TElementB TPredLogique.Dupliquer()
          Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
 TElementB TPredParenthese.Dupliquer()
          Renvoie la copie conforme de l'element courant clone sur toute sa hauteur Méthode de Nicolas Stouls.
 TElementB TPredQuantif.Dupliquer()
          Renvoie la copie conforme de l'element courant clone sur toute sa hauteur Méthode de Nicolas Stouls.
 TElementB TPredComparaison.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TElementB TPredConst.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TElementB TPredEnsemble.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TElementB TPredLogique.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TElementB TPredParenthese.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TElementB TPredQuantif.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 

Uses of TElementB in bob.substitution
 

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

Methods in bob.substitution that return TElementB
 TElementB TCase.Dupliquer()
          Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
 TElementB TElsif.Dupliquer()
          Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
 TElementB TSubAppelOp.Dupliquer()
          Renvoie un clone de la substitution TSubAppelOp.
 TElementB TSubAssertion.Dupliquer()
          Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
 TElementB TSubBloc.Dupliquer()
          Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
 TElementB TSubBoucle.Dupliquer()
          Renvoie la copie de l'élément courant cloné sur toute sa hauteur
 TElementB TSubCas.Dupliquer()
          Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
 TElementB TSubChoixBorne.Dupliquer()
          METHODES
 TElementB TSubChoixNonBorne.Dupliquer()
          Renvoie la copie de l'element courant clone sur toute sa hauteur
 TElementB TSubCondition.Dupliquer()
          Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
 TElementB TSubDefinitionLocale.Dupliquer()
          Renvoie la copie de l'element courant clone sur toute sa hauteur
 TElementB TSubDevientEgal.Dupliquer()
          Renvoie la copie conforme de l'element courant clone sur toute sa hauteur.
 TElementB TSubDevientEltDe.Dupliquer()
          Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
 TElementB TSubDevientTelQue.Dupliquer()
          Renvoie la copie conforme de l'élément courant cloné sur toute sa hauteur
 TElementB TSubIdentite.Dupliquer()
          Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
 TElementB TSubPrecondition.Dupliquer()
          Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
 TElementB TSubSelection.Dupliquer()
          Renvoie la copie conforme de l'element courant clone sur toute sa hauteur.
 TElementB TSubSequence.Dupliquer()
          Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
 TElementB TSubSimultanee.Dupliquer()
          Renvoie la copie de l'element courant clone sur toute sa hauteur
 TElementB TSubVariableLocale.Dupliquer()
          Renvoie la copie conforme de l'element courant sur toute sa hauteur
 TElementB TWhen.Dupliquer()
          Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
 TElementB TCase.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TElementB TElsif.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TElementB TSubAppelOp.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur libre dans l'élément B courant par une expression donnee.
 TElementB TSubAssertion.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TElementB TSubBloc.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TElementB TSubBoucle.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TElementB TSubCas.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TElementB TSubChoixBorne.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TElementB TSubChoixNonBorne.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TElementB TSubCondition.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TElementB TSubDefinitionLocale.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TElementB TSubDevientEgal.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TElementB TSubDevientEltDe.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TElementB TSubDevientTelQue.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TElementB TSubIdentite.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TElementB TSubPrecondition.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TElementB TSubSelection.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TElementB TSubSequence.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TElementB TSubSimultanee.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TElementB TSubVariableLocale.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 TElementB TWhen.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
 



Copyright OB.