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