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