|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use TPredicat | |
---|---|
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. |
bob.traduire | Provides the class to translate the output of the Tatibouet parser into a LSR/BoB component. |
Uses of TPredicat in bob.composant |
---|
Methods in bob.composant that return TPredicat | |
---|---|
TPredicat |
TClauseConstraints.DonnerConstraints()
|
TPredicat |
TClauseInvariant.DonnerInvariant()
|
TPredicat |
TClauseProperties.DonnerProperties()
|
Methods in bob.composant that return types with arguments of type TPredicat | |
---|---|
java.util.Vector<TPredicat> |
TClauseAssertions.DonnerAssertions()
|
Methods in bob.composant with parameters of type TPredicat | |
---|---|
void |
TClauseConstraints.RangerConstraints(TPredicat x)
initialisation de l'attribut Constraints |
void |
TClauseInvariant.RangerInvariant(TPredicat x)
initialisation de l'attribut Invariant |
void |
TClauseProperties.RangerProperties(TPredicat x)
initialisation de l'attribut Properties |
Method parameters in bob.composant with type arguments of type TPredicat | |
---|---|
static void |
TComposant.DiviserPredicats(java.util.Vector<TExprIdentificateur> aa,
java.util.Vector<TPredicat> VP,
java.util.Vector<TPredicat> V1,
java.util.Vector<TPredicat> V2)
Cette méthode est utilisée par l'aplatissement sans renommage. |
static void |
TComposant.DiviserPredicats(java.util.Vector<TExprIdentificateur> aa,
java.util.Vector<TPredicat> VP,
java.util.Vector<TPredicat> V1,
java.util.Vector<TPredicat> V2)
Cette méthode est utilisée par l'aplatissement sans renommage. |
static void |
TComposant.DiviserPredicats(java.util.Vector<TExprIdentificateur> aa,
java.util.Vector<TPredicat> VP,
java.util.Vector<TPredicat> V1,
java.util.Vector<TPredicat> V2)
Cette méthode est utilisée par l'aplatissement sans renommage. |
void |
TClauseAssertions.RangerAssertions(java.util.Vector<TPredicat> x)
initialisation de l'attribut Assertions |
Constructors in bob.composant with parameters of type TPredicat | |
---|---|
TClauseConstraints(TPredicat c)
constructeur non initialisant |
|
TClauseInvariant(TPredicat inv)
|
|
TClauseProperties(TPredicat p)
|
|
TDefinition(TEnteteDef entete_def,
TPredicat corps_def)
constructeur initialisant de predicat |
Constructor parameters in bob.composant with type arguments of type TPredicat | |
---|---|
TClauseAssertions(java.util.Vector<TPredicat> liste)
constructeur initialisant |
Uses of TPredicat in bob.elementB |
---|
Methods in bob.elementB that return types with arguments of type TPredicat | |
---|---|
static java.util.Vector<TPredicat> |
Util.DupliquerListePred(java.util.Vector<TPredicat> ListePred)
Prend une liste de Predicats et en revoie une copie |
Method parameters in bob.elementB with type arguments of type TPredicat | |
---|---|
static java.util.Vector<TPredicat> |
Util.DupliquerListePred(java.util.Vector<TPredicat> ListePred)
Prend une liste de Predicats et en revoie une copie |
Uses of TPredicat in bob.expression |
---|
Methods in bob.expression that return TPredicat | |
---|---|
TPredicat |
TExprBoolPred.DonnerPredicat()
Donne l'argument de la fonction. |
TPredicat |
TExprEnsCompr.DonnerPredicat()
Donne le prédicat de définition de l'ensemble. |
TPredicat |
TExprOpQuant.DonnerPredicat()
Donne le prédicat de typage de l'opération quantifiée. |
Constructors in bob.expression with parameters of type TPredicat | |
---|---|
TExprBoolPred(TPredicat Pred)
Constructeur paramètré qui initialise les attributs avec les entrées de l'utilisateur. |
|
TExprEnsCompr(java.util.Vector<TExprIdentificateur> liste_ident,
TPredicat p)
Constructeur paramètré qui initialise les attributs avec les entrées de l'utilisateur. |
|
TExprOpQuant(TOpQuantif oper,
java.util.Vector<TExprIdentificateur> liste_var,
TPredicat p,
TExpression expr)
Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur. |
Uses of TPredicat in bob.predicat |
---|
Subclasses of TPredicat 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 |
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 TPredicat | |
---|---|
TPredicat |
TPredLogique.DonnerMembreDroite()
Donne le membre de droite du prédicat. |
TPredicat |
TPredLogique.DonnerMembreGauche()
Donne le membre de gauche du prédicat. |
TPredicat |
TPredParenthese.DonnerPredicat()
Donne le prédicat mis entre parenthèse. |
TPredicat |
TPredQuantif.DonnerPredicat()
Donne le prédicat portant sur les identificateurs quantifiés. |
static TPredicat |
TPredLogique.RecomposerET(java.util.Vector<TPredicat> lp)
Méthode qui recompose une liste de prédicats en une conjonction avec associativité à gauche. |
TPredicat |
TPredComparaison.Simplifier()
Simplification du prédicat de comparaison. |
TPredicat |
TPredConst.Simplifier()
Simplifie un prédicat. |
TPredicat |
TPredEnsemble.Simplifier()
Simplification du prédicat. |
TPredicat |
TPredLogique.Simplifier()
Simplifie un predicat. |
TPredicat |
TPredParenthese.Simplifier()
Renvoie le predicat simplifié VRAI ou FAUX, ou entre parenthèses. |
TPredicat |
TPredQuantif.Simplifier()
Simplification d'un predicat de quantification. |
TPredicat |
TPredicat.Simplifier()
Méthode de simplification d'un prédicat. |
Methods in bob.predicat that return types with arguments of type TPredicat | |
---|---|
java.util.Vector<TPredicat> |
TPredLogique.DecomposerET()
Méthode qui décompose un prédicat logique en un vecteur de prédicats reliés par des ET. |
Methods in bob.predicat with parameters of type TPredicat | |
---|---|
boolean |
TPredComparaison.EstSyntaxEgal(TPredicat P)
Recherche si le prédicat courant est syntaxiquement égal au prédicat en paramètre. |
boolean |
TPredConst.EstSyntaxEgal(TPredicat P)
Recherche si le prédicat courant est syntaxiquement égal au prédicat en paramètre. |
boolean |
TPredEnsemble.EstSyntaxEgal(TPredicat P)
Recherche si le prédicat courant est syntaxiquement égal au prédicat en paramètre. |
boolean |
TPredLogique.EstSyntaxEgal(TPredicat P)
Recherche si le prédicat courant est syntaxiquement égal au prédicat en paramètre. |
boolean |
TPredParenthese.EstSyntaxEgal(TPredicat P)
Recherche si le prédicat courant est syntaxiquement égal au prédicat en paramètre. |
boolean |
TPredicat.EstSyntaxEgal(TPredicat P)
Recherche si le prédicat courant est syntaxiquement égal au prédicat en paramètre. |
Method parameters in bob.predicat with type arguments of type TPredicat | |
---|---|
static TPredicat |
TPredLogique.RecomposerET(java.util.Vector<TPredicat> lp)
Méthode qui recompose une liste de prédicats en une conjonction avec associativité à gauche. |
Constructors in bob.predicat with parameters of type TPredicat | |
---|---|
TPredLogique(TOpLogique op,
TPredicat mg,
TPredicat md)
Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur. |
|
TPredParenthese(TPredicat p)
Constructeur paramètré qui initialise les attributs avec les entrées de l'utilisateur. |
|
TPredQuantif(TOpQuantif op,
java.util.Vector<TExprIdentificateur> liste_id,
TPredicat p)
Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur. |
Uses of TPredicat in bob.substitution |
---|
Methods in bob.substitution that return TPredicat | |
---|---|
TPredicat |
TSubstitution.CalculerGarde()
Calcule la garde d'une substitution (faisabilite du B-Book) |
TPredicat |
TSubstitution.CalculerTermin()
Calcule la terminaison d'une substitution |
TPredicat |
TSubAppelOp.CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition [r1,.. |
TPredicat |
TSubAssertion.CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition [ASSERT P THEN S END]R. |
TPredicat |
TSubBloc.CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition [BEGIN S END]R. |
TPredicat |
TSubBoucle.CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition [WHILE P DO S INVARIANT I VARIANT V END]R. |
TPredicat |
TSubCas.CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition [CASE E OF EITHER l THEN S...OR p THEN T ELSE U]R. |
TPredicat |
TSubChoixBorne.CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition [S [] T [] ...]R. |
TPredicat |
TSubChoixNonBorne.CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition [ANY z WHERE P THEN S END]R. |
TPredicat |
TSubCondition.CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition [IF P1 THEN S1 ELSIF P2 THEN S2 ... |
TPredicat |
TSubDefinitionLocale.CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition [LET x,.. |
TPredicat |
TSubDevientEgal.CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition [x:=E]R. |
TPredicat |
TSubDevientEltDe.CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition [x::E]. |
TPredicat |
TSubDevientTelQue.CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition [x:P]R. |
TPredicat |
TSubIdentite.CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition [skip]R. |
TPredicat |
TSubPrecondition.CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition [P|S]R. |
TPredicat |
TSubSelection.CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition [P==>S]R pour une sélection simple. |
TPredicat |
TSubSequence.CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition [S;T]R. |
TPredicat |
TSubSimultanee.CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition [S||T]R. |
TPredicat |
TSubVariableLocale.CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition [@z.S]R. |
TPredicat |
TSubstitution.CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition assurant la terminaison de la substitution généralisée et la vérification de la postcondition. |
TPredicat |
TSubAssertion.DonnerAssert()
Donne le prédicat d'une assertion introduit par le mot-clé ASSERT. |
TPredicat |
TSubDefinitionLocale.DonnerBe()
Donne le prédicat d'initialisation introduit par le mot-clé BE. |
TPredicat |
TSubCondition.DonnerIf()
Donne le prédicat introduit par le mot-clé IF. |
TPredicat |
TSubBoucle.DonnerInvariant()
Donne le prédicat introduit par le mot-clé INVARIANT. |
TPredicat |
TSubPrecondition.DonnerPre()
Donne le prédicat d'une substitution "précondition", introduit le mot-clé PRE. |
TPredicat |
TElsif.DonnerPredicat()
Donne le prédicat d'une alternative introduit par le mot-clé ELSIF. |
TPredicat |
TSubDevientTelQue.DonnerPredicat()
Donne le prédicat à droite de l'opérateur B ":". |
TPredicat |
TWhen.DonnerPredicat()
Donne le prédicat d'une alternative. |
TPredicat |
TSubSelection.DonnerSelect()
Donne le prédicat d'une sélection. |
TPredicat |
TSubChoixNonBorne.DonnerWhere()
Donne le prédicat introduit par le mot-clé WHERE. |
TPredicat |
TSubBoucle.DonnerWhile()
Donne le prédicat introduit par le mot-clé WHILE. |
Methods in bob.substitution with parameters of type TPredicat | |
---|---|
TPredicat |
TSubAppelOp.CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition [r1,.. |
TPredicat |
TSubAssertion.CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition [ASSERT P THEN S END]R. |
TPredicat |
TSubBloc.CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition [BEGIN S END]R. |
TPredicat |
TSubBoucle.CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition [WHILE P DO S INVARIANT I VARIANT V END]R. |
TPredicat |
TSubCas.CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition [CASE E OF EITHER l THEN S...OR p THEN T ELSE U]R. |
TPredicat |
TSubChoixBorne.CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition [S [] T [] ...]R. |
TPredicat |
TSubChoixNonBorne.CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition [ANY z WHERE P THEN S END]R. |
TPredicat |
TSubCondition.CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition [IF P1 THEN S1 ELSIF P2 THEN S2 ... |
TPredicat |
TSubDefinitionLocale.CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition [LET x,.. |
TPredicat |
TSubDevientEgal.CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition [x:=E]R. |
TPredicat |
TSubDevientEltDe.CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition [x::E]. |
TPredicat |
TSubDevientTelQue.CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition [x:P]R. |
TPredicat |
TSubIdentite.CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition [skip]R. |
TPredicat |
TSubPrecondition.CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition [P|S]R. |
TPredicat |
TSubSelection.CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition [P==>S]R pour une sélection simple. |
TPredicat |
TSubSequence.CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition [S;T]R. |
TPredicat |
TSubSimultanee.CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition [S||T]R. |
TPredicat |
TSubVariableLocale.CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition [@z.S]R. |
TPredicat |
TSubstitution.CalculerWP(TPredicat post_cond)
Calcule la plus faible précondition assurant la terminaison de la substitution généralisée et la vérification de la postcondition. |
Method parameters in bob.substitution with type arguments of type TPredicat | |
---|---|
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 |
Constructors in bob.substitution with parameters of type TPredicat | |
---|---|
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. |
|
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. |
|
TSubDevientTelQue(java.util.Vector<TExprIdentificateur> Lid,
TPredicat p)
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. |
|
TWhen(TPredicat p,
TSubstitution s)
Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur. |
Uses of TPredicat in bob.traduire |
---|
Methods in bob.traduire that return TPredicat | |
---|---|
static TPredicat |
Traduire.traduitPred(tatibouet.bparser.Noeud noeud)
Méthode de traduction d'un Noeud Tatibouet en un objet TPredicat |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |