Uses of Class
bob.expression.TExpression

Packages that use TExpression
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 TExpression in bob.composant
 

Methods in bob.composant that return TExpression
 TExpression TValuation.DonnerExpr()
           
 

Methods in bob.composant that return types with arguments of type TExpression
 java.util.Vector<TExpression> TInstanceComp.DonnerParam()
           
 

Methods in bob.composant with parameters of type TExpression
 void TValuation.RangerExpr(TExpression e)
          initialisation de l'expression valuante
 

Method parameters in bob.composant with type arguments of type TExpression
 void TInstanceComp.RangerParam(java.util.Vector<TExpression> x)
          initialisation de l'attribut Param
 

Constructors in bob.composant with parameters of type TExpression
TDefinition(TEnteteDef entete_def, TExpression corps_def)
          constructeur initialisant d'expression
TValuation(TExprIdentificateur ei, TExpression e)
           
 

Constructor parameters in bob.composant with type arguments of type TExpression
TInstanceComp(TExprIdentificateur n, java.util.Vector<TExpression> p)
           
 

Uses of TExpression in bob.elementB
 

Methods in bob.elementB that return types with arguments of type TExpression
static java.util.Vector<TExpression> Util.cvVectorExprId(java.util.Vector<TExprIdentificateur> vId)
          Conversion d'un vecteur d'identificateur en un vecteur d'expression.
static java.util.Vector<TExpression> Util.DupliquerListeExpr(java.util.Vector<TExpression> ListeExpr)
          Prend une liste d'expressions et en revoie une copie
 

Methods in bob.elementB with parameters of type TExpression
 TElementB TElementB.Remplacer(TExprIdentificateur Id, TExpression e)
          Remplace un identificateur libre dans l'élément B courant par une expression donnee.
 

Method parameters in bob.elementB with type arguments of type TExpression
static java.util.Vector<TExpression> Util.DupliquerListeExpr(java.util.Vector<TExpression> ListeExpr)
          Prend une liste d'expressions et en revoie une copie
 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.
 

Uses of TExpression in bob.expression
 

Subclasses of TExpression 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 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 TExpression
 TExpression TExprEvalFonc.DonnerArgument()
          Donne l'argument de la fonction.
 TExpression TExprOpQuant.DonnerExpress()
          Donne l'expression sur laquelle porte la quantification.
 TExpression TExprParenthese.DonnerExpress()
          Donne l'expression mise entre parenthèses.
 TExpression TExprEvalFonc.DonnerFonction()
          Donne la fonction utilisée.
 TExpression TExprEvalFoncListe.DonnerFonction()
          Donne la fonction utilisée.
 TExpression TExprOpBinaire.DonnerOpDroite()
          Donne l'opérande de droite.
 TExpression TExprOpUnaire.DonnerOperande()
          Donne l'opérande de l'opération.
 TExpression TExprOpBinaire.DonnerOpGauche()
          Donne l'opérande de gauche.
 TExpression TExprBoolPred.Simplifier()
          Simplifie une expression bool(P).
 TExpression TExprEnsCompr.Simplifier()
          Simplifie un ensemble en compréhension.
 TExpression TExprEnsExt.Simplifier()
          Simplifie un ensemble en extension.
 TExpression TExprEvalFonc.Simplifier()
          Simplifie une Evaluation de fonction.
 TExpression TExprEvalFoncListe.Simplifier()
          Simplifie une Evaluation de fonction.
 TExpression TExprOpBinaire.Simplifier()
          Simplifie une Opération Binaire.
 TExpression TExprOpQuant.Simplifier()
          Simplifie une Opération Quantifiée.
 TExpression TExprOpUnaire.Simplifier()
          Simplifie une Opération Unaire.
 TExpression TExprParenthese.Simplifier()
          Simplifie une expression parenthésée.
 TExpression TExprSequence.Simplifier()
          Simplifie une expression séquence.
 TExpression TExpression.Simplifier()
          Simplifie une expression.
 TExpression TExprSequence.TExprSequenceVide()
          Pseudo-constructeur qui construit une séquence vide
 

Methods in bob.expression that return types with arguments of type TExpression
 java.util.Vector<TExpression> TExprEvalFoncListe.DonnerListeArg()
          Donne la liste des arguments de la fonction.
 java.util.Vector<TExpression> TExprEnsExt.DonnerListeVal()
          Donne la liste des valeurs définies dans l'ensemble.
 java.util.Vector<TExpression> TExprSequence.DonnerListeVal()
          Donne la liste des valeurs définies dans la séquence.
 

Methods in bob.expression with parameters of type TExpression
 boolean TExprIdentificateur.EstEgalA(TExpression e)
          Indique si une expression est égale à l'identificateur.
 boolean TExprBoolLitt.EstSyntaxEgal(TExpression e)
          Recherche si deux expressions sont syntaxiquement égales.
 boolean TExprBoolPred.EstSyntaxEgal(TExpression e)
          Recherche si deux expressions sont syntaxiquement égales.
 boolean TExprChaineLitt.EstSyntaxEgal(TExpression e)
          Recherche si deux expressions sont syntaxiquement égales.
 boolean TExprEnsExt.EstSyntaxEgal(TExpression e)
          Recherche si l'expression en paramètre est syntaxiquement égale à l'objet courant.
 boolean TExprEntierLitt.EstSyntaxEgal(TExpression e)
          Recherche si deux expressions sont syntaxiquement égales.
 boolean TExprEvalFonc.EstSyntaxEgal(TExpression e)
          Recherche si deux expressions sont syntaxiquement égales.
 boolean TExprIdentificateur.EstSyntaxEgal(TExpression e)
          Recherche si l'expression en paramètre est syntaxiquement égale à l'objet courant.
 boolean TExprOpBinaire.EstSyntaxEgal(TExpression e)
          Recherche si l'expression en paramètre est syntaxiquement égale à l'objet courant.
 boolean TExprOpUnaire.EstSyntaxEgal(TExpression e)
          Recherche si l'expression en paramètre est syntaxiquement égale à l'objet courant.
 boolean TExprParenthese.EstSyntaxEgal(TExpression e)
          Recherche si l'expression en paramètre est syntaxiquement égale à l'objet courant.
 boolean TExpression.EstSyntaxEgal(TExpression e)
          Méthode de Didier Bert (3 septembre 2002).
 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.
 

Constructors in bob.expression with parameters of type TExpression
TExprEvalFonc(TExpression fonc, TExpression arg)
          Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur.
TExprEvalFoncListe(TExpression fonc, java.util.Vector<TExpression> liste_arg)
          Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur.
TExprOpBinaire(TOpBinaire op, TExpression op_gauche, TExpression op_droite)
          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.
TExprOpUnaire(TOpUnaire op, TExpression operande)
          Constructeur paramètré qui initialise les attributs avec les entrées de l'utilisateur.
TExprParenthese(TExpression expr)
          Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur.
 

Constructor parameters in bob.expression with type arguments of type TExpression
TExprEnsExt(java.util.Vector<TExpression> liste_val)
          Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur.
TExprEvalFoncListe(TExpression fonc, java.util.Vector<TExpression> liste_arg)
          Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur.
TExprSequence(java.util.Vector<TExpression> liste_val)
          Constructeur paramétré qui initialise les attributs.
 

Uses of TExpression in bob.predicat
 

Methods in bob.predicat that return TExpression
 TExpression TPredComparaison.DonnerMembreDroite()
          Donne le membre de droite du prédicat de comparaison.
 TExpression TPredEnsemble.DonnerMembreDroite()
          Donne le membre de droite du prédicat ensembliste.
 TExpression TPredComparaison.DonnerMembreGauche()
          Donne le membre de gauche du prédicat de comparaison.
 

Methods in bob.predicat that return types with arguments of type TExpression
 java.util.Vector<TExpression> TPredEnsemble.DonnerMembreGauche()
          Donne le membre de gauche du prédicat ensembliste.
 

Methods in bob.predicat with parameters of type TExpression
 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.
 

Constructors in bob.predicat with parameters of type TExpression
TPredComparaison(TOpComparaison op, TExpression mg, TExpression md)
          Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur.
TPredEnsemble(TOpEnsemble op, java.util.Vector<TExpression> mg, TExpression md)
          Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur.
 

Constructor parameters in bob.predicat with type arguments of type TExpression
TPredEnsemble(TOpEnsemble op, java.util.Vector<TExpression> mg, TExpression md)
          Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur.
 

Uses of TExpression in bob.substitution
 

Methods in bob.substitution that return TExpression
 TExpression TSubDevientEltDe.DonnerExpress()
          Donne l'expression à droite de l'opérateur B "::".
 TExpression TSubCas.DonnerSelecteur()
          Donne l'expression de test (un ensemble)
 TExpression TSubBoucle.DonnerVariant()
          Donne l'expression introduite par le mot-clé VARIANT.
 

Methods in bob.substitution that return types with arguments of type TExpression
 java.util.Vector<TExpression> TSubDevientEgal.DonnerMembreDroite()
          Donne la liste des expressions de la partie droite.
 java.util.Vector<TExpression> TSubDevientEgal.DonnerMembreGauche()
          Donne la liste des identificateurs (expressions) de la partie gauche.
 java.util.Vector<TExpression> TSubAppelOp.DonnerParametres()
          Donne la liste des paramètres.
 java.util.Vector<TExpression> TCase.DonnerTerme()
          Donne le terme d'un cas.
 

Methods in bob.substitution with parameters of type TExpression
 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.
 

Constructors in bob.substitution with parameters of type TExpression
TSubBoucle(TPredicat p, TSubstitution s, TPredicat i, TExpression v)
          Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur.
TSubCas(TExpression selec, java.util.Vector<TCase> liste_cas)
          Constructeur paramètré qui initialise les attributs avec les entrées de l'utilisateur.
TSubDevientEgal(TExpression mg, TExpression md)
          Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur.
TSubDevientEltDe(java.util.Vector<TExprIdentificateur> id, TExpression expr)
          Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur.
 

Constructor parameters in bob.substitution with type arguments of type TExpression
TCase(java.util.Vector<TExpression> v, TSubstitution s)
          Constructeur paramétré qui initialise avec les entrées de l'utilisateur.
TSubAppelOp(java.util.Vector<TExprIdentificateur> liste_res, TExprIdentificateur nom_op, java.util.Vector<TExpression> liste_param)
          Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur.
TSubDevientEgal(java.util.Vector<TExpression> mg, java.util.Vector<TExpression> md)
          Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur.
TSubDevientEgal(java.util.Vector<TExpression> mg, java.util.Vector<TExpression> md)
          Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur.
 

Uses of TExpression in bob.traduire
 

Methods in bob.traduire that return TExpression
static TExpression Traduire.traduitExpr(tatibouet.bparser.Noeud noeud)
          Méthode générale de la traduction d'une expression
 

Methods in bob.traduire that return types with arguments of type TExpression
static java.util.Vector<TExpression> Traduire.traduitListExpr(tatibouet.bparser.Noeud noeud)
          Traduction d'une liste d'expressions
 



Copyright OB.