Uses of Class
bob.substitution.TSubstitution

Packages that use TSubstitution
bob.composant Provides classes to represent internal B components. 
bob.elementB Provides top-level class and general utilities of BoB. 
bob.substitution Provides classes to represent B substitutions. 
bob.traduire Provides the class to translate the output of the Tatibouet parser into a LSR/BoB component. 
 

Uses of TSubstitution in bob.composant
 

Methods in bob.composant that return TSubstitution
 TSubstitution TOperation.DonnerCorpsOperation()
           
 TSubstitution TClauseInitialisation.DonnerInitialisation()
           
 

Methods in bob.composant with parameters of type TSubstitution
 void TOperation.RangerCorpsOperation(TSubstitution x)
          initialisation de l'attribut CorpsOperation
 void TClauseInitialisation.RangerInitialisation(TSubstitution x)
          initialisation de l'attribut Initialisation
 

Constructors in bob.composant with parameters of type TSubstitution
TClauseInitialisation(TSubstitution init)
           
TDefinition(TEnteteDef entete_def, TSubstitution corps_def)
          constructeur initialisant de substitution
TOperation(TEnteteOp entete_op, TSubstitution corps_op)
           
 

Uses of TSubstitution in bob.elementB
 

Methods in bob.elementB that return types with arguments of type TSubstitution
static java.util.Vector<TSubstitution> Util.DupliquerListeSub(java.util.Vector<TSubstitution> ListeSub)
          Prend une liste de Substitutions et en revoie une copie
 

Method parameters in bob.elementB with type arguments of type TSubstitution
static java.util.Vector<TSubstitution> Util.DupliquerListeSub(java.util.Vector<TSubstitution> ListeSub)
          Prend une liste de Substitutions et en revoie une copie
 

Uses of TSubstitution in bob.substitution
 

Subclasses of TSubstitution 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 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 TSubstitution
 TSubstitution TSubAppelOp.Convertir()
          Convertit un appel d'opération.
 TSubstitution TSubAssertion.Convertir()
          Convertit l'assertion en précondition.
 TSubstitution TSubBloc.Convertir()
          Convertit le corps du bloc.
 TSubstitution TSubBoucle.Convertir()
          Convertit le corps de la boucle uniquement.
 TSubstitution TSubCas.Convertir()
          Convertit la substitution "cas" en choix borné.
 TSubstitution TSubChoixBorne.Convertir()
          Convertit les substitutions incluses dans le choix borné.
 TSubstitution TSubChoixNonBorne.Convertir()
          Convertit le choix non borné en substitution "variable locale".
 TSubstitution TSubCondition.Convertir()
          Convertit la condition en choix borné.
 TSubstitution TSubDefinitionLocale.Convertir()
          Convertit la substitution "définition locale" en substitution "variable locale".
 TSubstitution TSubDevientEgal.Convertir()
          Convertit une affectation de la forme f(e1, ...en) := E
 TSubstitution TSubDevientEltDe.Convertir()
          Convertit la substitution "devient élément de" en substitution "variable locale".
 TSubstitution TSubDevientTelQue.Convertir()
          Convertit la substitution "devient tel que" en substitution primitive "variable locale".
 TSubstitution TSubIdentite.Convertir()
          Renvoit directement la substitution "identité" car elle n'a pas de substitution incluse.
 TSubstitution TSubPrecondition.Convertir()
          Convertit la substitution incluse dans la précondition.
 TSubstitution TSubSelection.Convertir()
          Convertit la substitution incluse dans la sélection si cette dernière est primitive ou convertie la sélection en choix borné si elle est non primitive.
 TSubstitution TSubSequence.Convertir()
          Convertit les substitutions incluses dans la substitution "séquence".
 TSubstitution TSubSimultanee.Convertir()
          Convertit la substitution "simultanée".
 TSubstitution TSubVariableLocale.Convertir()
          Convertit la substitution incluse dans la substitution "variable locale".
 TSubstitution TSubstitution.Convertir()
          Convertit la substitution généralisée en une substitution primitive.
 TSubstitution TSubSequence.ConvertirDroite(TSubstitution s, TSubstitution t)
          Convertit les substitutions incluses dans la substitution du membre de Droite.
 TSubstitution TSubSimultanee.ConvertirDroite(TSubstitution s, TSubstitution t)
          Convertit les substitutions incluses dans la substitution du membre de Droite.
 TSubstitution TSubSequence.ConvertirGauche(TSubstitution s, TSubstitution t)
          Convertit les substitutions incluses dans la substitution du membre de gauche.
 TSubstitution TSubSimultanee.ConvertirGauche(TSubstitution s, TSubstitution t)
          Convertit les substitutions incluses dans la substitution du membre de gauche.
 TSubstitution TSubBloc.DonnerBegin()
          Donne le corps d'un bloc.
 TSubstitution TSubBoucle.DonnerDo()
          Donne la substitution introduite par le mot-clé DO.
 TSubstitution TSubDefinitionLocale.DonnerIn()
          Donne la substitution introduite par le mot-clé IN.
 TSubstitution TSubVariableLocale.DonnerIn()
          Donne la substitution introduite par le mot-clé IN.
 TSubstitution TSubSequence.DonnerMembreDroite()
          Donne la substitution à droite du symbole ;.
 TSubstitution TSubSimultanee.DonnerMembreDroite()
          Donne la substitution à droite du symbole ||.
 TSubstitution TSubSequence.DonnerMembreGauche()
          Donne la substitution à gauche du symbole ;.
 TSubstitution TSubSimultanee.DonnerMembreGauche()
          Donne la substitution à gauche du symbole ||.
 TSubstitution TCase.DonnerThen()
          Donne le corps d'un cas.
 TSubstitution TElsif.DonnerThen()
          Donne le corps d'une alternative introduit par le mot-clé THEN (ou ELSE).
 TSubstitution TSubAssertion.DonnerThen()
          Donne le corps d'une assertion introduit par le mot-clé THEN.
 TSubstitution TSubChoixNonBorne.DonnerThen()
          Donne la substitution introduite par le mot-clé THEN.
 TSubstitution TSubCondition.DonnerThen()
          Donne la substitution introduite par le mot-clé THEN.
 TSubstitution TSubPrecondition.DonnerThen()
          Donne le corps d'une substitution "précondition", introduit par le mot-clé THEN.
 TSubstitution TSubSelection.DonnerThen()
          Donne le corps d'une sélection.
 TSubstitution TWhen.DonnerThen()
          Donne le corps d'une alternative.
 TSubstitution TCase.RemplacerAppelOp()
          Remplacement d'appels d'opération.
 TSubstitution TElsif.RemplacerAppelOp()
          Remplacement de l'appel d'opération
Auteur: Olivier BERT
 TSubstitution TSubAppelOp.RemplacerAppelOp()
          Ne convertit que les appels d'opérations
 TSubstitution TSubAssertion.RemplacerAppelOp()
          Remplace l'appel d'opération
Auteur: Olivier BERT
 TSubstitution TSubBloc.RemplacerAppelOp()
          Remplace l'appel d'opération
Auteur: Olivier BERT
 TSubstitution TSubBoucle.RemplacerAppelOp()
          Remplace l'appel d'opération
Auteur: Olivier BERT
 TSubstitution TSubCas.RemplacerAppelOp()
          Remplace l'appel d'opération
Auteur: Olivier BERT
 TSubstitution TSubChoixBorne.RemplacerAppelOp()
          Remplace les appels d'opérations.
 TSubstitution TSubChoixNonBorne.RemplacerAppelOp()
          Remplace les appels d'opération
Auteur: Olivier BERT
 TSubstitution TSubCondition.RemplacerAppelOp()
          Remplace les appels d'opérations dans la substitution courante
Auteur: Olivier Bert
 TSubstitution TSubDefinitionLocale.RemplacerAppelOp()
          Remplacement des appels d'opération
Auteur: Olivier Bert
 TSubstitution TSubPrecondition.RemplacerAppelOp()
          Remplace les appels d'opération
Auteur: Olivier BERT
 TSubstitution TSubSelection.RemplacerAppelOp()
          Remplace les appels d'opération.
 TSubstitution TSubSequence.RemplacerAppelOp()
          Remplace les appels d'opération
Auteur: Olivier Bert
 TSubstitution TSubSimultanee.RemplacerAppelOp()
          Remplace les appels d'opération Auteur Olivier Bert
 TSubstitution TSubVariableLocale.RemplacerAppelOp()
          Remplace les appels d'opération
Auteur: Olivier BERT
 TSubstitution TSubstitution.RemplacerAppelOp()
          Convertion des appels d'opérations.
 TSubstitution TWhen.RemplacerAppelOp()
          Remplace les appels d'opération
Auteur: Olivier BERT
 TSubstitution TCase.Simplifier()
          Simplifie la substitution.
 TSubstitution TElsif.Simplifier()
          Simplification d'un elsif (remontée des préconditions).
 TSubstitution TSubAssertion.Simplifier()
          Simplifie la substitution.
 TSubstitution TSubBloc.Simplifier()
          Simplifie la substitution.
 TSubstitution TSubBoucle.Simplifier()
          Simplifie la substitution.
 TSubstitution TSubCas.Simplifier()
          Simplification d'une substitution CASE
Auteur: Olivier BERT
 TSubstitution TSubChoixBorne.Simplifier()
          Simplifie le CHOICE (remontée des préconditions).
 TSubstitution TSubChoixNonBorne.Simplifier()
          Simplifie la substitution.
 TSubstitution TSubCondition.Simplifier()
          Simplification d'un IF (remontée des préconditions).
 TSubstitution TSubDefinitionLocale.Simplifier()
          Simplification d'une substitution
Auteur Olivier Bert
 TSubstitution TSubPrecondition.Simplifier()
          Simplification de la substitution précondition.
 TSubstitution TSubSelection.Simplifier()
          Simplifie la substitution.
 TSubstitution TSubSequence.Simplifier()
          Simplifie la substitution Séquence de substitutions
Auteur Olivier Bert
 TSubstitution TSubSimultanee.Simplifier()
          Simplifie la substitution
Auteur Olivier Bert
 TSubstitution TSubVariableLocale.Simplifier()
          Simplifie la substitution.
 TSubstitution TSubstitution.Simplifier()
          La methode Simplifier simplifie une substitution.
 TSubstitution TWhen.Simplifier()
          Simplifie la substitution.
 TSubstitution TCase.TraiterAssertSansRenommage(java.util.Vector<TExprIdentificateur> vv, java.util.Vector<TPredicat> PP)
          Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
 TSubstitution TElsif.TraiterAssertSansRenommage(java.util.Vector<TExprIdentificateur> vv, java.util.Vector<TPredicat> PP)
          Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
 TSubstitution TSubAssertion.TraiterAssertSansRenommage(java.util.Vector<TExprIdentificateur> vv, java.util.Vector<TPredicat> PP)
          Aplatissement pour traiter AssertSansRenommage
Si l'assertion est de la forme ASSERT Q THEN S END alors, si les prédicats Q1 ne dépendent pas de vv et les prédicats Q2 dépendent de vv, avec Q <=> Q1 & Q2, on obtient ASSERT Q1 & #vv.
 TSubstitution TSubBloc.TraiterAssertSansRenommage(java.util.Vector<TExprIdentificateur> vv, java.util.Vector<TPredicat> PP)
          Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
 TSubstitution TSubBoucle.TraiterAssertSansRenommage(java.util.Vector<TExprIdentificateur> vv, java.util.Vector<TPredicat> PP)
          Aplatissement pour traiter AssertSansRenommage.
 TSubstitution TSubCas.TraiterAssertSansRenommage(java.util.Vector<TExprIdentificateur> vv, java.util.Vector<TPredicat> PP)
          Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
 TSubstitution TSubChoixBorne.TraiterAssertSansRenommage(java.util.Vector<TExprIdentificateur> vv, java.util.Vector<TPredicat> PP)
          Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
 TSubstitution TSubChoixNonBorne.TraiterAssertSansRenommage(java.util.Vector<TExprIdentificateur> vv, java.util.Vector<TPredicat> PP)
          Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
 TSubstitution TSubCondition.TraiterAssertSansRenommage(java.util.Vector<TExprIdentificateur> vv, java.util.Vector<TPredicat> PP)
          Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
 TSubstitution TSubDefinitionLocale.TraiterAssertSansRenommage(java.util.Vector<TExprIdentificateur> vv, java.util.Vector<TPredicat> PP)
          Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
 TSubstitution TSubPrecondition.TraiterAssertSansRenommage(java.util.Vector<TExprIdentificateur> vv, java.util.Vector<TPredicat> PP)
          Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
 TSubstitution TSubSelection.TraiterAssertSansRenommage(java.util.Vector<TExprIdentificateur> vv, java.util.Vector<TPredicat> PP)
          Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
 TSubstitution TSubSequence.TraiterAssertSansRenommage(java.util.Vector<TExprIdentificateur> vv, java.util.Vector<TPredicat> PP)
          Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
 TSubstitution TSubSimultanee.TraiterAssertSansRenommage(java.util.Vector<TExprIdentificateur> vv, java.util.Vector<TPredicat> PP)
          Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
 TSubstitution TSubVariableLocale.TraiterAssertSansRenommage(java.util.Vector<TExprIdentificateur> vv, java.util.Vector<TPredicat> PP)
          Aplatissement pour traiter AssertSansRenommage
Ne devrait pas être appelé car on n'aplatit pas une implémentation.
 TSubstitution TSubstitution.TraiterAssertSansRenommage(java.util.Vector<TExprIdentificateur> vv, java.util.Vector<TPredicat> PP)
          Traite la substitution ASSERT dans le cas d'un aplatissement de raffinement sans renommage.
 TSubstitution TWhen.TraiterAssertSansRenommage(java.util.Vector<TExprIdentificateur> vv, java.util.Vector<TPredicat> PP)
          Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
 

Methods in bob.substitution that return types with arguments of type TSubstitution
 java.util.Vector<TSubstitution> TSubChoixBorne.DonnerChoice()
          Donne le corps d'une substitution "choix borné".
 

Methods in bob.substitution with parameters of type TSubstitution
 TSubstitution TSubSequence.ConvertirDroite(TSubstitution s, TSubstitution t)
          Convertit les substitutions incluses dans la substitution du membre de Droite.
 TSubstitution TSubSimultanee.ConvertirDroite(TSubstitution s, TSubstitution t)
          Convertit les substitutions incluses dans la substitution du membre de Droite.
 TSubstitution TSubSequence.ConvertirGauche(TSubstitution s, TSubstitution t)
          Convertit les substitutions incluses dans la substitution du membre de gauche.
 TSubstitution TSubSimultanee.ConvertirGauche(TSubstitution s, TSubstitution t)
          Convertit les substitutions incluses dans la substitution du membre de gauche.
 

Constructors in bob.substitution with parameters of type TSubstitution
TCase(java.util.Vector<TExpression> v, TSubstitution s)
          Constructeur paramétré qui initialise avec les entrées de l'utilisateur.
TElsif(TPredicat p, TSubstitution s)
          Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur.
TSubAssertion(TPredicat p, TSubstitution s)
          Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur.
TSubBloc(TSubstitution s)
          Constructeur paramètré qui initialise les attributs avec les entrées de l'utilisateur.
TSubBoucle(TPredicat p, TSubstitution s, TPredicat i, TExpression v)
          Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur.
TSubChoixNonBorne(java.util.Vector<TExprIdentificateur> liste_id, TPredicat p, TSubstitution s)
          Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur.
TSubCondition(TPredicat p, TSubstitution s, java.util.Vector<TElsif> liste_elsif)
          Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur.
TSubDefinitionLocale(java.util.Vector<TExprIdentificateur> liste_id, TPredicat p, TSubstitution s)
          Constructeur paramétré qui initialise les attributs.
TSubPrecondition(TPredicat p, TSubstitution s)
          Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur.
TSubSelection(TPredicat p, TSubstitution s, java.util.Vector<TWhen> w)
          Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur.
TSubSequence(TSubstitution sg, TSubstitution sd)
          Constructeur paramètré qui initialise les attributs avec les entrées de l'utilisateur.
TSubSimultanee(TSubstitution s1, TSubstitution s2)
          Constructeur paramètré qui initialise les attributs avec les entrées de l'utilisateur.
TSubVariableLocale(java.util.Vector<TExprIdentificateur> liste_id, TSubstitution s)
          Constructeur paramètré qui initialise les attributs avec les entrées de l'utilisateur.
TWhen(TPredicat p, TSubstitution s)
          Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur.
 

Constructor parameters in bob.substitution with type arguments of type TSubstitution
TSubChoixBorne(java.util.Vector<TSubstitution> liste_choix)
          Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur.
 

Uses of TSubstitution in bob.traduire
 

Methods in bob.traduire that return TSubstitution
static TSubstitution Traduire.traduitSub(tatibouet.bparser.Noeud noeud)
          Méthode de la traduction d'une substitution
 



Copyright OB.