|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |