A B C D E F G H I L M N O P R S T U V

A

addl(String) - Method in class bob.batch.Liste
 
Afficher(Writer) - Method in class bob.composant.TClauseAbstractConstants
affiche sans présentation la clause abstract_constants
Afficher(Writer) - Method in class bob.composant.TClauseAbstractVariables
affiche la clause abstract_variables sans présentation
Afficher(Writer) - Method in class bob.composant.TClauseAssertions
affiche la clause ASSERTIONS
Afficher(Writer) - Method in class bob.composant.TClauseConcreteConstants
affiche la clause concrete_constants sans présentation
Afficher(Writer) - Method in class bob.composant.TClauseConcreteVariables
affichage de la clause CONCRETE_VARIABLES sans présentation
Afficher(Writer) - Method in class bob.composant.TClauseConstraints
affiche la clause constraints
Afficher(Writer) - Method in class bob.composant.TClauseDefinitions
affiche la clause definition Cette clause n'est pas traduite par le programme de Aymeric, donc son affichage produit une erreur dans certains cas.
Afficher(Writer) - Method in class bob.composant.TClauseExtends
affiche la clause Extends
Afficher(Writer) - Method in class bob.composant.TClauseImports
affiche la clause imports
Afficher(Writer) - Method in class bob.composant.TClauseIncludes
affiche la clause includes
Afficher(Writer) - Method in class bob.composant.TClauseInitialisation
affiche la clause initialisation
Afficher(Writer) - Method in class bob.composant.TClauseInvariant
affiche la clause invariant
Afficher(Writer) - Method in class bob.composant.TClauseOperations
affiche la clause operations
Afficher(Writer) - Method in class bob.composant.TClausePromotes
affiche la clause promotes
Afficher(Writer) - Method in class bob.composant.TClauseProperties
affiche la clause properties
Afficher(Writer) - Method in class bob.composant.TClauseRefines
affiche la clause REFINES
Afficher(Writer) - Method in class bob.composant.TClauseSees
affiche la clause sees
Afficher(Writer) - Method in class bob.composant.TClauseSets
affiche la clause sets
Afficher(Writer) - Method in class bob.composant.TClauseUses
affiche la clause uses
Afficher(Writer) - Method in class bob.composant.TClauseValues
affiche la cause VALUES
Afficher(Writer) - Method in class bob.composant.TComposant
affiche le composant dans un fichier le ficher d'écriture est ouvert par l'appelant
Afficher(Writer) - Method in class bob.composant.TDefEnsemble
affichage
Afficher(Writer) - Method in class bob.composant.TDefinition
affiche une définition
Afficher(Writer) - Method in class bob.composant.TEnteteComp
affiche l'entete du composant
Afficher(Writer) - Method in class bob.composant.TEnteteDef
affiche l'entete d'une définition
Afficher(Writer) - Method in class bob.composant.TEnteteOp
affiche l'entete d'une opération
Afficher(Writer) - Method in class bob.composant.TInstanceComp
affiche l'entete du composant instancié
Afficher(Writer) - Method in class bob.composant.TOperation
affiche une opération avec presentation
Afficher(Writer) - Method in class bob.composant.TValuation
affiche une valuation
Afficher(Writer) - Method in class bob.constantes.TOpArithm
Affiche un opérateur arithmétique.
Afficher(Writer) - Method in class bob.constantes.TOpComparaison
Affiche un opérateur de comparaison.
Afficher(Writer) - Method in class bob.constantes.TOpEnsemble
Affiche un opérateur ensembliste.
Afficher(Writer) - Method in class bob.constantes.TOperateur
Affiche un opérateur quelconque.
Afficher(Writer) - Method in class bob.constantes.TOpFonction
Affiche un opérateur de fonction.
Afficher(Writer) - Method in class bob.constantes.TOpLogique
Affiche un opérateur logique.
Afficher(Writer) - Method in class bob.constantes.TOpQuantif
Affiche un opérateur de quantification.
Afficher(Writer) - Method in class bob.constantes.TOpRelation
Affiche un opérateur de relation.
Afficher(Writer) - Method in class bob.constantes.TOpSequence
Affiche un opérateur de séquence.
Afficher(Writer) - Method in class bob.constantes.TOpUnaire
Affiche un opérateur unaire.
Afficher(Writer) - Method in class bob.elementB.TElementB
Affiche un élément B.
Afficher(Writer, int) - Method in class bob.elementB.TElementB
Affiche un element quelconque avec presentation.
Afficher(Writer) - Method in class bob.expression.TExprBoolLitt
Affiche un booléen littéral.
Afficher(Writer) - Method in class bob.expression.TExprBoolPred
Affiche un bool(P).
Afficher(Writer) - Method in class bob.expression.TExprChaineLitt
Affiche une chaine littérale.
Afficher(Writer) - Method in class bob.expression.TExprEnsCompr
Affiche un ensemble de compréhension.
Afficher(Writer) - Method in class bob.expression.TExprEnsExt
Affiche un ensemble en extension.
Afficher(Writer) - Method in class bob.expression.TExprEntierLitt
Affiche un entier littéral.
Afficher(Writer) - Method in class bob.expression.TExprEvalFonc
Affiche une évaluation de fonction.
Afficher(Writer) - Method in class bob.expression.TExprEvalFoncListe
Affiche une évaluation de fonction ayant plusieurs arguments.
Afficher(Writer) - Method in class bob.expression.TExprIdentificateur
Affiche un identificateur.
Afficher(Writer) - Method in class bob.expression.TExprOpBinaire
Affiche une opération binaire.
Afficher(Writer) - Method in class bob.expression.TExprOpQuant
Affiche une operation quantifiée.
Afficher(Writer) - Method in class bob.expression.TExprOpUnaire
Affiche une opération unaire.
Afficher(Writer) - Method in class bob.expression.TExprParenthese
Affiche une expression parenthésée.
Afficher(Writer) - Method in class bob.expression.TExprSequence
Affiche une séquence en extension.
Afficher(Writer) - Method in class bob.predicat.TPredComparaison
Affiche un prédicat de comparaison.
Afficher(Writer, int) - Method in class bob.predicat.TPredComparaison
Affiche un prédicat de comparaison avec presentation.
Afficher(Writer) - Method in class bob.predicat.TPredConst
Affiche un TPredConst ( Vrai ou Faux ).
Afficher(Writer, int) - Method in class bob.predicat.TPredConst
Affiche un TPredConst ( Vrai ou Faux ) avec presentation.
Afficher(Writer) - Method in class bob.predicat.TPredEnsemble
Affiche un prédicat ensembliste.
Afficher(Writer, int) - Method in class bob.predicat.TPredEnsemble
Affiche un prédicat ensembliste avec presentation.
Afficher(Writer) - Method in class bob.predicat.TPredLogique
Affiche un prédicat logique.
Afficher(Writer, int) - Method in class bob.predicat.TPredLogique
Affiche un prédicat logique avec presentation.
Afficher(Writer) - Method in class bob.predicat.TPredParenthese
Affiche un prédicat parenthèsé.
Afficher(Writer, int) - Method in class bob.predicat.TPredParenthese
Affiche un prédicat parethèsé avec presentation.
Afficher(Writer) - Method in class bob.predicat.TPredQuantif
Affiche un prédicat de quantification.
Afficher(Writer, int) - Method in class bob.predicat.TPredQuantif
Affiche un prédicat de quantification avec presentation.
Afficher(Writer) - Method in class bob.substitution.TCase
Affiche l'alternative d'une substitution "cas".
Afficher(Writer, int) - Method in class bob.substitution.TCase
Affiche l'alternative d'une substitution "cas" avec presentation.
Afficher(Writer) - Method in class bob.substitution.TElsif
Affiche l'alternative d'une condition.
Afficher(Writer, int) - Method in class bob.substitution.TElsif
Affiche l'alternative d'une condition avec presentation.
Afficher(Writer) - Method in class bob.substitution.TSubAppelOp
Affiche un appel d'opération.
Afficher(Writer, int) - Method in class bob.substitution.TSubAppelOp
Affiche un appel d'opération avec presentation.
Afficher(Writer) - Method in class bob.substitution.TSubAssertion
Affiche une assertion.
Afficher(Writer, int) - Method in class bob.substitution.TSubAssertion
Affiche une assertion avec présentation.
Afficher(Writer) - Method in class bob.substitution.TSubBloc
Affiche un bloc.
Afficher(Writer, int) - Method in class bob.substitution.TSubBloc
Affiche un bloc avec presentation.
Afficher(Writer) - Method in class bob.substitution.TSubBoucle
Affiche une boucle.
Afficher(Writer, int) - Method in class bob.substitution.TSubBoucle
Affiche une boucle avec presentation.
Afficher(Writer) - Method in class bob.substitution.TSubCas
Affiche une substitution "cas".
Afficher(Writer, int) - Method in class bob.substitution.TSubCas
Affiche une substitution "cas" avec presentation.
Afficher(Writer) - Method in class bob.substitution.TSubChoixBorne
Affiche un choix borné.
Afficher(Writer, int) - Method in class bob.substitution.TSubChoixBorne
Affiche un choix borné avec presentation.
Afficher(Writer) - Method in class bob.substitution.TSubChoixNonBorne
Affiche un choix non borné.
Afficher(Writer, int) - Method in class bob.substitution.TSubChoixNonBorne
Affiche un choix non borné avec presentation.
Afficher(Writer) - Method in class bob.substitution.TSubCondition
Affiche une condition.
Afficher(Writer, int) - Method in class bob.substitution.TSubCondition
Affiche une condition avec presentation.
Afficher(Writer) - Method in class bob.substitution.TSubDefinitionLocale
Affiche une définition locale.
Afficher(Writer, int) - Method in class bob.substitution.TSubDefinitionLocale
Affiche une définition locale avec presentation.
Afficher(Writer) - Method in class bob.substitution.TSubDevientEgal
Affiche une affectation.
Afficher(Writer, int) - Method in class bob.substitution.TSubDevientEgal
Affiche une affectation avec presentation.
Afficher(Writer) - Method in class bob.substitution.TSubDevientEltDe
Affiche une substitution "devient élément de".
Afficher(Writer, int) - Method in class bob.substitution.TSubDevientEltDe
Affiche une substitution "devient élément de" avec presentation.
Afficher(Writer) - Method in class bob.substitution.TSubDevientTelQue
Affiche une substitution "devient tel que".
Afficher(Writer, int) - Method in class bob.substitution.TSubDevientTelQue
Affiche une substitution "devient tel que" avec presentation.
Afficher(Writer) - Method in class bob.substitution.TSubIdentite
Affiche une substitution identité.
Afficher(Writer, int) - Method in class bob.substitution.TSubIdentite
Affiche une substitution identité avec presentation.
Afficher(Writer) - Method in class bob.substitution.TSubPrecondition
Affiche une précondition.
Afficher(Writer, int) - Method in class bob.substitution.TSubPrecondition
Affiche une précondition avec presentation.
Afficher(Writer) - Method in class bob.substitution.TSubSelection
Affiche une sélection.
Afficher(Writer, int) - Method in class bob.substitution.TSubSelection
Affiche une sélection avec presentation.
Afficher(Writer) - Method in class bob.substitution.TSubSequence
Affiche une séquence de substitutions.
Afficher(Writer, int) - Method in class bob.substitution.TSubSequence
Affiche une séquence de substitutions avec presentation.
Afficher(Writer) - Method in class bob.substitution.TSubSimultanee
Affiche une substitution "simultanée".
Afficher(Writer, int) - Method in class bob.substitution.TSubSimultanee
Affiche une substitution "simultanée" avec presentation.
Afficher(Writer) - Method in class bob.substitution.TSubVariableLocale
Affiche une substitution "variable locale".
Afficher(Writer, int) - Method in class bob.substitution.TSubVariableLocale
Affiche une substitution "variable locale" avec presentation.
Afficher(Writer) - Method in class bob.substitution.TWhen
Affiche le mot-clé WHEN ou le mot-clé ELSE.
Afficher(Writer, int) - Method in class bob.substitution.TWhen
Affiche le mot-clé WHEN ou le mot-clé ELSE avec presentation.
AfficherChemins(Writer) - Method in class bob.projet.TProjet
affiche les chemins des composants d'un projet
AfficherComposants(Writer) - Method in class bob.projet.TProjet
affiche les composants d'un projet
AfficherDependances(Vector<String>) - Method in class bob.batch.TCommandes
Cette méthode affiche les dépendances
ajouter(Vector<String>) - Method in class bob.batch.TCommandes
Cette méthode ajoute une liste de fichiers dans le projet
AjouterComposant(TComposant) - Method in class bob.projet.TProjet
ajouter un composant (en queue)
AjouterFichier(String) - Method in class bob.projet.TProjet
ajouter un fichier (en queue)
AjouterPrefixes(Vector<TExprIdentificateur>) - Method in class bob.expression.TExprIdentificateur
Renommer l'identificateur en rajoutant un préfixe apres
alaligne() - Method in class bob.batch.TCommandes
passe à la ligne suivante dans du fichier projet en écriture
analyser_composant(String) - Method in class bob.batch.TCommandes
Cette méthode analyse un fichier de composant B et, s'il n'y a pas d'erreur, ajoute le composant produit dans le projet.
analyser_composant(String, PrintStream) - Method in class bob.projet.TProjet
Cette méthode analyse un fichier source de composant B et, s'il n'y a pas d'erreur, ajoute le composant produit dans le projet.
AplatirSansrenommage(Vector<String>) - Method in class bob.batch.TCommandes
Implémentation de la commande   "fwr nom1 nom2"
Méthode qui fait l'aplatissement sans renommage d'un raffinement.
AplatirSansRenommage(String) - Method in class bob.composant.TComposant
Méthode d'aplatissement d'un raffinement sans renommage.
APPARTIENT - Static variable in class bob.constantes.TOpEnsemble
Opérateur "appartient à" (:)

B

Bob - Class in bob.batch
Classe de gestion de l'interface en ligne pour utiliser la boîte à outils B.
Bob() - Constructor for class bob.batch.Bob
 
bob.batch - package bob.batch
Provides classes for the batch interface of BoB.
bob.composant - package bob.composant
Provides classes to represent internal B components.
bob.constantes - package bob.constantes
Provides classes to represent constants in the B components - like the operators -.
bob.elementB - package bob.elementB
Provides top-level class and general utilities of BoB.
bob.expression - package bob.expression
Provides classes to represent B expressions.
bob.predicat - package bob.predicat
Provides classes to represent B predicates.
bob.projet - package bob.projet
Provides classes to represent and to manage B projects.
bob.substitution - package bob.substitution
Provides classes to represent B substitutions.
bob.traduire - package bob.traduire
Provides the class to translate the output of the Tatibouet parser into a LSR/BoB component.

C

CalculerGarde() - Method in class bob.substitution.TSubstitution
Calcule la garde d'une substitution (faisabilite du B-Book)
CalculerTermin() - Method in class bob.substitution.TSubstitution
Calcule la terminaison d'une substitution
CalculerWP(TPredicat) - Method in class bob.substitution.TSubAppelOp
Calcule la plus faible précondition [r1,..
CalculerWP(TPredicat) - Method in class bob.substitution.TSubAssertion
Calcule la plus faible précondition [ASSERT P THEN S END]R.
CalculerWP(TPredicat) - Method in class bob.substitution.TSubBloc
Calcule la plus faible précondition [BEGIN S END]R.
CalculerWP(TPredicat) - Method in class bob.substitution.TSubBoucle
Calcule la plus faible précondition [WHILE P DO S INVARIANT I VARIANT V END]R.
CalculerWP(TPredicat) - Method in class bob.substitution.TSubCas
Calcule la plus faible précondition [CASE E OF EITHER l THEN S...OR p THEN T ELSE U]R.
CalculerWP(TPredicat) - Method in class bob.substitution.TSubChoixBorne
Calcule la plus faible précondition [S [] T [] ...]R.
CalculerWP(TPredicat) - Method in class bob.substitution.TSubChoixNonBorne
Calcule la plus faible précondition [ANY z WHERE P THEN S END]R.
CalculerWP(TPredicat) - Method in class bob.substitution.TSubCondition
Calcule la plus faible précondition [IF P1 THEN S1 ELSIF P2 THEN S2 ...
CalculerWP(TPredicat) - Method in class bob.substitution.TSubDefinitionLocale
Calcule la plus faible précondition [LET x,..
CalculerWP(TPredicat) - Method in class bob.substitution.TSubDevientEgal
Calcule la plus faible précondition [x:=E]R.
CalculerWP(TPredicat) - Method in class bob.substitution.TSubDevientEltDe
Calcule la plus faible précondition [x::E].
CalculerWP(TPredicat) - Method in class bob.substitution.TSubDevientTelQue
Calcule la plus faible précondition [x:P]R.
CalculerWP(TPredicat) - Method in class bob.substitution.TSubIdentite
Calcule la plus faible précondition [skip]R.
CalculerWP(TPredicat) - Method in class bob.substitution.TSubPrecondition
Calcule la plus faible précondition [P|S]R.
CalculerWP(TPredicat) - Method in class bob.substitution.TSubSelection
Calcule la plus faible précondition [P==>S]R pour une sélection simple.
CalculerWP(TPredicat) - Method in class bob.substitution.TSubSequence
Calcule la plus faible précondition [S;T]R.
CalculerWP(TPredicat) - Method in class bob.substitution.TSubSimultanee
Calcule la plus faible précondition [S||T]R.
CalculerWP(TPredicat) - Method in class bob.substitution.TSubstitution
Calcule la plus faible précondition assurant la terminaison de la substitution généralisée et la vérification de la postcondition.
CalculerWP(TPredicat) - Method in class bob.substitution.TSubVariableLocale
Calcule la plus faible précondition [@z.S]R.
CallableOperations(Vector<String>) - Method in class bob.batch.TCommandes
Cette methode affiche la liste des operations appelables pour le composant.
CallableOperations_x(Vector<String>) - Method in class bob.batch.TCommandes
Cette methode affiche la liste des operations appelables par le composant.
ChangerTerminal(String) - Method in class bob.batch.TCommandes
Implémente la commande    "ts terminal"
Change le terminal pour l'affichage des résultats des commandes.
charger() - Method in class bob.batch.TCommandes
lit et charge le fichier projet en mémoire
ClausesComposant - Variable in class bob.composant.TComposant
liste des clauses du composant
ComposantCourant - Static variable in class bob.projet.TProjet
lien sur le composant courant
ComposantDeNom(String) - Method in class bob.projet.TProjet
trouve le composant de nom "nom".
ComposantDeRef(String) - Method in class bob.projet.TProjet
trouve le composant associé à un chemin.
CONCATENATION - Static variable in class bob.constantes.TOpSequence
Opérateur "concaténation" (^)
constgraphe(Vector<TClause>, TComposant) - Method in class bob.batch.TCommandes
Construit le graphe de dependance du projet
ConstruireNoeud() - Method in class bob.composant.TClauseAbstractConstants
construit un Noeud à partir d'une clause AbstractConstants
ConstruireNoeud() - Method in class bob.composant.TClauseAbstractVariables
construit un Noeud à partir d'une clause abstract_variables
ConstruireNoeud() - Method in class bob.composant.TClauseAssertions
construit un Noeud à partir d'une clause Assertions
ConstruireNoeud() - Method in class bob.composant.TClauseConcreteConstants
construit un Noeud à partir d'une clause ConcreteConstants
ConstruireNoeud() - Method in class bob.composant.TClauseConcreteVariables
construit un Noeud à partir d'une clause ConcreteVariables
ConstruireNoeud() - Method in class bob.composant.TClauseConstraints
construit un Noeud à partir d'une clause Constraints
ConstruireNoeud() - Method in class bob.composant.TClauseDefinitions
construit un Noeud à partir d'une clause definition
ConstruireNoeud() - Method in class bob.composant.TClauseExtends
construit un Noeud à partir d'une clause extends
ConstruireNoeud() - Method in class bob.composant.TClauseImports
construit un Noeud à partir d'une clause imports
ConstruireNoeud() - Method in class bob.composant.TClauseIncludes
construit un Noeud à partir d'une clause includes
ConstruireNoeud() - Method in class bob.composant.TClauseInitialisation
construit un Noeud à partir d'une clause initialisation
ConstruireNoeud() - Method in class bob.composant.TClauseInvariant
construit un Noeud à partir d'une clause invariant
ConstruireNoeud() - Method in class bob.composant.TClauseOperations
construit un Noeud à partir d'une clause operations
ConstruireNoeud() - Method in class bob.composant.TClausePromotes
construit un Noeud à partir d'une clause promotes
ConstruireNoeud() - Method in class bob.composant.TClauseProperties
construit un Noeud à partir d'une clause properties
ConstruireNoeud() - Method in class bob.composant.TClauseRefines
construit un Noeud à partir d'une clause refines
ConstruireNoeud() - Method in class bob.composant.TClauseSees
construit un Noeud à partir d'une clause sees
ConstruireNoeud() - Method in class bob.composant.TClauseSets
construit un Noeud à partir d'une clause Sets
ConstruireNoeud() - Method in class bob.composant.TClauseUses
construit un Noeud à partir d'une clause uses
ConstruireNoeud() - Method in class bob.composant.TClauseValues
construit un Noeud à partir d'une clause values
ConstruireNoeud() - Method in class bob.composant.TComposant
construit un Noeud à partir d'un composant
ConstruireNoeud() - Method in class bob.composant.TDefEnsemble
 
ConstruireNoeud() - Method in class bob.composant.TDefinition
 
ConstruireNoeud() - Method in class bob.composant.TEnteteComp
 
ConstruireNoeud() - Method in class bob.composant.TEnteteDef
 
ConstruireNoeud() - Method in class bob.composant.TEnteteOp
 
ConstruireNoeud() - Method in class bob.composant.TInstanceComp
 
ConstruireNoeud() - Method in class bob.composant.TOperation
 
ConstruireNoeud() - Method in class bob.composant.TValuation
 
ConstruireNoeud() - Method in class bob.elementB.TElementB
Construit un noeud Tatibouet correspondant à l'objet courant.
ConstruireNoeud() - Method in class bob.expression.TExprBoolLitt
Construit un Noeud Tatibouet à partir d'un booléen littéral.
ConstruireNoeud() - Method in class bob.expression.TExprBoolPred
Construit un Noeud Tatibouet à partir d'une expression bool(P).
ConstruireNoeud() - Method in class bob.expression.TExprChaineLitt
Construit un Noeud Tatibouet à partir d'une chaine littérale.
ConstruireNoeud() - Method in class bob.expression.TExprEnsCompr
Construit un Noeud Tatibouet à partir d'un ensemble de compréhension.
ConstruireNoeud() - Method in class bob.expression.TExprEnsExt
Construit un Noeud Tatibouet à partir d'un ensemble en extension.
ConstruireNoeud() - Method in class bob.expression.TExprEntierLitt
Construit un Noeud Tatibouet à partir d'un entier littéral.
ConstruireNoeud() - Method in class bob.expression.TExprEvalFonc
Construit un Noeud Tatibouet à partir d'une évaluation de fonction.
ConstruireNoeud() - Method in class bob.expression.TExprEvalFoncListe
Construit un Noeud Tatibouet à partir d'une évaluation de fonction ayant plusieurs arguments.
ConstruireNoeud() - Method in class bob.expression.TExprIdentificateur
Construit un Noeud Tatibouet à partir d'un identificateur.
ConstruireNoeud() - Method in class bob.expression.TExprOpBinaire
Construit un Noeud Tatibouet à partir d'une opération binaire.
ConstruireNoeud() - Method in class bob.expression.TExprOpQuant
Construit un Noeud Tatibouet à partir d'une operation quantifiée.
ConstruireNoeud() - Method in class bob.expression.TExprOpUnaire
Construit un Noeud Tatibouet à partir d'une opération unaire.
ConstruireNoeud() - Method in class bob.expression.TExprParenthese
Construit un Noeud Tatibouet à partir d'une expression parenthèsée.
ConstruireNoeud() - Method in class bob.expression.TExprSequence
Construit un Noeud Tatibouet à partir d'une séquence en extension.
ConstruireNoeud() - Method in class bob.predicat.TPredComparaison
Construit un Noeud Tatibouet à partir d'un prédicat de comparaison.
ConstruireNoeud() - Method in class bob.predicat.TPredEnsemble
Construit un Noeud Tatibouet à partir d'un prédicat ensembliste.
ConstruireNoeud() - Method in class bob.predicat.TPredLogique
Construit un Noeud Tatibouet à partir d'un prédicat logique.
ConstruireNoeud() - Method in class bob.predicat.TPredParenthese
construit un Noeud à partir d'un prédicat parenthèsé
ConstruireNoeud() - Method in class bob.predicat.TPredQuantif
construit un Noeud à partir d'un prédicat de quantification
ConstruireNoeud() - Method in class bob.substitution.TCase
Construit le Noeud tatibouet.
ConstruireNoeud() - Method in class bob.substitution.TElsif
Construit le Noeud Tatibouet.
ConstruireNoeud() - Method in class bob.substitution.TSubAppelOp
construit un Noeud à partir d'un appel d'opération
ConstruireNoeud() - Method in class bob.substitution.TSubAssertion
Construit un Noeud Tatibouet à partir d'une assertion.
ConstruireNoeud() - Method in class bob.substitution.TSubBloc
Construit un Noeud Tatibouet à partir d'un bloc
ConstruireNoeud() - Method in class bob.substitution.TSubBoucle
Construit un Noeud Tatibouet à partir d'une boucle
ConstruireNoeud() - Method in class bob.substitution.TSubCas
Construit un Noeud Tatibouet à partir d'une substitution "cas"
ConstruireNoeud() - Method in class bob.substitution.TSubChoixBorne
Construit un Noeud Tatibouet à partir d'un choix borné
ConstruireNoeud() - Method in class bob.substitution.TSubChoixNonBorne
Construit un Noeud Tatibouet à partir d'un choix non borné.
ConstruireNoeud() - Method in class bob.substitution.TSubCondition
Construit un Noeud Tatibouet à partir d'une condition.
ConstruireNoeud() - Method in class bob.substitution.TSubDefinitionLocale
Construit un Noeud Tatibouet à partir d'une définition locale
ConstruireNoeud() - Method in class bob.substitution.TSubDevientEgal
Construit un Noeud Tatibouet à partir d'une affectation
ConstruireNoeud() - Method in class bob.substitution.TSubDevientEltDe
Construit un Noeud Tatibouet à partir d'une substitution "devient élément de"
ConstruireNoeud() - Method in class bob.substitution.TSubDevientTelQue
Construit un Noeud Tatibouet à partir d'une substitution "devient élément de"
ConstruireNoeud() - Method in class bob.substitution.TSubIdentite
Construit un Noeud Tatibouet à partir d'une substitution identité
ConstruireNoeud() - Method in class bob.substitution.TSubPrecondition
Construit un Noeud Tatibouet à partir d'une précondition.
ConstruireNoeud() - Method in class bob.substitution.TSubSelection
Construit un Noeud Tatibouet à partir d'une sélection.
ConstruireNoeud() - Method in class bob.substitution.TSubSequence
Construit un Noeud Tatibouet à partir d'une séquence de substitutions.
ConstruireNoeud() - Method in class bob.substitution.TSubSimultanee
Construit un Noeud Tatibouet à partir d'une substitution "simultanée".
ConstruireNoeud() - Method in class bob.substitution.TSubVariableLocale
Construit un Noeud Tatibouet à partir d'une substitution "variable locale"
ConstruireNoeud() - Method in class bob.substitution.TWhen
Construit un Noeud Tatibouet à partir d'un WHEN.
ContientId(TExprIdentificateur, Vector<TExprIdentificateur>) - Static method in class bob.elementB.Util
Prend une liste d'identificateurs et un identificateur, et dit si ce dernier appartient à la liste.
Convertir(TElsif) - Method in class bob.substitution.TElsif
Convertit un ELSIF P THEN S en ELSE (IF P THEN S ELSE T END).
Convertir() - Method in class bob.substitution.TSubAppelOp
Convertit un appel d'opération.
Convertir() - Method in class bob.substitution.TSubAssertion
Convertit l'assertion en précondition.
Convertir() - Method in class bob.substitution.TSubBloc
Convertit le corps du bloc.
Convertir() - Method in class bob.substitution.TSubBoucle
Convertit le corps de la boucle uniquement.
Convertir() - Method in class bob.substitution.TSubCas
Convertit la substitution "cas" en choix borné.
Convertir() - Method in class bob.substitution.TSubChoixBorne
Convertit les substitutions incluses dans le choix borné.
Convertir() - Method in class bob.substitution.TSubChoixNonBorne
Convertit le choix non borné en substitution "variable locale".
Convertir() - Method in class bob.substitution.TSubCondition
Convertit la condition en choix borné.
Convertir() - Method in class bob.substitution.TSubDefinitionLocale
Convertit la substitution "définition locale" en substitution "variable locale".
Convertir() - Method in class bob.substitution.TSubDevientEgal
Convertit une affectation de la forme f(e1, ...en) := E
Convertir() - Method in class bob.substitution.TSubDevientEltDe
Convertit la substitution "devient élément de" en substitution "variable locale".
Convertir() - Method in class bob.substitution.TSubDevientTelQue
Convertit la substitution "devient tel que" en substitution primitive "variable locale".
Convertir() - Method in class bob.substitution.TSubIdentite
Renvoit directement la substitution "identité" car elle n'a pas de substitution incluse.
Convertir() - Method in class bob.substitution.TSubPrecondition
Convertit la substitution incluse dans la précondition.
Convertir() - Method in class bob.substitution.TSubSelection
Convertit la substitution incluse dans la sélection si cette dernière est primitive ou convertie la sélection en choix borné si elle est non primitive.
Convertir() - Method in class bob.substitution.TSubSequence
Convertit les substitutions incluses dans la substitution "séquence".
Convertir() - Method in class bob.substitution.TSubSimultanee
Convertit la substitution "simultanée".
Convertir() - Method in class bob.substitution.TSubstitution
Convertit la substitution généralisée en une substitution primitive.
Convertir() - Method in class bob.substitution.TSubVariableLocale
Convertit la substitution incluse dans la substitution "variable locale".
ConvertirDroite(TSubstitution, TSubstitution) - Method in class bob.substitution.TSubSequence
Convertit les substitutions incluses dans la substitution du membre de Droite.
ConvertirDroite(TSubstitution, TSubstitution) - Method in class bob.substitution.TSubSimultanee
Convertit les substitutions incluses dans la substitution du membre de Droite.
ConvertirGauche(TSubstitution, TSubstitution) - Method in class bob.substitution.TSubSequence
Convertit les substitutions incluses dans la substitution du membre de gauche.
ConvertirGauche(TSubstitution, TSubstitution) - Method in class bob.substitution.TSubSimultanee
Convertit les substitutions incluses dans la substitution du membre de gauche.
copier(Vector<String>) - Method in class bob.batch.TCommandes
Implémentation de la commande     "cp nom1 nom2"
Elle copie le composant "nom1" du projet en créant un composant de nom "nom2" ainsi que son fichier associé (renommé de manière cohérente).
cvVectorExprId(Vector<TExprIdentificateur>) - Static method in class bob.elementB.Util
Conversion d'un vecteur d'identificateur en un vecteur d'expression.

D

DecomposerET() - Method in class bob.predicat.TPredLogique
Méthode qui décompose un prédicat logique en un vecteur de prédicats reliés par des ET.
dependance(String) - Method in class bob.batch.TCommandes
retourne vrai s'il n'y a pas de composant qui depend du composant "nom", ou s'il y a des composants qui dépendent de "nom et que l'utilisateur a confirmé de le supprimer quand même.
dependance_add(TComposant) - Method in class bob.batch.TCommandes
affiche la liste de dependances non résolues
DIFFERENT - Static variable in class bob.constantes.TOpComparaison
Opérateur "est différent de" (/=).
DIVISE - Static variable in class bob.constantes.TOpArithm
Opérateur "divisé par" (quotient de la division entière) (/)
DiviserPredicats(Vector<TExprIdentificateur>, Vector<TPredicat>, Vector<TPredicat>, Vector<TPredicat>) - Static method in class bob.composant.TComposant
Cette méthode est utilisée par l'aplatissement sans renommage.
DonneNomNonLibre(TExprIdentificateur, Vector<TExprIdentificateur>) - Static method in class bob.elementB.Util
Renvoie un identificateur derivé de Id non libre dans ListeIdsLibres.
DonnerAbstractConstants() - Method in class bob.composant.TClauseAbstractConstants
 
DonnerAbstractVariables() - Method in class bob.composant.TClauseAbstractVariables
 
DonnerAny() - Method in class bob.substitution.TSubChoixNonBorne
Donne la liste des identificateurs introduits par le mot-clé ANY.
DonnerArgument() - Method in class bob.expression.TExprEvalFonc
Donne l'argument de la fonction.
DonnerAssert() - Method in class bob.substitution.TSubAssertion
Donne le prédicat d'une assertion introduit par le mot-clé ASSERT.
DonnerAssertions() - Method in class bob.composant.TClauseAssertions
 
DonnerBe() - Method in class bob.substitution.TSubDefinitionLocale
Donne le prédicat d'initialisation introduit par le mot-clé BE.
DonnerBegin() - Method in class bob.substitution.TSubBloc
Donne le corps d'un bloc.
DonnerCase() - Method in class bob.substitution.TSubCas
Donne la liste des cas.
DonnerChoice() - Method in class bob.substitution.TSubChoixBorne
Donne le corps d'une substitution "choix borné".
DonnerClauseAbstractConstants() - Method in class bob.composant.TComposant
Cet accesseur renvoie la clause ABSTRACT_CONSTANTS.
DonnerClauseAbstractVariables() - Method in class bob.composant.TComposant
Cet accesseur renvoie la clause ABSTRACT_VARIABLES.
DonnerClauseAssertions() - Method in class bob.composant.TComposant
Cet accesseur renvoie la clause ASSERTIONS.
DonnerClauseConcreteConstants() - Method in class bob.composant.TComposant
Cet accesseur renvoie la clause CONCRETE_CONSTANTS.
DonnerClauseConcreteVariables() - Method in class bob.composant.TComposant
Cet accesseur renvoie la clause CONCRETE_VARIABLES.
DonnerClauseConstraints() - Method in class bob.composant.TComposant
Cet accesseur renvoie la clause CONSTRAINTS.
DonnerClauseExtends() - Method in class bob.composant.TComposant
Cet accesseur renvoie la clause EXTENDS.
DonnerClauseImports() - Method in class bob.composant.TComposant
Cet accesseur renvoie la clause IMPORTS.
DonnerClauseIncludes() - Method in class bob.composant.TComposant
Cet accesseur renvoie la clause INCLUDES.
DonnerClauseInitialisation() - Method in class bob.composant.TComposant
Cet accesseur renvoie la clause INITIALISATION.
DonnerClauseInvariant() - Method in class bob.composant.TComposant
Cet accesseur renvoie la clause INVARIANT.
DonnerClauseOperations() - Method in class bob.composant.TComposant
Cet accesseur renvoie la clause OPERATIONS.
DonnerClausePromotes() - Method in class bob.composant.TComposant
Cet accesseur renvoie la clause PROMOTES.
DonnerClauseProperties() - Method in class bob.composant.TComposant
Cet accesseur renvoie la clause PROPERTIES.
DonnerClauseRefines() - Method in class bob.composant.TComposant
Cet accesseur renvoie la clause REFINES.
DonnerClausesComposant() - Method in class bob.composant.TComposant
sélecteur de la liste des clauses
DonnerClauseSees() - Method in class bob.composant.TComposant
Cet accesseur renvoie la clause SEES.
DonnerClauseSets() - Method in class bob.composant.TComposant
Cet accesseur renvoie la clause SETS.
DonnerClauseUses() - Method in class bob.composant.TComposant
Cet accesseur renvoie la clause USES.
DonnerClauseValues() - Method in class bob.composant.TComposant
Cet accesseur renvoie la clause VALUES.
DonnerComposant() - Method in class bob.composant.TOperation
Renvoie l'instance du composant auquel appartient l'opération.
DonnerComposantCourant() - Static method in class bob.projet.TProjet
Donne le composant courant
DonnerConcreteConstants() - Method in class bob.composant.TClauseConcreteConstants
 
DonnerConcreteVariables() - Method in class bob.composant.TClauseConcreteVariables
 
DonnerConstraints() - Method in class bob.composant.TClauseConstraints
 
DonnerCorpsDefinition() - Method in class bob.composant.TDefinition
 
DonnerCorpsOperation() - Method in class bob.composant.TOperation
 
DonnerDefinitions() - Method in class bob.composant.TClauseDefinitions
 
DonnerDo() - Method in class bob.substitution.TSubBoucle
Donne la substitution introduite par le mot-clé DO.
DonnerElem() - Method in class bob.composant.TComposant
sélecteur de la nature du composant
DonnerElsif() - Method in class bob.substitution.TSubCondition
Donne la liste des alternatives "ELSIF".
DonnerEnteteComposant() - Method in class bob.composant.TComposant
sélecteur de l'entete du composant
DonnerEnteteDefinition() - Method in class bob.composant.TDefinition
 
DonnerEnteteOperation() - Method in class bob.composant.TOperation
 
DonnerExpr() - Method in class bob.composant.TValuation
 
DonnerExpress() - Method in class bob.expression.TExprOpQuant
Donne l'expression sur laquelle porte la quantification.
DonnerExpress() - Method in class bob.expression.TExprParenthese
Donne l'expression mise entre parenthèses.
DonnerExpress() - Method in class bob.substitution.TSubDevientEltDe
Donne l'expression à droite de l'opérateur B "::".
DonnerExprId() - Method in class bob.composant.TDefEnsemble
 
DonnerExprId() - Method in class bob.composant.TValuation
 
DonnerExtends() - Method in class bob.composant.TClauseExtends
 
DonnerFlagAtelierB() - Static method in class bob.projet.TProjet
Valeur du style d'affichage
DonnerFonction() - Method in class bob.expression.TExprEvalFonc
Donne la fonction utilisée.
DonnerFonction() - Method in class bob.expression.TExprEvalFoncListe
Donne la fonction utilisée.
DonnerIdent() - Method in class bob.expression.TExprIdentificateur
Renvoie l'identificateur simple d'un identificateur simple, composé, ou numéroté.
DonnerIdent() - Method in class bob.substitution.TSubDevientEltDe
Donne la liste d'identificateurs à gauche de l'opérateur B "::".
DonnerIdent() - Method in class bob.substitution.TSubDevientTelQue
Donne la liste d'identificateurs à gauche de l'opérateur B ":".
DonnerIf() - Method in class bob.substitution.TSubCondition
Donne le prédicat introduit par le mot-clé IF.
DonnerImports() - Method in class bob.composant.TClauseImports
 
DonnerIn() - Method in class bob.substitution.TSubDefinitionLocale
Donne la substitution introduite par le mot-clé IN.
DonnerIn() - Method in class bob.substitution.TSubVariableLocale
Donne la substitution introduite par le mot-clé IN.
DonnerIncludes() - Method in class bob.composant.TClauseIncludes
 
DonnerInitialisation() - Method in class bob.composant.TClauseInitialisation
 
DonnerInvariant() - Method in class bob.composant.TClauseInvariant
 
DonnerInvariant() - Method in class bob.substitution.TSubBoucle
Donne le prédicat introduit par le mot-clé INVARIANT.
DonnerLet() - Method in class bob.substitution.TSubDefinitionLocale
Donne la liste des identificateurs introduits par le mot-clé LET.
DonnerListe() - Method in class bob.composant.TDefEnsemble
 
DonnerListeArg() - Method in class bob.expression.TExprEvalFoncListe
Donne la liste des arguments de la fonction.
DonnerListeComposants() - Method in class bob.projet.TProjet
 
DonnerListeFichiers() - Method in class bob.projet.TProjet
donne la liste des fichiers du projet
DonnerListeIdent() - Method in class bob.expression.TExprEnsCompr
Donne la liste des identificateurs définis dans l'ensemble.
DonnerListeIdent() - Method in class bob.predicat.TPredQuantif
Donne la liste des identificateurs quantifiés.
DonnerListeVal() - Method in class bob.expression.TExprEnsExt
Donne la liste des valeurs définies dans l'ensemble.
DonnerListeVal() - Method in class bob.expression.TExprSequence
Donne la liste des valeurs définies dans la séquence.
DonnerListeVar() - Method in class bob.expression.TExprOpQuant
Donne la liste des variables de l'opération quantifiée.
DonnerMembreDroite() - Method in class bob.predicat.TPredComparaison
Donne le membre de droite du prédicat de comparaison.
DonnerMembreDroite() - Method in class bob.predicat.TPredEnsemble
Donne le membre de droite du prédicat ensembliste.
DonnerMembreDroite() - Method in class bob.predicat.TPredLogique
Donne le membre de droite du prédicat.
DonnerMembreDroite() - Method in class bob.substitution.TSubDevientEgal
Donne la liste des expressions de la partie droite.
DonnerMembreDroite() - Method in class bob.substitution.TSubSequence
Donne la substitution à droite du symbole ;.
DonnerMembreDroite() - Method in class bob.substitution.TSubSimultanee
Donne la substitution à droite du symbole ||.
DonnerMembreGauche() - Method in class bob.predicat.TPredComparaison
Donne le membre de gauche du prédicat de comparaison.
DonnerMembreGauche() - Method in class bob.predicat.TPredEnsemble
Donne le membre de gauche du prédicat ensembliste.
DonnerMembreGauche() - Method in class bob.predicat.TPredLogique
Donne le membre de gauche du prédicat.
DonnerMembreGauche() - Method in class bob.substitution.TSubDevientEgal
Donne la liste des identificateurs (expressions) de la partie gauche.
DonnerMembreGauche() - Method in class bob.substitution.TSubSequence
Donne la substitution à gauche du symbole ;.
DonnerMembreGauche() - Method in class bob.substitution.TSubSimultanee
Donne la substitution à gauche du symbole ||.
DonnerName() - Method in class bob.composant.TEnteteComp
 
DonnerName() - Method in class bob.composant.TEnteteDef
 
DonnerName() - Method in class bob.composant.TEnteteOp
 
DonnerName() - Method in class bob.composant.TInstanceComp
 
DonnerNom() - Method in class bob.expression.TExprIdentificateur
Donne le nom complet de l'identificateur tel qu'il s'affiche.
DonnerNom() - Method in class bob.projet.TProjet
Donne le nom du projet
DonnerNomOperation() - Method in class bob.substitution.TSubAppelOp
Donne le nom de l'opération appelée.
DonnerNumero() - Method in class bob.expression.TExprIdentificateur
Renvoie le numéro de suffixe d'un identificateur numéroté.
DonnerOpDroite() - Method in class bob.expression.TExprOpBinaire
Donne l'opérande de droite.
DonnerOperande() - Method in class bob.expression.TExprOpUnaire
Donne l'opérande de l'opération.
DonnerOperateur() - Method in class bob.expression.TExprOpBinaire
Donne l'opérateur binaire utilisé.
DonnerOperateur() - Method in class bob.expression.TExprOpQuant
Donne l'opérateur de quantification utilisé.
DonnerOperateur() - Method in class bob.expression.TExprOpUnaire
Donne l'opérateur unaire utilisé.
DonnerOperateur() - Method in class bob.predicat.TPredComparaison
Donne l'opérateur de comparaison utilisé.
DonnerOperateur() - Method in class bob.predicat.TPredEnsemble
Donne l'opérateur ensembliste utilisé.
DonnerOperateur() - Method in class bob.predicat.TPredLogique
Donne l'opérateur logique utilisé.
DonnerOperateur() - Method in class bob.predicat.TPredQuantif
Donne l'opérateur de quantification utilisé.
DonnerOperations() - Method in class bob.composant.TClauseOperations
 
DonnerOpGauche() - Method in class bob.expression.TExprOpBinaire
Donne l'opérande de gauche.
DonnerParam() - Method in class bob.composant.TEnteteComp
 
DonnerParam() - Method in class bob.composant.TEnteteDef
 
DonnerParam() - Method in class bob.composant.TInstanceComp
 
DonnerParamEntrant() - Method in class bob.composant.TEnteteOp
 
DonnerParametres() - Method in class bob.substitution.TSubAppelOp
Donne la liste des paramètres.
DonnerParamSortant() - Method in class bob.composant.TEnteteOp
 
DonnerPre() - Method in class bob.substitution.TSubPrecondition
Donne le prédicat d'une substitution "précondition", introduit le mot-clé PRE.
DonnerPredicat() - Method in class bob.expression.TExprBoolPred
Donne l'argument de la fonction.
DonnerPredicat() - Method in class bob.expression.TExprEnsCompr
Donne le prédicat de définition de l'ensemble.
DonnerPredicat() - Method in class bob.expression.TExprOpQuant
Donne le prédicat de typage de l'opération quantifiée.
DonnerPredicat() - Method in class bob.predicat.TPredParenthese
Donne le prédicat mis entre parenthèse.
DonnerPredicat() - Method in class bob.predicat.TPredQuantif
Donne le prédicat portant sur les identificateurs quantifiés.
DonnerPredicat() - Method in class bob.substitution.TElsif
Donne le prédicat d'une alternative introduit par le mot-clé ELSIF.
DonnerPredicat() - Method in class bob.substitution.TSubDevientTelQue
Donne le prédicat à droite de l'opérateur B ":".
DonnerPredicat() - Method in class bob.substitution.TWhen
Donne le prédicat d'une alternative.
DonnerPrefixe() - Method in class bob.expression.TExprIdentificateur
Retourne le préfixe sous forme d'une chaine de caractères.
DonnerPrefixes() - Method in class bob.expression.TExprIdentificateur
Renvoie le vecteur de préfixes d'un identificateur composé.
DonnerProjetCourant() - Static method in class bob.projet.TProjet
Renvoie l'instance du projet courant
DonnerPromotes() - Method in class bob.composant.TClausePromotes
 
DonnerProperties() - Method in class bob.composant.TClauseProperties
 
DonnerRefines() - Method in class bob.composant.TClauseRefines
 
DonnerResultats() - Method in class bob.substitution.TSubAppelOp
Donne la liste des résultats.
DonnerSees() - Method in class bob.composant.TClauseSees
 
DonnerSelect() - Method in class bob.substitution.TSubSelection
Donne le prédicat d'une sélection.
DonnerSelecteur() - Method in class bob.substitution.TSubCas
Donne l'expression de test (un ensemble)
DonnerSets() - Method in class bob.composant.TClauseSets
 
DonnerTerme() - Method in class bob.substitution.TCase
Donne le terme d'un cas.
DonnerThen() - Method in class bob.substitution.TCase
Donne le corps d'un cas.
DonnerThen() - Method in class bob.substitution.TElsif
Donne le corps d'une alternative introduit par le mot-clé THEN (ou ELSE).
DonnerThen() - Method in class bob.substitution.TSubAssertion
Donne le corps d'une assertion introduit par le mot-clé THEN.
DonnerThen() - Method in class bob.substitution.TSubChoixNonBorne
Donne la substitution introduite par le mot-clé THEN.
DonnerThen() - Method in class bob.substitution.TSubCondition
Donne la substitution introduite par le mot-clé THEN.
DonnerThen() - Method in class bob.substitution.TSubPrecondition
Donne le corps d'une substitution "précondition", introduit par le mot-clé THEN.
DonnerThen() - Method in class bob.substitution.TSubSelection
Donne le corps d'une sélection.
DonnerThen() - Method in class bob.substitution.TWhen
Donne le corps d'une alternative.
DonnerUses() - Method in class bob.composant.TClauseUses
 
DonnerValeur() - Method in class bob.expression.TExprBoolLitt
Donne la valeur du booléen.
DonnerValeur() - Method in class bob.expression.TExprChaineLitt
Donne la valeur de la chaine de caractères.
DonnerValeur() - Method in class bob.expression.TExprEntierLitt
Donne la valeur de l'entier.
DonnerValues() - Method in class bob.composant.TClauseValues
 
DonnerVar() - Method in class bob.substitution.TSubVariableLocale
Donne la liste des identifiateurs introduits par le mot-clé VAR.
DonnerVariant() - Method in class bob.substitution.TSubBoucle
Donne l'expression introduite par le mot-clé VARIANT.
DonnerWhen() - Method in class bob.substitution.TSubSelection
Donne la liste des alternatives d'une sélection.
DonnerWhere() - Method in class bob.substitution.TSubChoixNonBorne
Donne le prédicat introduit par le mot-clé WHERE.
DonnerWhile() - Method in class bob.substitution.TSubBoucle
Donne le prédicat introduit par le mot-clé WHILE.
Dupliquer() - Method in class bob.composant.TComposant
Cette méthode duplique un composant.
Dupliquer() - Method in class bob.composant.TDefEnsemble
Renvoie un clone du TDefEnsemble.
Dupliquer() - Method in class bob.composant.TInstanceComp
Dupliquer (clone) Auteur: Olivier BERT
Dupliquer() - Method in class bob.composant.TValuation
Clone l'element Ajoute par Olivier BERT
Dupliquer() - Method in class bob.elementB.TElementB
Renvoie une copie de l'élément courant
Dupliquer() - Method in class bob.expression.TExprBoolLitt
Renvoie la copie de l'élément courant cloné sur toute sa hauteur
Dupliquer() - Method in class bob.expression.TExprBoolPred
Renvoie la copie conforme de l'element courant cloné sur toute sa hauteur
Dupliquer() - Method in class bob.expression.TExprChaineLitt
Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
Dupliquer() - Method in class bob.expression.TExprEnsCompr
Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
Dupliquer() - Method in class bob.expression.TExprEnsExt
Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
Dupliquer() - Method in class bob.expression.TExprEntierLitt
Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
Dupliquer() - Method in class bob.expression.TExprEvalFonc
Renvoie la copie de l'élément courant cloné sur toute sa hauteur
Dupliquer() - Method in class bob.expression.TExprEvalFoncListe
Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
Dupliquer() - Method in class bob.expression.TExprIdentificateur
Renvoie la copie de l'élément courant cloné sur toute sa hauteur
Dupliquer() - Method in class bob.expression.TExprOpBinaire
Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
Dupliquer() - Method in class bob.expression.TExprOpQuant
Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
Dupliquer() - Method in class bob.expression.TExprOpUnaire
Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
Dupliquer() - Method in class bob.expression.TExprParenthese
Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
Dupliquer() - Method in class bob.expression.TExprSequence
Renvoie la copie de l'élément courant cloné sur toute sa hauteur
Dupliquer() - Method in class bob.predicat.TPredComparaison
Renvoie la copie conforme de l'element courant clone sur toute sa hauteur Méthode de Nicolas Stouls.
Dupliquer() - Method in class bob.predicat.TPredConst
Cette méthode n'est là que pour éviter d'avoir des cas non prévus à l'exécution.
Dupliquer() - Method in class bob.predicat.TPredEnsemble
Renvoie la copie de l'élément courant cloné sur toute sa hauteur
Dupliquer() - Method in class bob.predicat.TPredLogique
Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
Dupliquer() - Method in class bob.predicat.TPredParenthese
Renvoie la copie conforme de l'element courant clone sur toute sa hauteur Méthode de Nicolas Stouls.
Dupliquer() - Method in class bob.predicat.TPredQuantif
Renvoie la copie conforme de l'element courant clone sur toute sa hauteur Méthode de Nicolas Stouls.
Dupliquer() - Method in class bob.substitution.TCase
Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
Dupliquer() - Method in class bob.substitution.TElsif
Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
Dupliquer() - Method in class bob.substitution.TSubAppelOp
Renvoie un clone de la substitution TSubAppelOp.
Dupliquer() - Method in class bob.substitution.TSubAssertion
Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
Dupliquer() - Method in class bob.substitution.TSubBloc
Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
Dupliquer() - Method in class bob.substitution.TSubBoucle
Renvoie la copie de l'élément courant cloné sur toute sa hauteur
Dupliquer() - Method in class bob.substitution.TSubCas
Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
Dupliquer() - Method in class bob.substitution.TSubChoixBorne
METHODES
Dupliquer() - Method in class bob.substitution.TSubChoixNonBorne
Renvoie la copie de l'element courant clone sur toute sa hauteur
Dupliquer() - Method in class bob.substitution.TSubCondition
Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
Dupliquer() - Method in class bob.substitution.TSubDefinitionLocale
Renvoie la copie de l'element courant clone sur toute sa hauteur
Dupliquer() - Method in class bob.substitution.TSubDevientEgal
Renvoie la copie conforme de l'element courant clone sur toute sa hauteur.
Dupliquer() - Method in class bob.substitution.TSubDevientEltDe
Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
Dupliquer() - Method in class bob.substitution.TSubDevientTelQue
Renvoie la copie conforme de l'élément courant cloné sur toute sa hauteur
Dupliquer() - Method in class bob.substitution.TSubIdentite
Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
Dupliquer() - Method in class bob.substitution.TSubPrecondition
Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
Dupliquer() - Method in class bob.substitution.TSubSelection
Renvoie la copie conforme de l'element courant clone sur toute sa hauteur.
Dupliquer() - Method in class bob.substitution.TSubSequence
Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
Dupliquer() - Method in class bob.substitution.TSubSimultanee
Renvoie la copie de l'element courant clone sur toute sa hauteur
Dupliquer() - Method in class bob.substitution.TSubVariableLocale
Renvoie la copie conforme de l'element courant sur toute sa hauteur
Dupliquer() - Method in class bob.substitution.TWhen
Renvoie la copie conforme de l'element courant clone sur toute sa hauteur
DupliquerListe(Vector<TElementB>) - Static method in class bob.elementB.Util
Prend une liste d'elementB et en renvoie une copie
DupliquerListeExpr(Vector<TExpression>) - Static method in class bob.elementB.Util
Prend une liste d'expressions et en revoie une copie
DupliquerListeExprId(Vector<TExprIdentificateur>) - Static method in class bob.elementB.Util
Prend une liste d'identificateurs et en revoie une copie
DupliquerListePred(Vector<TPredicat>) - Static method in class bob.elementB.Util
Prend une liste de Predicats et en revoie une copie
DupliquerListeSub(Vector<TSubstitution>) - Static method in class bob.elementB.Util
Prend une liste de Substitutions et en revoie une copie

E

ecrire(String) - Method in class bob.batch.TCommandes
permet d'ecrire dans le fichier projet
EGAL - Static variable in class bob.constantes.TOpArithm
Opérateur "égal" (=).
EGAL - Static variable in class bob.constantes.TOpComparaison
Opérateur "est égal à" (=).
Elem - Variable in class bob.composant.TComposant
nature du composant : machine, raffinement ou implementation
ENS_BIJECT_PART - Static variable in class bob.constantes.TOpFonction
Ensemble des fonctions bijectives partielles (>+>>)
ENS_BIJECT_TOT - Static variable in class bob.constantes.TOpFonction
Ensemble des fonctions bijectives totales (>->>)
ENS_FONC_PART - Static variable in class bob.constantes.TOpFonction
Ensemble des fonctions partielles (+->)
ENS_FONC_TOT - Static variable in class bob.constantes.TOpFonction
Ensemble des fonctions totales (-->)
ENS_INJECT_PART - Static variable in class bob.constantes.TOpFonction
Ensemble des fonctions injectives partielles (>+>)
ENS_INJECT_TOT - Static variable in class bob.constantes.TOpFonction
Ensemble des fonctions injectives totales (>->)
ENS_SURJECT_PART - Static variable in class bob.constantes.TOpFonction
Ensemble des fonctions surjectives partielles (+->>)
ENS_SURJECT_TOT - Static variable in class bob.constantes.TOpFonction
Ensemble des fonctions surjectives totales (-->>)
ENSEMBLE - Static variable in class bob.constantes.TOpRelation
Ensemble de relations (<->)
EnteteComposant - Variable in class bob.composant.TComposant
entete du composant : nom et paramètres
EQUIVALENT - Static variable in class bob.constantes.TOpLogique
Opérateur logique "équivalent à" (<=>)
est_EnsembleEnumere() - Method in class bob.composant.TDefEnsemble
 
EstEgalA(TExpression) - Method in class bob.expression.TExprIdentificateur
Indique si une expression est égale à l'identificateur.
EstIdCompose() - Method in class bob.expression.TExprIdentificateur
Indique s'il s'agit d'un identificateur renommé avec préfixes (avec ou sans numéro)
EstIdNumerote() - Method in class bob.expression.TExprIdentificateur
Indique s'il s'agit d'un identificateur avec numéro.
EstIdSimple() - Method in class bob.expression.TExprIdentificateur
Indique s'il s'agit d'un identificateur simple (avec ou sans numéro).
EstPrimitive() - Method in class bob.substitution.TSubstitution
Indique si la substitution généralisée est primitive ou non.
EstSubMachine() - Method in class bob.substitution.TCase
Teste si le cas est une substitution de machine
EstSubMachine() - Method in class bob.substitution.TElsif
Teste si l'assertion est une substitution de machine
EstSubMachine() - Method in class bob.substitution.TSubAssertion
Teste si l'assertion est une substitution de machine
EstSubMachine() - Method in class bob.substitution.TSubBloc
Teste si le bloc est une substitution de machine
EstSubMachine() - Method in class bob.substitution.TSubBoucle
Teste si la boucle est une substitution de machine
EstSubMachine() - Method in class bob.substitution.TSubCas
Teste si la substitution CASE est une substitution de machine.
EstSubMachine() - Method in class bob.substitution.TSubChoixBorne
Teste si la substitution CHOIX est une substitution de machine
EstSubMachine() - Method in class bob.substitution.TSubChoixNonBorne
Teste si le ANY est une substitution de machine
EstSubMachine() - Method in class bob.substitution.TSubCondition
Teste si l'assertion est une substitution de machine
EstSubMachine() - Method in class bob.substitution.TSubDefinitionLocale
Teste si le LET est une substitution de machine
EstSubMachine() - Method in class bob.substitution.TSubPrecondition
Teste si la substitution est une substitution de machine
EstSubMachine() - Method in class bob.substitution.TSubSelection
Teste si le SELECT est une substitution de machine
EstSubMachine() - Method in class bob.substitution.TSubSequence
Teste si la substitution est une substitution de machine
EstSubMachine() - Method in class bob.substitution.TSubSimultanee
Teste si la substitution est une substitution de machine
EstSubMachine() - Method in class bob.substitution.TSubstitution
Cette méthode renvoie TRUE si la substitution est valide dans une machine
FALSE sinon.
EstSubMachine() - Method in class bob.substitution.TSubVariableLocale
Teste si la substitution est une substitution de machine
EstSubMachine() - Method in class bob.substitution.TWhen
Teste si le when est une substitution de machine
EstSyntaxEgal(TExpression) - Method in class bob.expression.TExprBoolLitt
Recherche si deux expressions sont syntaxiquement égales.
EstSyntaxEgal(TExpression) - Method in class bob.expression.TExprBoolPred
Recherche si deux expressions sont syntaxiquement égales.
EstSyntaxEgal(TExpression) - Method in class bob.expression.TExprChaineLitt
Recherche si deux expressions sont syntaxiquement égales.
EstSyntaxEgal(TExpression) - Method in class bob.expression.TExprEnsExt
Recherche si l'expression en paramètre est syntaxiquement égale à l'objet courant.
EstSyntaxEgal(TExpression) - Method in class bob.expression.TExprEntierLitt
Recherche si deux expressions sont syntaxiquement égales.
EstSyntaxEgal(TExpression) - Method in class bob.expression.TExpression
Méthode de Didier Bert (3 septembre 2002).
EstSyntaxEgal(TExpression) - Method in class bob.expression.TExprEvalFonc
Recherche si deux expressions sont syntaxiquement égales.
EstSyntaxEgal(TExpression) - Method in class bob.expression.TExprIdentificateur
Recherche si l'expression en paramètre est syntaxiquement égale à l'objet courant.
EstSyntaxEgal(TExpression) - Method in class bob.expression.TExprOpBinaire
Recherche si l'expression en paramètre est syntaxiquement égale à l'objet courant.
EstSyntaxEgal(TExpression) - Method in class bob.expression.TExprOpUnaire
Recherche si l'expression en paramètre est syntaxiquement égale à l'objet courant.
EstSyntaxEgal(TExpression) - Method in class bob.expression.TExprParenthese
Recherche si l'expression en paramètre est syntaxiquement égale à l'objet courant.
EstSyntaxEgal(TPredicat) - Method in class bob.predicat.TPredComparaison
Recherche si le prédicat courant est syntaxiquement égal au prédicat en paramètre.
EstSyntaxEgal(TPredicat) - Method in class bob.predicat.TPredConst
Recherche si le prédicat courant est syntaxiquement égal au prédicat en paramètre.
EstSyntaxEgal(TPredicat) - Method in class bob.predicat.TPredEnsemble
Recherche si le prédicat courant est syntaxiquement égal au prédicat en paramètre.
EstSyntaxEgal(TPredicat) - Method in class bob.predicat.TPredicat
Recherche si le prédicat courant est syntaxiquement égal au prédicat en paramètre.
EstSyntaxEgal(TPredicat) - Method in class bob.predicat.TPredLogique
Recherche si le prédicat courant est syntaxiquement égal au prédicat en paramètre.
EstSyntaxEgal(TPredicat) - Method in class bob.predicat.TPredParenthese
Recherche si le prédicat courant est syntaxiquement égal au prédicat en paramètre.
EstVide() - Method in class bob.expression.TExprEnsExt
Testeur de l'ensemble vide.
EstVide() - Method in class bob.expression.TExprSequence
Indique si la séquence est vide.
ET - Static variable in class bob.constantes.TOpLogique
Opérateur logique "et" (&)
ExportedOperations(Vector<String>) - Method in class bob.batch.TCommandes
Cette méthode affiche les operations exportees par le composant donné
Auteur: Olivier Bert
ExportedOperations_x(Vector<String>) - Method in class bob.batch.TCommandes
Affichage détaillé des opérations exportées.

F

FAUX - Static variable in class bob.predicat.TPredConst
 
fermer() - Method in class bob.batch.TCommandes
ferme le fichier projet en écriture
FlagAtelierB - Static variable in class bob.projet.TProjet
indication pour la compatibilité de l'affichage avec les contraintes de l'atelierB
FusionnerVecteurs(Vector<TExprIdentificateur>, Vector<TExprIdentificateur>) - Static method in class bob.elementB.Util
Prend deux vecteurs de TExprIdentificateur et fusionne leur contenu.

G

generate_command(String) - Static method in class bob.batch.Bob
This method parses the command line and returns an array
GenererCompPO() - Method in class bob.composant.TComposant
Méthode qui calcule un composant dans lequel les opérations sont remplacées par des assertions correspondant à leur PO.
GenererPO(Vector<String>) - Method in class bob.batch.TCommandes
Implémentation de la commande    "po nom1 [nom2]"
Méthode expérimentale de génération d'obligation de preuves.
getchemin(int) - Method in class bob.batch.TCommandes
donne le chemin associé à l'index i

H

hasNext() - Method in class bob.batch.ListeIter
 
Help - Class in bob.batch
Classe qui contient les messages statiques pour le help.
Help() - Constructor for class bob.batch.Help
 
help() - Static method in class bob.batch.Help
Affiche le help
help_af() - Static method in class bob.batch.Help
Affiche le help de la commande af
help_help() - Static method in class bob.batch.Help
Affiche le help de la commande help
help_quit() - Static method in class bob.batch.Help
Affiche le help de la commande quit
help_rc() - Static method in class bob.batch.Help
Affiche le help de la commande rc
help_scd() - Static method in class bob.batch.Help
Affiche le help de la commande scd
help_scl() - Static method in class bob.batch.Help
Affiche le help de la commande scl

I

Ident - Variable in class bob.expression.TExprIdentificateur
 
IdsCommuns(Vector<TExprIdentificateur>, Vector<TExprIdentificateur>) - Static method in class bob.elementB.Util
Etant donné deux vecteurs d'Identificateurs V1 et V2, retourne le vecteur des identificateurs communs aux deux vecteurs.
IL_EXISTE - Static variable in class bob.constantes.TOpQuantif
Opérateur "il existe" (#)
IMAGE - Static variable in class bob.constantes.TOpRelation
Image d'une relation (_[_])
IMPLEMENTATION - Static variable in class bob.constantes.TNatureComposant
 
IMPLIQUE - Static variable in class bob.constantes.TOpLogique
Opérateur logique "implique" (=>)
Inclure(String) - Method in class bob.composant.TComposant
Cette méthode procède à la fusion de tous les composants inclus dans un même composant.
InclureComposants(Vector<String>) - Method in class bob.batch.TCommandes
Implémentation de la commande    "ic nom1 nom2"
Méthode qui fait l'inclusion de composants.
INCLUS - Static variable in class bob.constantes.TOpEnsemble
Opérateur "est inclus dans ou égal" (<:)
indice(String) - Method in class bob.batch.TCommandes
Etant donné un nom de fichier, cette méthode retourne l'indice du fichier dans le vecteur ListeFichiers.
indice(TComposant) - Method in class bob.batch.TCommandes
Cette méthode cherche l'indice d'un composant.
INFERIEUR - Static variable in class bob.constantes.TOpComparaison
Opérateur "est inférieur ou égal à" (<=).
init_ecrire(boolean) - Method in class bob.batch.TCommandes
permet d'ouvrir le fichier projet en écriture
init_lire() - Method in class bob.batch.TCommandes
permet d'ouvrir le fichier projet en lecture
INSERT_DROITE - Static variable in class bob.constantes.TOpSequence
Opérateur "insertion à droite" (<-)
INSERT_GAUCHE - Static variable in class bob.constantes.TOpSequence
Opérateur "insertion à gauche" (->)
INTER - Static variable in class bob.constantes.TOpQuantif
Opérateur "intersection quantifiée" (INTER)
INTERSECTION - Static variable in class bob.constantes.TOpEnsemble
Opérateur "intersection" (/\)
INTERVALLE - Static variable in class bob.constantes.TOpEnsemble
Opérateur "intervalle" (..)
INVERSE - Static variable in class bob.constantes.TOpUnaire
Opérateur unaire "inverse" (~)
iterator() - Method in class bob.batch.Liste
 

L

l - Variable in class bob.batch.Liste
 
LAMBDA - Static variable in class bob.constantes.TOpQuantif
Opérateur "lambda" (%)
lire() - Method in class bob.batch.TCommandes
permet de lire dans du fichier projet
lire_string() - Static method in class bob.batch.TCommandes
lit une chaine de caractère
Liste - Class in bob.batch
 
Liste() - Constructor for class bob.batch.Liste
 
Liste(String) - Constructor for class bob.batch.Liste
 
ListeComposants - Variable in class bob.projet.TProjet
liste des composants du projet
ListeDesAppelables() - Method in class bob.composant.TComposant
Cette methode renvoie la liste des operations appelables lorsqu'on est dans un composant donne.
ListeDesNomsLibres() - Method in class bob.elementB.TElementB
Renvoie la liste des identificateurs libres de l'élément B courant.
ListeDesNomsLibres() - Method in class bob.expression.TExprBoolLitt
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
ListeDesNomsLibres() - Method in class bob.expression.TExprBoolPred
Renvoie la liste des identificateurs libres dans un predicat
ListeDesNomsLibres() - Method in class bob.expression.TExprChaineLitt
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
ListeDesNomsLibres() - Method in class bob.expression.TExprEnsCompr
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
ListeDesNomsLibres() - Method in class bob.expression.TExprEnsExt
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
ListeDesNomsLibres() - Method in class bob.expression.TExprEntierLitt
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
ListeDesNomsLibres() - Method in class bob.expression.TExprEvalFonc
Renvoie la liste des identificateurs libres dans l'expression.
ListeDesNomsLibres() - Method in class bob.expression.TExprEvalFoncListe
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
ListeDesNomsLibres() - Method in class bob.expression.TExprIdentificateur
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
ListeDesNomsLibres() - Method in class bob.expression.TExprOpBinaire
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
ListeDesNomsLibres() - Method in class bob.expression.TExprOpQuant
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
ListeDesNomsLibres() - Method in class bob.expression.TExprOpUnaire
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
ListeDesNomsLibres() - Method in class bob.expression.TExprParenthese
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
ListeDesNomsLibres() - Method in class bob.expression.TExprSequence
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
ListeDesNomsLibres() - Method in class bob.predicat.TPredComparaison
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
ListeDesNomsLibres() - Method in class bob.predicat.TPredEnsemble
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
ListeDesNomsLibres() - Method in class bob.predicat.TPredLogique
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
ListeDesNomsLibres() - Method in class bob.predicat.TPredParenthese
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
ListeDesNomsLibres() - Method in class bob.predicat.TPredQuantif
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
ListeDesNomsLibres() - Method in class bob.substitution.TCase
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
ListeDesNomsLibres() - Method in class bob.substitution.TElsif
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
ListeDesNomsLibres() - Method in class bob.substitution.TSubAppelOp
METHODES
ListeDesNomsLibres() - Method in class bob.substitution.TSubAssertion
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
ListeDesNomsLibres() - Method in class bob.substitution.TSubBloc
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
ListeDesNomsLibres() - Method in class bob.substitution.TSubBoucle
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
ListeDesNomsLibres() - Method in class bob.substitution.TSubCas
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
ListeDesNomsLibres() - Method in class bob.substitution.TSubChoixBorne
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
ListeDesNomsLibres() - Method in class bob.substitution.TSubChoixNonBorne
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
ListeDesNomsLibres() - Method in class bob.substitution.TSubCondition
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
ListeDesNomsLibres() - Method in class bob.substitution.TSubDefinitionLocale
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
ListeDesNomsLibres() - Method in class bob.substitution.TSubDevientEgal
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
ListeDesNomsLibres() - Method in class bob.substitution.TSubDevientEltDe
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
ListeDesNomsLibres() - Method in class bob.substitution.TSubDevientTelQue
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
ListeDesNomsLibres() - Method in class bob.substitution.TSubIdentite
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
ListeDesNomsLibres() - Method in class bob.substitution.TSubPrecondition
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
ListeDesNomsLibres() - Method in class bob.substitution.TSubSelection
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
ListeDesNomsLibres() - Method in class bob.substitution.TSubSequence
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
ListeDesNomsLibres() - Method in class bob.substitution.TSubSimultanee
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
ListeDesNomsLibres() - Method in class bob.substitution.TSubVariableLocale
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
ListeDesNomsLibres() - Method in class bob.substitution.TWhen
Renvoie la liste des identificateurs libres dans un predicat, une expression ou une substitution.
ListeDesVisibles(TInstanceComp) - Method in class bob.composant.TComposant
Cette methode donne la liste des operations visibles (exportees) d'un composant
ListeDesVisibles2(TInstanceComp) - Method in class bob.composant.TComposant
La même méthode mais n'inclut pas les opérations définies par le composant.
ListeFichiers - Variable in class bob.projet.TProjet
liste des noms des fichiers source
ListeIter - Class in bob.batch
 
ListeIter(Liste) - Constructor for class bob.batch.ListeIter
 
lister() - Method in class bob.batch.TCommandes
liste les composants qui sont dans le projet
ListeVarVisibles(TExprIdentificateur) - Method in class bob.composant.TComposant
Renvoie la liste des variables visibles dans le corps des opérations.

M

MACHINE - Static variable in class bob.constantes.TNatureComposant
 
main(String[]) - Static method in class bob.batch.Bob
Programme principal du mode batch.
MAPLET - Static variable in class bob.constantes.TOpEnsemble
Opérateur "maplet" (|->)
MODULO - Static variable in class bob.constantes.TOpArithm
Opérateur "modulo" (reste de la division entière) (mod)
MOINS - Static variable in class bob.constantes.TOpArithm
Opérateur "moins" (-)
MOINS - Static variable in class bob.constantes.TOpEnsemble
Opérateur "soustraction d'ensembles" (-)
MOINS - Static variable in class bob.constantes.TOpUnaire
Opérateur unaire "opposé" (-)
MULTIPLIE - Static variable in class bob.constantes.TOpArithm
Opérateur "multiplié par" (*)
MULTIPLIE - Static variable in class bob.constantes.TOpEnsemble
Opérateur "produit cartésien d'ensembles" (*)

N

next() - Method in class bob.batch.ListeIter
 
Nom - Variable in class bob.projet.TProjet
nom du projet
NON - Static variable in class bob.constantes.TOpLogique
Opérateur logique "non" (not)
NON_APPARTIENT - Static variable in class bob.constantes.TOpEnsemble
Opérateur "n'appartient pas à" (/:)
NON_INCLUS - Static variable in class bob.constantes.TOpEnsemble
Opérateur "n'est pas stritement inclus ou égal" (/<:)
NON_STRICT_INCLUS - Static variable in class bob.constantes.TOpEnsemble
Opérateur "n'est pas strictement inclus dans" (/<<:)
Normaliser() - Method in class bob.composant.TComposant
Cette methode normalise un composant, c'est a dire qu'elle met les clauses dans l'ordre conventionnel : celui employe par l'atelier B.
Numero - Variable in class bob.expression.TExprIdentificateur
 

O

OU - Static variable in class bob.constantes.TOpLogique
Opérateur logique "ou" (or)

P

PI - Static variable in class bob.constantes.TOpQuantif
Opérateur "produit généralisé" (PI)
PLUS - Static variable in class bob.constantes.TOpArithm
Opérateur "plus" (+)
POUR_TOUT - Static variable in class bob.constantes.TOpQuantif
Opérateur "pour tout" (!)
Prefixes - Variable in class bob.expression.TExprIdentificateur
Les préfixes du nom instancié ou renommé.
Primitive - Variable in class bob.substitution.TSubstitution
 
PROD_DIRECT - Static variable in class bob.constantes.TOpRelation
Opérateur "produit direct de relations" (><)
PROD_PARALLELE - Static variable in class bob.constantes.TOpRelation
Opérateur "produit parallèle de relations" (||)
projet() - Method in class bob.batch.TCommandes
Renvoie l'instance du projet sur lequel on travaille
ProjetCourant - Static variable in class bob.projet.TProjet
lien sur le projet courant
PUISSANCE - Static variable in class bob.constantes.TOpArithm
Opérateur "puissance de" (**)

R

RangerAbstractConstants(Vector<TExprIdentificateur>) - Method in class bob.composant.TClauseAbstractConstants
initialisation de l'attribut AbstractConstants
RangerAbstractVariables(Vector<TExprIdentificateur>) - Method in class bob.composant.TClauseAbstractVariables
initialisation de l'attribut AbstractVariables
RangerAssertions(Vector<TPredicat>) - Method in class bob.composant.TClauseAssertions
initialisation de l'attribut Assertions
RangerClausesComposant(Vector<TClause>) - Method in class bob.composant.TComposant
initialisation des clauses du composant
RangerComposant(TComposant) - Method in class bob.composant.TOperation
Change le composant auquel appartient l'opération.
RangerComposantCourant(TComposant) - Static method in class bob.projet.TProjet
Pour initialiser le composant courant
Pour les calculs dans certaines substitutions, cette variable doit être impérativement à jour (exemple, s'il faut avoir la liste des variables de l'espace d'état : calcul du prd)
RangerConcreteConstants(Vector<TExprIdentificateur>) - Method in class bob.composant.TClauseConcreteConstants
initialisation de l'attribut ConcreteConstants
RangerConcreteVariables(Vector<TExprIdentificateur>) - Method in class bob.composant.TClauseConcreteVariables
initialisation de l'attribut ConcreteVariables
RangerConstraints(TPredicat) - Method in class bob.composant.TClauseConstraints
initialisation de l'attribut Constraints
RangerCorpsDefinition(TElementB) - Method in class bob.composant.TDefinition
initialisation de l'attribut CorpsDefinition
RangerCorpsOperation(TSubstitution) - Method in class bob.composant.TOperation
initialisation de l'attribut CorpsOperation
RangerDefinitions(Vector<TDefinition>) - Method in class bob.composant.TClauseDefinitions
initialisation de l'attribut Definitions
RangerElem(TNatureComposant) - Method in class bob.composant.TComposant
initialisation de la nature du composant
RangerEnteteComposant(TEnteteComp) - Method in class bob.composant.TComposant
initialisation de l'entete du composant
RangerEnteteDefinition(TEnteteDef) - Method in class bob.composant.TDefinition
initialisation de l'attribut EnteteDefinition
RangerEnteteOperation(TEnteteOp) - Method in class bob.composant.TOperation
initialisation de l'attribut EnteteOperation
RangerExpr(TExpression) - Method in class bob.composant.TValuation
initialisation de l'expression valuante
RangerExprId(TExprIdentificateur) - Method in class bob.composant.TDefEnsemble
initialisation de l'attribut ExprId
RangerExprId(TExprIdentificateur) - Method in class bob.composant.TValuation
initialisation de l'identificateur valué
RangerExtends(Vector<TInstanceComp>) - Method in class bob.composant.TClauseExtends
initialisation de l'attribut Extends
RangerFlagAtelierB(boolean) - Static method in class bob.projet.TProjet
Pour changer le style d'affichage pour etre compatible avec l'atelier B.
RangerIdent(String) - Method in class bob.expression.TExprIdentificateur
Changer l'identifiant
RangerImports(Vector<TInstanceComp>) - Method in class bob.composant.TClauseImports
initialisation de l'attribut Imports
RangerIncludes(Vector<TInstanceComp>) - Method in class bob.composant.TClauseIncludes
initialisation de l'attribut Includes
RangerInitialisation(TSubstitution) - Method in class bob.composant.TClauseInitialisation
initialisation de l'attribut Initialisation
RangerInvariant(TPredicat) - Method in class bob.composant.TClauseInvariant
initialisation de l'attribut Invariant
RangerListe(Vector<TExprIdentificateur>) - Method in class bob.composant.TDefEnsemble
initialisation de l'attribut Liste
RangerListeComposants(Vector<TComposant>) - Method in class bob.projet.TProjet
initialisation de l'attribut ListeComposants
RangerListeFichiers(Vector<String>) - Method in class bob.projet.TProjet
initialisation de l'attribut ListeFichiers
RangerName(TExprIdentificateur) - Method in class bob.composant.TEnteteComp
initialisation du nom du composant
RangerName(TExprIdentificateur) - Method in class bob.composant.TEnteteDef
initialisation de l'attribut Name
RangerName(TExprIdentificateur) - Method in class bob.composant.TEnteteOp
initialisation de l'attribut Name
RangerName(TExprIdentificateur) - Method in class bob.composant.TInstanceComp
initialisation de l'attribut Name
RangerNom(String) - Method in class bob.projet.TProjet
initialisation de l'attribut Nom
RangerOperations(Vector<TOperation>) - Method in class bob.composant.TClauseOperations
initialisation de l'attribut Operations
RangerParam(Vector<TExprIdentificateur>) - Method in class bob.composant.TEnteteComp
initialisation de la liste de paramètres
RangerParam(Vector<TExprIdentificateur>) - Method in class bob.composant.TEnteteDef
initialisation de l'attribut Param
RangerParam(Vector<TExpression>) - Method in class bob.composant.TInstanceComp
initialisation de l'attribut Param
RangerParamEntrant(Vector<TExprIdentificateur>) - Method in class bob.composant.TEnteteOp
initialisation de l'attribut ParamEntrant
RangerParamSortant(Vector<TExprIdentificateur>) - Method in class bob.composant.TEnteteOp
initialisation de l'attribut ParamSortant
RangerProjetCourant(TProjet) - Static method in class bob.projet.TProjet
Mise à jour du projet courant
RangerPromotes(Vector<TExprIdentificateur>) - Method in class bob.composant.TClausePromotes
initialisation de l'attribut Promotes
RangerProperties(TPredicat) - Method in class bob.composant.TClauseProperties
initialisation de l'attribut Properties
RangerRefines(TExprIdentificateur) - Method in class bob.composant.TClauseRefines
initialisation de l'attribut Refines
RangerSees(Vector<TExprIdentificateur>) - Method in class bob.composant.TClauseSees
initialisation de l'attribut sees
RangerSets(Vector<TDefEnsemble>) - Method in class bob.composant.TClauseSets
initialisation de l'attribut Sets
RangerUses(Vector<TExprIdentificateur>) - Method in class bob.composant.TClauseUses
initialisation de l'attribut uses
RangerValues(Vector<TValuation>) - Method in class bob.composant.TClauseValues
initialisation de l'attribut values
rangIter - Variable in class bob.batch.ListeIter
 
RecomposerET(Vector<TPredicat>) - Static method in class bob.predicat.TPredLogique
Méthode qui recompose une liste de prédicats en une conjonction avec associativité à gauche.
REFINEMENT - Static variable in class bob.constantes.TNatureComposant
 
remove() - Method in class bob.batch.ListeIter
 
removel(String) - Method in class bob.batch.Liste
 
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.elementB.TElementB
Remplace un identificateur libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.expression.TExprBoolLitt
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.expression.TExprBoolPred
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.expression.TExprChaineLitt
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.expression.TExprEnsCompr
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.expression.TExprEnsExt
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.expression.TExprEntierLitt
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.expression.TExprEvalFonc
Remplace un identificateur non libre dans l'argument courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.expression.TExprEvalFoncListe
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.expression.TExprIdentificateur
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.expression.TExprOpBinaire
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.expression.TExprOpQuant
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.expression.TExprOpUnaire
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.expression.TExprParenthese
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.expression.TExprSequence
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.predicat.TPredComparaison
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.predicat.TPredConst
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.predicat.TPredEnsemble
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.predicat.TPredLogique
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.predicat.TPredParenthese
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.predicat.TPredQuantif
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.substitution.TCase
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.substitution.TElsif
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.substitution.TSubAppelOp
Remplace un identificateur libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.substitution.TSubAssertion
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.substitution.TSubBloc
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.substitution.TSubBoucle
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.substitution.TSubCas
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.substitution.TSubChoixBorne
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.substitution.TSubChoixNonBorne
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.substitution.TSubCondition
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.substitution.TSubDefinitionLocale
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.substitution.TSubDevientEgal
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.substitution.TSubDevientEltDe
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.substitution.TSubDevientTelQue
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.substitution.TSubIdentite
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.substitution.TSubPrecondition
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.substitution.TSubSelection
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.substitution.TSubSequence
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.substitution.TSubSimultanee
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.substitution.TSubVariableLocale
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
Remplacer(TExprIdentificateur, TExpression) - Method in class bob.substitution.TWhen
Remplace un identificateur non libre dans l'élément B courant par une expression donnee.
RemplacerAppelOp() - Method in class bob.substitution.TCase
Remplacement d'appels d'opération.
RemplacerAppelOp() - Method in class bob.substitution.TElsif
Remplacement de l'appel d'opération
Auteur: Olivier BERT
RemplacerAppelOp() - Method in class bob.substitution.TSubAppelOp
Ne convertit que les appels d'opérations
RemplacerAppelOp() - Method in class bob.substitution.TSubAssertion
Remplace l'appel d'opération
Auteur: Olivier BERT
RemplacerAppelOp() - Method in class bob.substitution.TSubBloc
Remplace l'appel d'opération
Auteur: Olivier BERT
RemplacerAppelOp() - Method in class bob.substitution.TSubBoucle
Remplace l'appel d'opération
Auteur: Olivier BERT
RemplacerAppelOp() - Method in class bob.substitution.TSubCas
Remplace l'appel d'opération
Auteur: Olivier BERT
RemplacerAppelOp() - Method in class bob.substitution.TSubChoixBorne
Remplace les appels d'opérations.
RemplacerAppelOp() - Method in class bob.substitution.TSubChoixNonBorne
Remplace les appels d'opération
Auteur: Olivier BERT
RemplacerAppelOp() - Method in class bob.substitution.TSubCondition
Remplace les appels d'opérations dans la substitution courante
Auteur: Olivier Bert
RemplacerAppelOp() - Method in class bob.substitution.TSubDefinitionLocale
Remplacement des appels d'opération
Auteur: Olivier Bert
RemplacerAppelOp() - Method in class bob.substitution.TSubPrecondition
Remplace les appels d'opération
Auteur: Olivier BERT
RemplacerAppelOp() - Method in class bob.substitution.TSubSelection
Remplace les appels d'opération.
RemplacerAppelOp() - Method in class bob.substitution.TSubSequence
Remplace les appels d'opération
Auteur: Olivier Bert
RemplacerAppelOp() - Method in class bob.substitution.TSubSimultanee
Remplace les appels d'opération Auteur Olivier Bert
RemplacerAppelOp() - Method in class bob.substitution.TSubstitution
Convertion des appels d'opérations.
RemplacerAppelOp() - Method in class bob.substitution.TSubVariableLocale
Remplace les appels d'opération
Auteur: Olivier BERT
RemplacerAppelOp() - Method in class bob.substitution.TWhen
Remplace les appels d'opération
Auteur: Olivier BERT
RemplacerComposant(TComposant) - Method in class bob.projet.TProjet
remplacer un composant dont le nom est "nom" par un composant "comp" de meme nom.
RemplacerFichier(String) - Method in class bob.projet.TProjet
remplacer un fichier de nom "comp" par le nom "comp".
RemplacerMultiple(Vector<TExprIdentificateur>, Vector<TExpression>) - Method in class bob.elementB.TElementB
Cette methode permet d'effectuer des remplacements multiples (remplacements simultanes) de plusieurs identificateurs libres par des expressions.
Renommer(TInstanceComp) - Method in class bob.composant.TOperation
Cette méthode permet de renommer toute une opération, non seulement son entête mais aussi son corps.
Renommer(Vector<TExprIdentificateur>) - Method in class bob.expression.TExprIdentificateur
Renommer l'identificateur en rajoutant un préfixe
RESTRICT_BAS_HAUT - Static variable in class bob.constantes.TOpSequence
Opérateur "restriction du bas vers le haut" (/|\)
RESTRICT_CODOM - Static variable in class bob.constantes.TOpRelation
Opérateur "restriction de codomaine" (|>)
RESTRICT_DOM - Static variable in class bob.constantes.TOpRelation
Opérateur "restriction de domaine" (<|)
RESTRICT_HAUT_BAS - Static variable in class bob.constantes.TOpSequence
Opérateur "restriction du haut vers le bas" (\|/)
RetirerLesIds_1de2(Vector<TExprIdentificateur>, Vector<TExprIdentificateur>) - Static method in class bob.elementB.Util
Prend deux vecteurs d'identificateurs V1 et V2 et retourne le vecteur d'éléments de V2 qui ne sont pas dans V1.

S

sauvegarder() - Method in class bob.batch.TCommandes
Sauvegarde de l'espace de travail dans le fichier projet.
SEQUENCE - Static variable in class bob.constantes.TOpRelation
Opérateur "séquencement de relations" (;)
SIGMA - Static variable in class bob.constantes.TOpQuantif
Opérateur "somme généralisée" (SIGMA)
Simplifier() - Method in class bob.expression.TExprBoolPred
Simplifie une expression bool(P).
Simplifier() - Method in class bob.expression.TExprEnsCompr
Simplifie un ensemble en compréhension.
Simplifier() - Method in class bob.expression.TExprEnsExt
Simplifie un ensemble en extension.
Simplifier() - Method in class bob.expression.TExpression
Simplifie une expression.
Simplifier() - Method in class bob.expression.TExprEvalFonc
Simplifie une Evaluation de fonction.
Simplifier() - Method in class bob.expression.TExprEvalFoncListe
Simplifie une Evaluation de fonction.
Simplifier() - Method in class bob.expression.TExprOpBinaire
Simplifie une Opération Binaire.
Simplifier() - Method in class bob.expression.TExprOpQuant
Simplifie une Opération Quantifiée.
Simplifier() - Method in class bob.expression.TExprOpUnaire
Simplifie une Opération Unaire.
Simplifier() - Method in class bob.expression.TExprParenthese
Simplifie une expression parenthésée.
Simplifier() - Method in class bob.expression.TExprSequence
Simplifie une expression séquence.
Simplifier() - Method in class bob.predicat.TPredComparaison
Simplification du prédicat de comparaison.
Simplifier() - Method in class bob.predicat.TPredConst
Simplifie un prédicat.
Simplifier() - Method in class bob.predicat.TPredEnsemble
Simplification du prédicat.
Simplifier() - Method in class bob.predicat.TPredicat
Méthode de simplification d'un prédicat.
Simplifier() - Method in class bob.predicat.TPredLogique
Simplifie un predicat.
Simplifier() - Method in class bob.predicat.TPredParenthese
Renvoie le predicat simplifié VRAI ou FAUX, ou entre parenthèses.
Simplifier() - Method in class bob.predicat.TPredQuantif
Simplification d'un predicat de quantification.
Simplifier() - Method in class bob.substitution.TCase
Simplifie la substitution.
Simplifier() - Method in class bob.substitution.TElsif
Simplification d'un elsif (remontée des préconditions).
Simplifier() - Method in class bob.substitution.TSubAssertion
Simplifie la substitution.
Simplifier() - Method in class bob.substitution.TSubBloc
Simplifie la substitution.
Simplifier() - Method in class bob.substitution.TSubBoucle
Simplifie la substitution.
Simplifier() - Method in class bob.substitution.TSubCas
Simplification d'une substitution CASE
Auteur: Olivier BERT
Simplifier() - Method in class bob.substitution.TSubChoixBorne
Simplifie le CHOICE (remontée des préconditions).
Simplifier() - Method in class bob.substitution.TSubChoixNonBorne
Simplifie la substitution.
Simplifier() - Method in class bob.substitution.TSubCondition
Simplification d'un IF (remontée des préconditions).
Simplifier() - Method in class bob.substitution.TSubDefinitionLocale
Simplification d'une substitution
Auteur Olivier Bert
Simplifier() - Method in class bob.substitution.TSubPrecondition
Simplification de la substitution précondition.
Simplifier() - Method in class bob.substitution.TSubSelection
Simplifie la substitution.
Simplifier() - Method in class bob.substitution.TSubSequence
Simplifie la substitution Séquence de substitutions
Auteur Olivier Bert
Simplifier() - Method in class bob.substitution.TSubSimultanee
Simplifie la substitution
Auteur Olivier Bert
Simplifier() - Method in class bob.substitution.TSubstitution
La methode Simplifier simplifie une substitution.
Simplifier() - Method in class bob.substitution.TSubVariableLocale
Simplifie la substitution.
Simplifier() - Method in class bob.substitution.TWhen
Simplifie la substitution.
size() - Method in class bob.batch.Liste
 
SOUSTRACT_CODOM - Static variable in class bob.constantes.TOpRelation
Opérateur "soustraction de codomaine" (|>>)
SOUSTRACT_DOM - Static variable in class bob.constantes.TOpRelation
Opérateur "soustraction de domaine" (<<|)
STRICT_INCLUS - Static variable in class bob.constantes.TOpEnsemble
Opérateur "est strictement inclus dans" (<<:)
STRICT_INFERIEUR - Static variable in class bob.constantes.TOpComparaison
Opérateur "est strictement inférieur à" (<).
STRICT_SUPERIEUR - Static variable in class bob.constantes.TOpComparaison
Opérateur "est strictement supérieur à" (>).
subsoper(Vector<String>) - Method in class bob.batch.TCommandes
pour chaque opération du composant, calcule la terminaison, la garde et le prédicat avant-après et les affiche au terminal.
subsprim(Vector<String>) - Method in class bob.batch.TCommandes
pour chaque opération du composant, calcule la substitution de l'opération et la substitution primitive équivalente qu'il affiche au terminal.
subssimpl(Vector) - Method in class bob.batch.TCommandes
Affichage de substitutions simplifiees du composant.
subswp(Vector<String>) - Method in class bob.batch.TCommandes
Pour chaque opération, cete méthode calcule la plus faible précondition par rapport à l'invariant.
SUPERIEUR - Static variable in class bob.constantes.TOpComparaison
Opérateur "est supérieur ou égal à" (>=).
supprimer(String) - Method in class bob.batch.TCommandes
supprime un fichier dans le projet
supprimer(int) - Method in class bob.batch.TCommandes
suprime un fichier à l'index i
SupprimerComposant(TComposant) - Method in class bob.projet.TProjet
supprimer un composant comp d'après son nom.
SupprimerFichier(String) - Method in class bob.projet.TProjet
supprimer un fichier de nom "fich".
SURCHARGE - Static variable in class bob.constantes.TOpRelation
Opérateur "surcharge" (<+)

T

Tabuler(int) - Static method in class bob.elementB.Util
Retourne la tabulation standard pour le paragraphage
TCase - Class in bob.substitution
La classe TCase contient les informations sur un cas introduit par le mot-clé EITHER (ou OR ou ELSE).
TCase(Vector<TExpression>, TSubstitution) - Constructor for class bob.substitution.TCase
Constructeur paramétré qui initialise avec les entrées de l'utilisateur.
TClause - Class in bob.composant
La classe TClause contient les informations générales sur les clauses.
TClause() - Constructor for class bob.composant.TClause
 
TClauseAbstractConstants - Class in bob.composant
La classe TClauseAbstractConstants contient les informations relatives à la clause de type abstract_constants.
TClauseAbstractConstants() - Constructor for class bob.composant.TClauseAbstractConstants
constructeur non initialisant
TClauseAbstractConstants(Vector<TExprIdentificateur>) - Constructor for class bob.composant.TClauseAbstractConstants
constructeur initialisant
TClauseAbstractVariables - Class in bob.composant
La classe TClauseAbstractVariables contient les informations générales sur les Clauses de type abstract_variables.
TClauseAbstractVariables() - Constructor for class bob.composant.TClauseAbstractVariables
constructeur non initialisant
TClauseAbstractVariables(Vector<TExprIdentificateur>) - Constructor for class bob.composant.TClauseAbstractVariables
constructeur initialisant
TClauseAssertions - Class in bob.composant
La classe TClauseAssertions contient les informations relatives à la clause de type assertions.
TClauseAssertions() - Constructor for class bob.composant.TClauseAssertions
constructeur non initialisant
TClauseAssertions(Vector<TPredicat>) - Constructor for class bob.composant.TClauseAssertions
constructeur initialisant
TClauseConcreteConstants - Class in bob.composant
La classe TClauseConcreteConstants contient les informations relatives à la clause de type concrete_constants.
TClauseConcreteConstants() - Constructor for class bob.composant.TClauseConcreteConstants
constructeur non initialisant
TClauseConcreteConstants(Vector<TExprIdentificateur>) - Constructor for class bob.composant.TClauseConcreteConstants
constructeur initialisant
TClauseConcreteVariables - Class in bob.composant
La classe TClauseConcreteVariables contient les informations relatives à la clause de type concrete_variables.
TClauseConcreteVariables() - Constructor for class bob.composant.TClauseConcreteVariables
constructeur non initialisant
TClauseConcreteVariables(Vector<TExprIdentificateur>) - Constructor for class bob.composant.TClauseConcreteVariables
constructeur initialisant
TClauseConstraints - Class in bob.composant
La classe TClauseConstraints contient les informations relatives à la clause de type contraints.
TClauseConstraints() - Constructor for class bob.composant.TClauseConstraints
constructeur non initialisant
TClauseConstraints(TPredicat) - Constructor for class bob.composant.TClauseConstraints
constructeur non initialisant
TClauseDefinitions - Class in bob.composant
La classe TClauseDefinitions contient les informations relatives à la clause de type definitions.
TClauseDefinitions() - Constructor for class bob.composant.TClauseDefinitions
constructeur non initialisant
TClauseDefinitions(Vector<TDefinition>) - Constructor for class bob.composant.TClauseDefinitions
constructeur initialisant
TClauseExtends - Class in bob.composant
La classe TClauseExtends contient les informations relatives à la clause de type extends.
TClauseExtends() - Constructor for class bob.composant.TClauseExtends
constructeur non initialisant
TClauseExtends(Vector<TInstanceComp>) - Constructor for class bob.composant.TClauseExtends
constructeur non initialisant
TClauseImports - Class in bob.composant
La classe TClauseImports contient les informations relatives à la clause de type imports.
TClauseImports() - Constructor for class bob.composant.TClauseImports
constructeurs
TClauseImports(Vector<TInstanceComp>) - Constructor for class bob.composant.TClauseImports
 
TClauseIncludes - Class in bob.composant
La classe TClauseIncludes contient les informations relatives à la clause de type includes.
TClauseIncludes() - Constructor for class bob.composant.TClauseIncludes
constructeurs
TClauseIncludes(Vector<TInstanceComp>) - Constructor for class bob.composant.TClauseIncludes
 
TClauseInitialisation - Class in bob.composant
La classe TClauseInitialisation contient les informations relatives à la clause de type initialisation.
TClauseInitialisation() - Constructor for class bob.composant.TClauseInitialisation
constructeurs
TClauseInitialisation(TSubstitution) - Constructor for class bob.composant.TClauseInitialisation
 
TClauseInvariant - Class in bob.composant
La classe TClauseInvariant contient les informations relatives à la clause de type invariant.
TClauseInvariant() - Constructor for class bob.composant.TClauseInvariant
constructeurs
TClauseInvariant(TPredicat) - Constructor for class bob.composant.TClauseInvariant
 
TClauseOperations - Class in bob.composant
La classe TClauseOperations contient les informations relatives à la clause de type operations.
TClauseOperations() - Constructor for class bob.composant.TClauseOperations
constructeurs
TClauseOperations(Vector<TOperation>) - Constructor for class bob.composant.TClauseOperations
 
TClausePromotes - Class in bob.composant
La classe TClausePromotes contient les informations relatives à la clause de type promotes.
TClausePromotes() - Constructor for class bob.composant.TClausePromotes
constructeur non initialisant
TClausePromotes(Vector<TExprIdentificateur>) - Constructor for class bob.composant.TClausePromotes
constructeur initialisant
TClauseProperties - Class in bob.composant
La classe TClauseProperties contient les informations relatives à la clause de type properties.
TClauseProperties() - Constructor for class bob.composant.TClauseProperties
constructeusr
TClauseProperties(TPredicat) - Constructor for class bob.composant.TClauseProperties
 
TClauseRefines - Class in bob.composant
La classe TClause_Refines contient les informations relatives à la clause de type refines.
TClauseRefines(TExprIdentificateur) - Constructor for class bob.composant.TClauseRefines
constructeur initialisant
TClauseSees - Class in bob.composant
La classe TClause_sees contient les informations relatives à la clause de type sees.
TClauseSees() - Constructor for class bob.composant.TClauseSees
constructeur non initialisant
TClauseSees(Vector<TExprIdentificateur>) - Constructor for class bob.composant.TClauseSees
constructeur initialisant
TClauseSets - Class in bob.composant
La classe TClauseSets contient les informations relatives à la clause de type sets.
TClauseSets() - Constructor for class bob.composant.TClauseSets
constructeurs
TClauseSets(Vector<TDefEnsemble>) - Constructor for class bob.composant.TClauseSets
 
TClauseUses - Class in bob.composant
La classe TClauseUses contient les informations relatives à la clause de type uses.
TClauseUses() - Constructor for class bob.composant.TClauseUses
constructeur non initialisant
TClauseUses(Vector<TExprIdentificateur>) - Constructor for class bob.composant.TClauseUses
constructeur initialisant
TClauseValues - Class in bob.composant
La classe TClauseValues contient les informations relatives à la clause VALUES.
TClauseValues() - Constructor for class bob.composant.TClauseValues
constructeurs
TClauseValues(Vector<TValuation>) - Constructor for class bob.composant.TClauseValues
 
TCommandes - Class in bob.batch
Cette classe traite les commandes venant de l'interface batch de la boîte à outils.
TCommandes() - Constructor for class bob.batch.TCommandes
Constructeur par défaut.
TCommandes(String) - Constructor for class bob.batch.TCommandes
Constructeur donnant un nom au projet
TComposant - Class in bob.composant
La classe TComposant contient les informations générales sur les composants.
TComposant() - Constructor for class bob.composant.TComposant
constructeurs sans paramètres
TComposant(TNatureComposant, TEnteteComp, Vector<TClause>) - Constructor for class bob.composant.TComposant
constructeur initialisant
TDefEnsemble - Class in bob.composant
La classe TDefEnsemble contient les informations relatives à la clause de type sets.
TDefEnsemble() - Constructor for class bob.composant.TDefEnsemble
constructeur
TDefEnsemble(TExprIdentificateur, Vector<TExprIdentificateur>) - Constructor for class bob.composant.TDefEnsemble
 
TDefinition - Class in bob.composant
La classe TDefinition contient les informations relatives à une definition.
TDefinition() - Constructor for class bob.composant.TDefinition
constructeur non initialisant
TDefinition(TEnteteDef, TSubstitution) - Constructor for class bob.composant.TDefinition
constructeur initialisant de substitution
TDefinition(TEnteteDef, TPredicat) - Constructor for class bob.composant.TDefinition
constructeur initialisant de predicat
TDefinition(TEnteteDef, TExpression) - Constructor for class bob.composant.TDefinition
constructeur initialisant d'expression
TElementB - Class in bob.elementB
La classe TElementB généralise tous les éléments pouvant constituer un source écrit en B: composant, substitution, prédicat, expression, etc.
TElementB() - Constructor for class bob.elementB.TElementB
 
TElsif - Class in bob.substitution
La classe TElsif contient les informations sur une alternative introduite par le mot-clé ELSIF (ou ELSE).
TElsif(TPredicat, TSubstitution) - Constructor for class bob.substitution.TElsif
Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur.
TEnteteComp - Class in bob.composant
La classe TEnteteComp contient les informations générales sur l'entete d'un composant.
TEnteteComp() - Constructor for class bob.composant.TEnteteComp
Constructeurs
TEnteteComp(TExprIdentificateur, Vector<TExprIdentificateur>) - Constructor for class bob.composant.TEnteteComp
 
TEnteteDef - Class in bob.composant
La classe TEnteteDef contient les informations générales sur l'entete d'une définition.
TEnteteDef() - Constructor for class bob.composant.TEnteteDef
constructeur non initialisant
TEnteteDef(TExprIdentificateur, Vector<TExprIdentificateur>) - Constructor for class bob.composant.TEnteteDef
constructeur initialisant
TEnteteOp - Class in bob.composant
La classe TEnteteOp contient les informations générales sur les entetes d'une opération.
TEnteteOp() - Constructor for class bob.composant.TEnteteOp
Constructeurs
TEnteteOp(TExprIdentificateur, Vector<TExprIdentificateur>, Vector<TExprIdentificateur>) - Constructor for class bob.composant.TEnteteOp
 
TExprBoolLitt - Class in bob.expression
La classe TExprBoolLitt contient les informations contenues dans un booléen littéral.
TExprBoolLitt(boolean) - Constructor for class bob.expression.TExprBoolLitt
Constructeur paramètré qui initialise les attributs avec les entrées de l'utilisateur.
TExprBoolPred - Class in bob.expression
La classe TExprBoolPred contient les informations contenues dans un bool(P).
TExprBoolPred(TPredicat) - Constructor for class bob.expression.TExprBoolPred
Constructeur paramètré qui initialise les attributs avec les entrées de l'utilisateur.
TExprChaineLitt - Class in bob.expression
La classe TExprChaineLitt contient les informations contenues dans une chaine de caractères littérale.
TExprChaineLitt() - Constructor for class bob.expression.TExprChaineLitt
Constructeur qui initialise les attributs avec des valeurs par défaut.
TExprChaineLitt(String) - Constructor for class bob.expression.TExprChaineLitt
Constructeur paramètré qui initialise les attributs avec les entrées de l'utilisateur.
TExprEnsCompr - Class in bob.expression
La classe TExprEnsCompr contient les informations contenues dans un ensemble de compréhension.
TExprEnsCompr() - Constructor for class bob.expression.TExprEnsCompr
Constructeur qui initialise les attributs avec des valeurs par défaut.
TExprEnsCompr(Vector<TExprIdentificateur>, TPredicat) - Constructor for class bob.expression.TExprEnsCompr
Constructeur paramètré qui initialise les attributs avec les entrées de l'utilisateur.
TExprEnsExt - Class in bob.expression
La classe TExprEnsExt contient les informations contenues dans un ensemble en extension.
TExprEnsExt() - Constructor for class bob.expression.TExprEnsExt
Constructeur qui initialise les attributs avec des valeurs par défaut.
TExprEnsExt(Vector<TExpression>) - Constructor for class bob.expression.TExprEnsExt
Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur.
TExprEntierLitt - Class in bob.expression
La classe TExprEntierLitt contient les informations contenues dans un entier littéral.
TExprEntierLitt() - Constructor for class bob.expression.TExprEntierLitt
Constructeur qui initialise les attributs avec des valeurs par défaut.
TExprEntierLitt(int) - Constructor for class bob.expression.TExprEntierLitt
Constructeur paramètré qui initialise les attributs avec les entrées de l'utilisateur.
TExpression - Class in bob.expression
La classe TExpression contient les informations communes à tous les types d'expression.
TExpression() - Constructor for class bob.expression.TExpression
 
TExprEvalFonc - Class in bob.expression
La classe TExprEvalFonc contient les informations contenues dans une évaluation de fonction.
TExprEvalFonc(TExpression, TExpression) - Constructor for class bob.expression.TExprEvalFonc
Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur.
TExprEvalFoncListe - Class in bob.expression
La classe TExprEvalFoncListe contient les informations contenues dans une évaluation de fonction ayant plusieurs arguments.
TExprEvalFoncListe(TExpression, Vector<TExpression>) - Constructor for class bob.expression.TExprEvalFoncListe
Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur.
TExprIdentificateur - Class in bob.expression
La classe TExprIdentificateur contient les informations contenues dans un identificateur.
TExprIdentificateur(String) - Constructor for class bob.expression.TExprIdentificateur
Constructeur paramétré pour un identificateur simple.
TExprIdentificateur(Vector<TExprIdentificateur>, String) - Constructor for class bob.expression.TExprIdentificateur
Constructeur paramétré pour un identificateur composé avec préfixes.
TExprIdentificateur(String, int) - Constructor for class bob.expression.TExprIdentificateur
Constructeur paramétré pour un identificateur simple avec numéro.
TExprIdentificateur(Vector<TExprIdentificateur>, String, int) - Constructor for class bob.expression.TExprIdentificateur
Constructeur paramétré avec les trois informations explicites.
TExprOpBinaire - Class in bob.expression
La classe TExprOpBinaire contient les informations d'un opérateur binaire.
TExprOpBinaire(TOpBinaire, TExpression, TExpression) - Constructor for class bob.expression.TExprOpBinaire
Constructeur paramètré qui initialise les attributs avec les entrées de l'utilisateur.
TExprOpQuant - Class in bob.expression
La classe TExprOpQuant contient les informations contenues dans une operation quantifiée.
TExprOpQuant(TOpQuantif, Vector<TExprIdentificateur>, TPredicat, TExpression) - Constructor for class bob.expression.TExprOpQuant
Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur.
TExprOpUnaire - Class in bob.expression
La classe TExprOpUnaire contient les informations contenues dans une opération unaire.
TExprOpUnaire(TOpUnaire, TExpression) - Constructor for class bob.expression.TExprOpUnaire
Constructeur paramètré qui initialise les attributs avec les entrées de l'utilisateur.
TExprParenthese - Class in bob.expression
La classe TExprParenthese contient les informations contenues dans une expression parenthésée.
TExprParenthese(TExpression) - Constructor for class bob.expression.TExprParenthese
Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur.
TExprSequence - Class in bob.expression
La classe TExprSequence contient les informations contenues dans une séquence en extension.
TExprSequence(Vector<TExpression>) - Constructor for class bob.expression.TExprSequence
Constructeur paramétré qui initialise les attributs.
TExprSequenceVide() - Method in class bob.expression.TExprSequence
Pseudo-constructeur qui construit une séquence vide
TInstanceComp - Class in bob.composant
La classe TInstanceComp contient les informations générales sur les composants instanciés.
TInstanceComp() - Constructor for class bob.composant.TInstanceComp
Constructeurs
TInstanceComp(TExprIdentificateur, Vector<TExpression>) - Constructor for class bob.composant.TInstanceComp
 
TNatureComposant - Class in bob.constantes
La classe TNatureComposant contient les informations relatives à la catégorie d'un composant.
TNatureComposant() - Constructor for class bob.constantes.TNatureComposant
 
TOpArithm - Class in bob.constantes
La classe TOpArithm contient les informations sur les opérateurs arithmétiques.
TOpArithm() - Constructor for class bob.constantes.TOpArithm
 
TOpBinaire - Class in bob.constantes
La classe TOpBinaire généralise les opérateurs binaires.
TOpBinaire() - Constructor for class bob.constantes.TOpBinaire
 
TOpComparaison - Class in bob.constantes
La classe TOpComparaison contient les informations sur les opérateurs de comparaison.
TOpComparaison() - Constructor for class bob.constantes.TOpComparaison
 
TOpEnsemble - Class in bob.constantes
La classe TOpEnsemble contient les informations sur les opérateurs ensemblistes.
TOpEnsemble() - Constructor for class bob.constantes.TOpEnsemble
 
TOperateur - Class in bob.constantes
La classe TOperateur généralise les opérateurs.
TOperateur() - Constructor for class bob.constantes.TOperateur
 
TOperation - Class in bob.composant
La classe TOperation contient les informations relatives à une opération.
TOperation() - Constructor for class bob.composant.TOperation
constructeurs
TOperation(TEnteteOp, TSubstitution) - Constructor for class bob.composant.TOperation
 
TOpFonction - Class in bob.constantes
La classe TOpFonction contient les informations sur les opérateurs de fonctions.
TOpFonction() - Constructor for class bob.constantes.TOpFonction
 
TOpLogique - Class in bob.constantes
La classe TOpLogique contient les informations sur les opérateurs logiques ayant des prédicats comme membres.
TOpLogique() - Constructor for class bob.constantes.TOpLogique
 
TOpQuantif - Class in bob.constantes
La classe TOpQuantif contient les informations sur les opérateurs de quantifications.
TOpQuantif() - Constructor for class bob.constantes.TOpQuantif
 
TOpRelation - Class in bob.constantes
La classe TOpRelation contient les informations sur les opérateurs s'appliquant sur les relations.
TOpRelation() - Constructor for class bob.constantes.TOpRelation
 
TOpSequence - Class in bob.constantes
La classe TOpSequence contient les informations sur les opérateurs s'appliquant sur les expressions de séquences.
TOpSequence() - Constructor for class bob.constantes.TOpSequence
 
TOpUnaire - Class in bob.constantes
La classe TOpUnaire contient les informations sur les opérateurs unaires.
TOpUnaire() - Constructor for class bob.constantes.TOpUnaire
 
toString() - Method in class bob.batch.Liste
 
TPredComparaison - Class in bob.predicat
La classe TPredComparaison contient les informations concernant les prédicats de comparaison.
TPredComparaison(TOpComparaison, TExpression, TExpression) - Constructor for class bob.predicat.TPredComparaison
Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur.
TPredConst - Class in bob.predicat
La classe TPredConst definit les constantes VRAI et FAUX necessaire.
TPredConst() - Constructor for class bob.predicat.TPredConst
 
TPredConst() - Method in class bob.predicat.TPredConst
Constructeur qui ne fait rien.
TPredEnsemble - Class in bob.predicat
La classe TPredEnsemble contient les informations concernant les prédicats ensemblistes.
TPredEnsemble(TOpEnsemble, Vector<TExpression>, TExpression) - Constructor for class bob.predicat.TPredEnsemble
Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur.
TPredicat - Class in bob.predicat
La classe TPredicat généralise tous les types de prédicat.
TPredicat() - Constructor for class bob.predicat.TPredicat
 
TPredLogique - Class in bob.predicat
La classe TPredLogique contient les informations concernant les prédicats logiques.
TPredLogique(TOpLogique, TPredicat, TPredicat) - Constructor for class bob.predicat.TPredLogique
Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur.
TPredParenthese - Class in bob.predicat
La classe TPredParenthese contient les informations concernant les prédicats parenthèsés.
TPredParenthese(TPredicat) - Constructor for class bob.predicat.TPredParenthese
Constructeur paramètré qui initialise les attributs avec les entrées de l'utilisateur.
TPredQuantif - Class in bob.predicat
La classe TPredQuantif contient les informations concernant les prédicats de quantification.
TPredQuantif(TOpQuantif, Vector<TExprIdentificateur>, TPredicat) - Constructor for class bob.predicat.TPredQuantif
Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur.
TProjet - Class in bob.projet
La classe TProjet contient les informations relatives à un projet.
TProjet() - Constructor for class bob.projet.TProjet
constructeur sans paramètres
TProjet(String, Vector<String>, Vector<TComposant>) - Constructor for class bob.projet.TProjet
constructeur initialisant
Traduire - Class in bob.traduire
La classe Traduire crée un objet Composant à partir d'un noeud.
Traduire() - Constructor for class bob.traduire.Traduire
 
traduire(Noeud) - Static method in class bob.traduire.Traduire
Méthode statique principale de l'appel de la traduction d'un objet Noeud Tatibouet en un objet TComposant.
traduit(Noeud) - Static method in class bob.traduire.Traduire
Méthode de traduction de la suite des clauses d'un composant B
traduitExpr(Noeud) - Static method in class bob.traduire.Traduire
Méthode générale de la traduction d'une expression
traduitIdentifiers(Noeud) - Static method in class bob.traduire.Traduire
Traduction d'un liste d'identificateurs de noeud "Identifiers"
traduitInstanceComp(Noeud) - Static method in class bob.traduire.Traduire
Méthode de traduction d'une instance de composant B dans les clauses Imports, Includes, Extends
traduitListExpr(Noeud) - Static method in class bob.traduire.Traduire
Traduction d'une liste d'expressions
traduitListIdent(Noeud) - Static method in class bob.traduire.Traduire
Traduction d'un liste d'identificateurs de noeud "ListIdent"
traduitPred(Noeud) - Static method in class bob.traduire.Traduire
Méthode de traduction d'un Noeud Tatibouet en un objet TPredicat
traduitSub(Noeud) - Static method in class bob.traduire.Traduire
Méthode de la traduction d'une substitution
TraiterAssertSansRenommage(Vector<TExprIdentificateur>, Vector<TPredicat>) - Method in class bob.substitution.TCase
Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
TraiterAssertSansRenommage(Vector<TExprIdentificateur>, Vector<TPredicat>) - Method in class bob.substitution.TElsif
Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
TraiterAssertSansRenommage(Vector<TExprIdentificateur>, Vector<TPredicat>) - Method in class bob.substitution.TSubAssertion
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.
TraiterAssertSansRenommage(Vector<TExprIdentificateur>, Vector<TPredicat>) - Method in class bob.substitution.TSubBloc
Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
TraiterAssertSansRenommage(Vector<TExprIdentificateur>, Vector<TPredicat>) - Method in class bob.substitution.TSubBoucle
Aplatissement pour traiter AssertSansRenommage.
TraiterAssertSansRenommage(Vector<TExprIdentificateur>, Vector<TPredicat>) - Method in class bob.substitution.TSubCas
Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
TraiterAssertSansRenommage(Vector<TExprIdentificateur>, Vector<TPredicat>) - Method in class bob.substitution.TSubChoixBorne
Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
TraiterAssertSansRenommage(Vector<TExprIdentificateur>, Vector<TPredicat>) - Method in class bob.substitution.TSubChoixNonBorne
Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
TraiterAssertSansRenommage(Vector<TExprIdentificateur>, Vector<TPredicat>) - Method in class bob.substitution.TSubCondition
Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
TraiterAssertSansRenommage(Vector<TExprIdentificateur>, Vector<TPredicat>) - Method in class bob.substitution.TSubDefinitionLocale
Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
TraiterAssertSansRenommage(Vector<TExprIdentificateur>, Vector<TPredicat>) - Method in class bob.substitution.TSubPrecondition
Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
TraiterAssertSansRenommage(Vector<TExprIdentificateur>, Vector<TPredicat>) - Method in class bob.substitution.TSubSelection
Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
TraiterAssertSansRenommage(Vector<TExprIdentificateur>, Vector<TPredicat>) - Method in class bob.substitution.TSubSequence
Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
TraiterAssertSansRenommage(Vector<TExprIdentificateur>, Vector<TPredicat>) - Method in class bob.substitution.TSubSimultanee
Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
TraiterAssertSansRenommage(Vector<TExprIdentificateur>, Vector<TPredicat>) - Method in class bob.substitution.TSubstitution
Traite la substitution ASSERT dans le cas d'un aplatissement de raffinement sans renommage.
TraiterAssertSansRenommage(Vector<TExprIdentificateur>, Vector<TPredicat>) - Method in class bob.substitution.TSubVariableLocale
Aplatissement pour traiter AssertSansRenommage
Ne devrait pas être appelé car on n'aplatit pas une implémentation.
TraiterAssertSansRenommage(Vector<TExprIdentificateur>, Vector<TPredicat>) - Method in class bob.substitution.TWhen
Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
TSubAppelOp - Class in bob.substitution
La classe TSubAppelOp contient les informations sur un appel d'opération.
TSubAppelOp(Vector<TExprIdentificateur>, TExprIdentificateur, Vector<TExpression>) - Constructor for class bob.substitution.TSubAppelOp
Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur.
TSubAssertion - Class in bob.substitution
La classe TSubAssertion contient les informations sur la substitution d'assertion.
TSubAssertion(TPredicat, TSubstitution) - Constructor for class bob.substitution.TSubAssertion
Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur.
TSubBloc - Class in bob.substitution
La classe TSubBloc contient les informations sur les substitutions de type bloc.
TSubBloc(TSubstitution) - Constructor for class bob.substitution.TSubBloc
Constructeur paramètré qui initialise les attributs avec les entrées de l'utilisateur.
TSubBoucle - Class in bob.substitution
La classe TSubBoucle contient les informations sur une boucle.
TSubBoucle(TPredicat, TSubstitution, TPredicat, TExpression) - Constructor for class bob.substitution.TSubBoucle
Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur.
TSubCas - Class in bob.substitution
La classe TSubCase contient les informations sur une substitution "cas".
TSubCas(TExpression, Vector<TCase>) - Constructor for class bob.substitution.TSubCas
Constructeur paramètré qui initialise les attributs avec les entrées de l'utilisateur.
TSubChoixBorne - Class in bob.substitution
La classe TSubstitutionChixBorne contient les informations sur les substitutions de type "choix borné".
TSubChoixBorne(Vector<TSubstitution>) - Constructor for class bob.substitution.TSubChoixBorne
Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur.
TSubChoixNonBorne - Class in bob.substitution
La classe TSubChoixNonBorne contient les informations sur un choix non borné de type "any".
TSubChoixNonBorne(Vector<TExprIdentificateur>, TPredicat, TSubstitution) - Constructor for class bob.substitution.TSubChoixNonBorne
Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur.
TSubCondition - Class in bob.substitution
La classe TSubCondition contient les informations sur les conditions.
TSubCondition(TPredicat, TSubstitution, Vector<TElsif>) - Constructor for class bob.substitution.TSubCondition
Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur.
TSubDefinitionLocale - Class in bob.substitution
La classe TSubDefinitionLocale contient les informations sur une définition locale.
TSubDefinitionLocale(Vector<TExprIdentificateur>, TPredicat, TSubstitution) - Constructor for class bob.substitution.TSubDefinitionLocale
Constructeur paramétré qui initialise les attributs.
TSubDevientEgal - Class in bob.substitution
La classe TSubDevientEgal contient les informations sur les substitutions de type "devient égal".
TSubDevientEgal(Vector<TExpression>, Vector<TExpression>) - Constructor for class bob.substitution.TSubDevientEgal
Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur.
TSubDevientEgal(TExpression, TExpression) - Constructor for class bob.substitution.TSubDevientEgal
Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur.
TSubDevientEltDe - Class in bob.substitution
La classe TSubDevientEltDe contient les informations sur une substitution "devient élément de".
TSubDevientEltDe(Vector<TExprIdentificateur>, TExpression) - Constructor for class bob.substitution.TSubDevientEltDe
Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur.
TSubDevientTelQue - Class in bob.substitution
La classe TSubDevientTelQue contient les informations sur une substitution "devient tel que".
TSubDevientTelQue(Vector<TExprIdentificateur>, TPredicat) - Constructor for class bob.substitution.TSubDevientTelQue
Constructeur paramétré qui initialise les attributs :
TSubIdentite - Class in bob.substitution
La classe TSubIdentite est la substitution skip.
TSubIdentite() - Constructor for class bob.substitution.TSubIdentite
Constructeur qui définit le statut de l'identité: primitive.
TSubPrecondition - Class in bob.substitution
La classe TSubPrecondition contient les informations sur les substitutions "précondition".
TSubPrecondition(TPredicat, TSubstitution) - Constructor for class bob.substitution.TSubPrecondition
Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur.
TSubSelection - Class in bob.substitution
La classe TSubSelection contient les informations sur les sélections.
TSubSelection(TPredicat, TSubstitution, Vector<TWhen>) - Constructor for class bob.substitution.TSubSelection
Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur.
TSubSequence - Class in bob.substitution
La classe TSubSequence contient les informations sur une séquence de substitutions.
TSubSequence(TSubstitution, TSubstitution) - Constructor for class bob.substitution.TSubSequence
Constructeur paramètré qui initialise les attributs avec les entrées de l'utilisateur.
TSubSimultanee - Class in bob.substitution
La classe TSubSimultanee contient les informations sur la substituion "simultanée".
TSubSimultanee(TSubstitution, TSubstitution) - Constructor for class bob.substitution.TSubSimultanee
Constructeur paramètré qui initialise les attributs avec les entrées de l'utilisateur.
TSubstitution - Class in bob.substitution
La classe TSubsitution contient les informations générales sur les substitutions généralisées.
TSubstitution() - Constructor for class bob.substitution.TSubstitution
 
TSubVariableLocale - Class in bob.substitution
La classe TSubVariableLocale contient les informations sur la substitution "variable locale".
TSubVariableLocale(Vector<TExprIdentificateur>, TSubstitution) - Constructor for class bob.substitution.TSubVariableLocale
Constructeur paramètré qui initialise les attributs avec les entrées de l'utilisateur.
TValuation - Class in bob.composant
La classe TValuation contient les informations relative à la clause de type valuation.
TValuation() - Constructor for class bob.composant.TValuation
constructeurs
TValuation(TExprIdentificateur, TExpression) - Constructor for class bob.composant.TValuation
 
TWhen - Class in bob.substitution
La classe TWhen contient les informations sur le mot-clé WHEN/ELSE.
TWhen(TPredicat, TSubstitution) - Constructor for class bob.substitution.TWhen
Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur.

U

UNION - Static variable in class bob.constantes.TOpEnsemble
Opérateur "union" (\/)
UNION - Static variable in class bob.constantes.TOpQuantif
Opérateur "union quantifiée" (UNION)
Util - Class in bob.elementB
La classe Util regroupe les méthodes utiles aux calculs sur les objets B.
Util() - Constructor for class bob.elementB.Util
 

V

VIRGULE - Static variable in class bob.constantes.TOpEnsemble
Opérateur "virgule" (,)
VisibleVariables(Vector<String>) - Method in class bob.batch.TCommandes
Cette méthode affiche la liste des variables visibles
Auteur: Olivier Bert
visualiser(Vector<String>) - Method in class bob.batch.TCommandes
Implémentation de la commande     "vc nomcomposant"
Elle visualise le contenu du composant "nomcomposant" du projet.
VRAI - Static variable in class bob.predicat.TPredConst
 

A B C D E F G H I L M N O P R S T U V

Copyright OB.