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