Uses of Class
bob.expression.TExprIdentificateur

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

Methods in bob.composant that return TExprIdentificateur
 TExprIdentificateur TDefEnsemble.DonnerExprId()
           
 TExprIdentificateur TValuation.DonnerExprId()
           
 TExprIdentificateur TEnteteComp.DonnerName()
           
 TExprIdentificateur TEnteteDef.DonnerName()
           
 TExprIdentificateur TEnteteOp.DonnerName()
           
 TExprIdentificateur TInstanceComp.DonnerName()
           
 TExprIdentificateur TClauseRefines.DonnerRefines()
           
 

Methods in bob.composant that return types with arguments of type TExprIdentificateur
 java.util.Vector<TExprIdentificateur> TClauseAbstractConstants.DonnerAbstractConstants()
           
 java.util.Vector<TExprIdentificateur> TClauseAbstractVariables.DonnerAbstractVariables()
           
 java.util.Vector<TExprIdentificateur> TClauseConcreteConstants.DonnerConcreteConstants()
           
 java.util.Vector<TExprIdentificateur> TClauseConcreteVariables.DonnerConcreteVariables()
           
 java.util.Vector<TExprIdentificateur> TDefEnsemble.DonnerListe()
           
 java.util.Vector<TExprIdentificateur> TEnteteComp.DonnerParam()
           
 java.util.Vector<TExprIdentificateur> TEnteteDef.DonnerParam()
           
 java.util.Vector<TExprIdentificateur> TEnteteOp.DonnerParamEntrant()
           
 java.util.Vector<TExprIdentificateur> TEnteteOp.DonnerParamSortant()
           
 java.util.Vector<TExprIdentificateur> TClausePromotes.DonnerPromotes()
           
 java.util.Vector<TExprIdentificateur> TClauseSees.DonnerSees()
           
 java.util.Vector<TExprIdentificateur> TClauseUses.DonnerUses()
           
 java.util.Vector<TExprIdentificateur> TComposant.ListeVarVisibles(TExprIdentificateur renommage)
          Renvoie la liste des variables visibles dans le corps des opérations.
 

Methods in bob.composant with parameters of type TExprIdentificateur
 java.util.Vector<TExprIdentificateur> TComposant.ListeVarVisibles(TExprIdentificateur renommage)
          Renvoie la liste des variables visibles dans le corps des opérations.
 void TDefEnsemble.RangerExprId(TExprIdentificateur ei)
          initialisation de l'attribut ExprId
 void TValuation.RangerExprId(TExprIdentificateur ei)
          initialisation de l'identificateur valué
 void TEnteteComp.RangerName(TExprIdentificateur x)
          initialisation du nom du composant
 void TEnteteDef.RangerName(TExprIdentificateur x)
          initialisation de l'attribut Name
 void TEnteteOp.RangerName(TExprIdentificateur x)
          initialisation de l'attribut Name
 void TInstanceComp.RangerName(TExprIdentificateur x)
          initialisation de l'attribut Name
 void TClauseRefines.RangerRefines(TExprIdentificateur x)
          initialisation de l'attribut Refines
 

Method parameters in bob.composant with type arguments of type TExprIdentificateur
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 TClauseAbstractConstants.RangerAbstractConstants(java.util.Vector<TExprIdentificateur> x)
          initialisation de l'attribut AbstractConstants
 void TClauseAbstractVariables.RangerAbstractVariables(java.util.Vector<TExprIdentificateur> x)
          initialisation de l'attribut AbstractVariables
 void TClauseConcreteConstants.RangerConcreteConstants(java.util.Vector<TExprIdentificateur> x)
          initialisation de l'attribut ConcreteConstants
 void TClauseConcreteVariables.RangerConcreteVariables(java.util.Vector<TExprIdentificateur> x)
          initialisation de l'attribut ConcreteVariables
 void TDefEnsemble.RangerListe(java.util.Vector<TExprIdentificateur> v)
          initialisation de l'attribut Liste
 void TEnteteComp.RangerParam(java.util.Vector<TExprIdentificateur> x)
          initialisation de la liste de paramètres
 void TEnteteDef.RangerParam(java.util.Vector<TExprIdentificateur> x)
          initialisation de l'attribut Param
 void TEnteteOp.RangerParamEntrant(java.util.Vector<TExprIdentificateur> x)
          initialisation de l'attribut ParamEntrant
 void TEnteteOp.RangerParamSortant(java.util.Vector<TExprIdentificateur> x)
          initialisation de l'attribut ParamSortant
 void TClausePromotes.RangerPromotes(java.util.Vector<TExprIdentificateur> x)
          initialisation de l'attribut Promotes
 void TClauseSees.RangerSees(java.util.Vector<TExprIdentificateur> x)
          initialisation de l'attribut sees
 void TClauseUses.RangerUses(java.util.Vector<TExprIdentificateur> x)
          initialisation de l'attribut uses
 

Constructors in bob.composant with parameters of type TExprIdentificateur
TClauseRefines(TExprIdentificateur e)
          constructeur initialisant
TDefEnsemble(TExprIdentificateur ei, java.util.Vector<TExprIdentificateur> v)
           
TEnteteComp(TExprIdentificateur n, java.util.Vector<TExprIdentificateur> p)
           
TEnteteDef(TExprIdentificateur n, java.util.Vector<TExprIdentificateur> p)
          constructeur initialisant
TEnteteOp(TExprIdentificateur n, java.util.Vector<TExprIdentificateur> pe, java.util.Vector<TExprIdentificateur> ps)
           
TInstanceComp(TExprIdentificateur n, java.util.Vector<TExpression> p)
           
TValuation(TExprIdentificateur ei, TExpression e)
           
 

Constructor parameters in bob.composant with type arguments of type TExprIdentificateur
TClauseAbstractConstants(java.util.Vector<TExprIdentificateur> liste)
          constructeur initialisant
TClauseAbstractVariables(java.util.Vector<TExprIdentificateur> liste)
          constructeur initialisant
TClauseConcreteConstants(java.util.Vector<TExprIdentificateur> liste)
          constructeur initialisant
TClauseConcreteVariables(java.util.Vector<TExprIdentificateur> liste)
          constructeur initialisant
TClausePromotes(java.util.Vector<TExprIdentificateur> liste)
          constructeur initialisant
TClauseSees(java.util.Vector<TExprIdentificateur> liste)
          constructeur initialisant
TClauseUses(java.util.Vector<TExprIdentificateur> liste)
          constructeur initialisant
TDefEnsemble(TExprIdentificateur ei, java.util.Vector<TExprIdentificateur> v)
           
TEnteteComp(TExprIdentificateur n, java.util.Vector<TExprIdentificateur> p)
           
TEnteteDef(TExprIdentificateur n, java.util.Vector<TExprIdentificateur> p)
          constructeur initialisant
TEnteteOp(TExprIdentificateur n, java.util.Vector<TExprIdentificateur> pe, java.util.Vector<TExprIdentificateur> ps)
           
TEnteteOp(TExprIdentificateur n, java.util.Vector<TExprIdentificateur> pe, java.util.Vector<TExprIdentificateur> ps)
           
 

Uses of TExprIdentificateur in bob.elementB
 

Methods in bob.elementB that return TExprIdentificateur
static TExprIdentificateur Util.DonneNomNonLibre(TExprIdentificateur Id, java.util.Vector<TExprIdentificateur> ListeIdsLibres)
          Renvoie un identificateur derivé de Id non libre dans ListeIdsLibres.
 

Methods in bob.elementB that return types with arguments of type TExprIdentificateur
static java.util.Vector<TExprIdentificateur> Util.DupliquerListeExprId(java.util.Vector<TExprIdentificateur> ListeId)
          Prend une liste d'identificateurs et en revoie une copie
static java.util.Vector<TExprIdentificateur> Util.FusionnerVecteurs(java.util.Vector<TExprIdentificateur> v1, java.util.Vector<TExprIdentificateur> v2)
          Prend deux vecteurs de TExprIdentificateur et fusionne leur contenu.
static java.util.Vector<TExprIdentificateur> Util.IdsCommuns(java.util.Vector<TExprIdentificateur> V1, java.util.Vector<TExprIdentificateur> V2)
          Etant donné deux vecteurs d'Identificateurs V1 et V2, retourne le vecteur des identificateurs communs aux deux vecteurs.
 java.util.Vector<TExprIdentificateur> TElementB.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres de l'élément B courant.
static java.util.Vector<TExprIdentificateur> Util.RetirerLesIds_1de2(java.util.Vector<TExprIdentificateur> ListeVar, java.util.Vector<TExprIdentificateur> Liste_Id)
          Prend deux vecteurs d'identificateurs V1 et V2 et retourne le vecteur d'éléments de V2 qui ne sont pas dans V1.
 

Methods in bob.elementB with parameters of type TExprIdentificateur
static boolean Util.ContientId(TExprIdentificateur Id, java.util.Vector<TExprIdentificateur> ListeId)
          Prend une liste d'identificateurs et un identificateur, et dit si ce dernier appartient à la liste.
static TExprIdentificateur Util.DonneNomNonLibre(TExprIdentificateur Id, java.util.Vector<TExprIdentificateur> ListeIdsLibres)
          Renvoie un identificateur derivé de Id non libre dans ListeIdsLibres.
 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 TExprIdentificateur
static boolean Util.ContientId(TExprIdentificateur Id, java.util.Vector<TExprIdentificateur> ListeId)
          Prend une liste d'identificateurs et un identificateur, et dit si ce dernier appartient à la liste.
static java.util.Vector<TExpression> Util.cvVectorExprId(java.util.Vector<TExprIdentificateur> vId)
          Conversion d'un vecteur d'identificateur en un vecteur d'expression.
static TExprIdentificateur Util.DonneNomNonLibre(TExprIdentificateur Id, java.util.Vector<TExprIdentificateur> ListeIdsLibres)
          Renvoie un identificateur derivé de Id non libre dans ListeIdsLibres.
static java.util.Vector<TExprIdentificateur> Util.DupliquerListeExprId(java.util.Vector<TExprIdentificateur> ListeId)
          Prend une liste d'identificateurs et en revoie une copie
static java.util.Vector<TExprIdentificateur> Util.FusionnerVecteurs(java.util.Vector<TExprIdentificateur> v1, java.util.Vector<TExprIdentificateur> v2)
          Prend deux vecteurs de TExprIdentificateur et fusionne leur contenu.
static java.util.Vector<TExprIdentificateur> Util.FusionnerVecteurs(java.util.Vector<TExprIdentificateur> v1, java.util.Vector<TExprIdentificateur> v2)
          Prend deux vecteurs de TExprIdentificateur et fusionne leur contenu.
static java.util.Vector<TExprIdentificateur> Util.IdsCommuns(java.util.Vector<TExprIdentificateur> V1, java.util.Vector<TExprIdentificateur> V2)
          Etant donné deux vecteurs d'Identificateurs V1 et V2, retourne le vecteur des identificateurs communs aux deux vecteurs.
static java.util.Vector<TExprIdentificateur> Util.IdsCommuns(java.util.Vector<TExprIdentificateur> V1, java.util.Vector<TExprIdentificateur> V2)
          Etant donné deux vecteurs d'Identificateurs V1 et V2, retourne le vecteur des identificateurs communs aux deux vecteurs.
 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.
static java.util.Vector<TExprIdentificateur> Util.RetirerLesIds_1de2(java.util.Vector<TExprIdentificateur> ListeVar, java.util.Vector<TExprIdentificateur> Liste_Id)
          Prend deux vecteurs d'identificateurs V1 et V2 et retourne le vecteur d'éléments de V2 qui ne sont pas dans V1.
static java.util.Vector<TExprIdentificateur> Util.RetirerLesIds_1de2(java.util.Vector<TExprIdentificateur> ListeVar, java.util.Vector<TExprIdentificateur> Liste_Id)
          Prend deux vecteurs d'identificateurs V1 et V2 et retourne le vecteur d'éléments de V2 qui ne sont pas dans V1.
 

Uses of TExprIdentificateur in bob.expression
 

Fields in bob.expression with type parameters of type TExprIdentificateur
protected  java.util.Vector<TExprIdentificateur> TExprIdentificateur.Prefixes
          Les préfixes du nom instancié ou renommé.
 

Methods in bob.expression that return types with arguments of type TExprIdentificateur
 java.util.Vector<TExprIdentificateur> TExprEnsCompr.DonnerListeIdent()
          Donne la liste des identificateurs définis dans l'ensemble.
 java.util.Vector<TExprIdentificateur> TExprOpQuant.DonnerListeVar()
          Donne la liste des variables de l'opération quantifiée.
 java.util.Vector<TExprIdentificateur> TExprIdentificateur.DonnerPrefixes()
          Renvoie le vecteur de préfixes d'un identificateur composé.
 java.util.Vector<TExprIdentificateur> TExprBoolLitt.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 java.util.Vector<TExprIdentificateur> TExprBoolPred.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat
 java.util.Vector<TExprIdentificateur> TExprChaineLitt.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 java.util.Vector<TExprIdentificateur> TExprEnsCompr.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 java.util.Vector<TExprIdentificateur> TExprEnsExt.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 java.util.Vector<TExprIdentificateur> TExprEntierLitt.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 java.util.Vector<TExprIdentificateur> TExprEvalFonc.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans l'expression.
 java.util.Vector<TExprIdentificateur> TExprEvalFoncListe.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 java.util.Vector<TExprIdentificateur> TExprIdentificateur.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 java.util.Vector<TExprIdentificateur> TExprOpBinaire.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 java.util.Vector<TExprIdentificateur> TExprOpQuant.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 java.util.Vector<TExprIdentificateur> TExprOpUnaire.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 java.util.Vector<TExprIdentificateur> TExprParenthese.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 java.util.Vector<TExprIdentificateur> TExprSequence.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 

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

Method parameters in bob.expression with type arguments of type TExprIdentificateur
 void TExprIdentificateur.AjouterPrefixes(java.util.Vector<TExprIdentificateur> prefs)
          Renommer l'identificateur en rajoutant un préfixe apres
 void TExprIdentificateur.Renommer(java.util.Vector<TExprIdentificateur> prefs)
          Renommer l'identificateur en rajoutant un préfixe
 

Constructor parameters in bob.expression with type arguments of type TExprIdentificateur
TExprEnsCompr(java.util.Vector<TExprIdentificateur> liste_ident, TPredicat p)
          Constructeur paramètré qui initialise les attributs avec les entrées de l'utilisateur.
TExprIdentificateur(java.util.Vector<TExprIdentificateur> prefix, java.lang.String ident)
          Constructeur paramétré pour un identificateur composé avec préfixes.
TExprIdentificateur(java.util.Vector<TExprIdentificateur> prefix, java.lang.String ident, int numero)
          Constructeur paramétré avec les trois informations explicites.
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 TExprIdentificateur in bob.predicat
 

Methods in bob.predicat that return types with arguments of type TExprIdentificateur
 java.util.Vector<TExprIdentificateur> TPredQuantif.DonnerListeIdent()
          Donne la liste des identificateurs quantifiés.
 java.util.Vector<TExprIdentificateur> TPredComparaison.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 java.util.Vector<TExprIdentificateur> TPredEnsemble.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 java.util.Vector<TExprIdentificateur> TPredLogique.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 java.util.Vector<TExprIdentificateur> TPredParenthese.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 java.util.Vector<TExprIdentificateur> TPredQuantif.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 

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

Constructor parameters in bob.predicat with type arguments of type TExprIdentificateur
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 TExprIdentificateur in bob.substitution
 

Methods in bob.substitution that return TExprIdentificateur
 TExprIdentificateur TSubAppelOp.DonnerNomOperation()
          Donne le nom de l'opération appelée.
 

Methods in bob.substitution that return types with arguments of type TExprIdentificateur
 java.util.Vector<TExprIdentificateur> TSubChoixNonBorne.DonnerAny()
          Donne la liste des identificateurs introduits par le mot-clé ANY.
 java.util.Vector<TExprIdentificateur> TSubDevientEltDe.DonnerIdent()
          Donne la liste d'identificateurs à gauche de l'opérateur B "::".
 java.util.Vector<TExprIdentificateur> TSubDevientTelQue.DonnerIdent()
          Donne la liste d'identificateurs à gauche de l'opérateur B ":".
 java.util.Vector<TExprIdentificateur> TSubDefinitionLocale.DonnerLet()
          Donne la liste des identificateurs introduits par le mot-clé LET.
 java.util.Vector<TExprIdentificateur> TSubAppelOp.DonnerResultats()
          Donne la liste des résultats.
 java.util.Vector<TExprIdentificateur> TSubVariableLocale.DonnerVar()
          Donne la liste des identifiateurs introduits par le mot-clé VAR.
 java.util.Vector<TExprIdentificateur> TCase.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 java.util.Vector<TExprIdentificateur> TElsif.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 java.util.Vector<TExprIdentificateur> TSubAppelOp.ListeDesNomsLibres()
          METHODES
 java.util.Vector<TExprIdentificateur> TSubAssertion.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 java.util.Vector<TExprIdentificateur> TSubBloc.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 java.util.Vector<TExprIdentificateur> TSubBoucle.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 java.util.Vector<TExprIdentificateur> TSubCas.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 java.util.Vector<TExprIdentificateur> TSubChoixBorne.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 java.util.Vector<TExprIdentificateur> TSubChoixNonBorne.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 java.util.Vector<TExprIdentificateur> TSubCondition.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 java.util.Vector<TExprIdentificateur> TSubDefinitionLocale.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 java.util.Vector<TExprIdentificateur> TSubDevientEgal.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 java.util.Vector<TExprIdentificateur> TSubDevientEltDe.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 java.util.Vector<TExprIdentificateur> TSubDevientTelQue.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 java.util.Vector<TExprIdentificateur> TSubIdentite.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 java.util.Vector<TExprIdentificateur> TSubPrecondition.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 java.util.Vector<TExprIdentificateur> TSubSelection.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 java.util.Vector<TExprIdentificateur> TSubSequence.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 java.util.Vector<TExprIdentificateur> TSubSimultanee.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 java.util.Vector<TExprIdentificateur> TSubVariableLocale.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 java.util.Vector<TExprIdentificateur> TWhen.ListeDesNomsLibres()
          Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
 

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

Method parameters in bob.substitution with type arguments of type TExprIdentificateur
 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 TExprIdentificateur
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.
 

Constructor parameters in bob.substitution with type arguments of type TExprIdentificateur
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.
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.
TSubDefinitionLocale(java.util.Vector<TExprIdentificateur> liste_id, TPredicat p, TSubstitution s)
          Constructeur paramétré qui initialise les attributs.
TSubDevientEltDe(java.util.Vector<TExprIdentificateur> id, TExpression expr)
          Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur.
TSubDevientTelQue(java.util.Vector<TExprIdentificateur> Lid, TPredicat p)
          Constructeur paramétré qui initialise les attributs :
TSubVariableLocale(java.util.Vector<TExprIdentificateur> liste_id, TSubstitution s)
          Constructeur paramètré qui initialise les attributs avec les entrées de l'utilisateur.
 

Uses of TExprIdentificateur in bob.traduire
 

Methods in bob.traduire that return types with arguments of type TExprIdentificateur
static java.util.Vector<TExprIdentificateur> Traduire.traduitIdentifiers(tatibouet.bparser.Noeud noeud)
          Traduction d'un liste d'identificateurs de noeud "Identifiers"
static java.util.Vector<TExprIdentificateur> Traduire.traduitListIdent(tatibouet.bparser.Noeud noeud)
          Traduction d'un liste d'identificateurs de noeud "ListIdent"
 



Copyright OB.