|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectbob.batch.TCommandes
public class TCommandes
Cette classe traite les commandes venant de l'interface batch de la boîte à outils. Elle gère un projet courant, ainsi que son fichier de description dont l'extension est ".prj". Ces principales méthodes sont les implémentations des commandes elle-mêmes.
Bob
,
TProjet
Constructor Summary | |
---|---|
TCommandes()
Constructeur par défaut. |
|
TCommandes(java.lang.String nom)
Constructeur donnant un nom au projet |
Method Summary | |
---|---|
void |
AfficherDependances(java.util.Vector<java.lang.String> args)
Cette méthode affiche les dépendances |
void |
ajouter(java.util.Vector<java.lang.String> args)
Cette méthode ajoute une liste de fichiers dans le projet |
void |
alaligne()
passe à la ligne suivante dans du fichier projet en écriture |
boolean |
analyser_composant(java.lang.String fichier_composant)
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. |
void |
AplatirSansrenommage(java.util.Vector<java.lang.String> args)
Implémentation de la commande "fwr nom1 nom2" Méthode qui fait l'aplatissement sans renommage d'un raffinement. |
void |
CallableOperations_x(java.util.Vector<java.lang.String> args)
Cette methode affiche la liste des operations appelables par le composant. |
void |
CallableOperations(java.util.Vector<java.lang.String> args)
Cette methode affiche la liste des operations appelables pour le composant. |
void |
ChangerTerminal(java.lang.String fichier)
Implémente la commande "ts terminal" Change le terminal pour l'affichage des résultats des commandes. |
void |
charger()
lit et charge le fichier projet en mémoire |
void |
constgraphe(java.util.Vector<TClause> l,
TComposant comp)
Construit le graphe de dependance du projet |
void |
copier(java.util.Vector<java.lang.String> args)
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). |
void |
dependance_add(TComposant comp)
affiche la liste de dependances non résolues |
boolean |
dependance(java.lang.String nom)
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. |
void |
ecrire(java.lang.String nom_fichier)
permet d'ecrire dans le fichier projet |
void |
ExportedOperations_x(java.util.Vector<java.lang.String> args)
Affichage détaillé des opérations exportées. |
void |
ExportedOperations(java.util.Vector<java.lang.String> args)
Cette méthode affiche les operations exportees par le composant donné Auteur: Olivier Bert |
void |
fermer()
ferme le fichier projet en écriture |
void |
GenererPO(java.util.Vector<java.lang.String> args)
Implémentation de la commande "po nom1 [nom2]" Méthode expérimentale de génération d'obligation de preuves. |
java.lang.String |
getchemin(int i)
donne le chemin associé à l'index i |
void |
InclureComposants(java.util.Vector<java.lang.String> args)
Implémentation de la commande "ic nom1 nom2" Méthode qui fait l'inclusion de composants. |
int |
indice(java.lang.String chaine)
Etant donné un nom de fichier, cette méthode retourne l'indice du fichier dans le vecteur ListeFichiers. |
int |
indice(TComposant comp)
Cette méthode cherche l'indice d'un composant. |
void |
init_ecrire(boolean append)
permet d'ouvrir le fichier projet en écriture |
void |
init_lire()
permet d'ouvrir le fichier projet en lecture |
static java.lang.String |
lire_string()
lit une chaine de caractère |
java.lang.String |
lire()
permet de lire dans du fichier projet |
void |
lister()
liste les composants qui sont dans le projet |
TProjet |
projet()
Renvoie l'instance du projet sur lequel on travaille |
void |
sauvegarder()
Sauvegarde de l'espace de travail dans le fichier projet. |
void |
subsoper(java.util.Vector<java.lang.String> args)
pour chaque opération du composant, calcule la terminaison, la garde et le prédicat avant-après et les affiche au terminal. |
void |
subsprim(java.util.Vector<java.lang.String> args)
pour chaque opération du composant, calcule la substitution de l'opération et la substitution primitive équivalente qu'il affiche au terminal. |
void |
subssimpl(java.util.Vector args)
Affichage de substitutions simplifiees du composant. |
void |
subswp(java.util.Vector<java.lang.String> args)
Pour chaque opération, cete méthode calcule la plus faible précondition par rapport à l'invariant. |
void |
supprimer(int i)
suprime un fichier à l'index i |
void |
supprimer(java.lang.String nom_fichier)
supprime un fichier dans le projet |
void |
VisibleVariables(java.util.Vector<java.lang.String> args)
Cette méthode affiche la liste des variables visibles Auteur: Olivier Bert |
void |
visualiser(java.util.Vector<java.lang.String> args)
Implémentation de la commande "vc nomcomposant" Elle visualise le contenu du composant "nomcomposant" du projet. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public TCommandes() throws java.io.IOException
java.io.IOException
public TCommandes(java.lang.String nom) throws java.io.IOException
java.io.IOException
Method Detail |
---|
public TProjet projet()
public void ChangerTerminal(java.lang.String fichier)
public boolean analyser_composant(java.lang.String fichier_composant)
fichier_composant
- le nom du fichier
public void init_ecrire(boolean append) throws java.io.IOException
java.io.IOException
public void init_lire() throws java.io.IOException
java.io.IOException
public void ecrire(java.lang.String nom_fichier) throws java.io.IOException
java.io.IOException
public java.lang.String lire() throws java.io.IOException
java.io.IOException
public void alaligne() throws java.io.IOException
java.io.IOException
public void fermer() throws java.io.IOException
java.io.IOException
public void sauvegarder() throws java.io.IOException
java.io.IOException
public int indice(java.lang.String chaine)
chaine
- le nom du fichier
public int indice(TComposant comp)
comp
- le composant
public void charger()
public void ajouter(java.util.Vector<java.lang.String> args) throws java.io.IOException
args
- est la commande d'entrée suivie des noms des fichiers
à ajouter dans le projet.
java.io.IOException
public void supprimer(java.lang.String nom_fichier) throws java.io.IOException
nom_fichier
- le nom du fichier
java.io.IOException
public void supprimer(int i) throws java.io.IOException
java.io.IOException
public void lister() throws java.io.IOException, java.io.FileNotFoundException
java.io.IOException
java.io.FileNotFoundException
public void visualiser(java.util.Vector<java.lang.String> args) throws java.io.IOException
args
- un vecteur de String qui est la chaîne de mots
(la ligne) de la commande d'entrée.
java.io.IOException
public void copier(java.util.Vector<java.lang.String> args) throws java.io.IOException
args
- un vecteur de String qui est la chaîne de mots
(la ligne) de la commande d'entrée.
java.io.IOException
public java.lang.String getchemin(int i)
public static java.lang.String lire_string() throws java.io.IOException
java.io.IOException
public void constgraphe(java.util.Vector<TClause> l, TComposant comp)
l
- le vecteur des clauses du composantcomp
- le composant (redondance)public boolean dependance(java.lang.String nom) throws java.io.IOException
nom
- le nom du composant
java.io.IOException
public void dependance_add(TComposant comp) throws java.io.IOException
comp
- le composant
java.io.IOException
public void subsprim(java.util.Vector<java.lang.String> args) throws tatibouet.bparser.ParseException, tatibouet.bparser.AfterParserException, java.io.FileNotFoundException, java.io.IOException
args
- la ligne de la commande d'entrée.
tatibouet.bparser.ParseException
tatibouet.bparser.AfterParserException
java.io.FileNotFoundException
java.io.IOException
public void subsoper(java.util.Vector<java.lang.String> args) throws tatibouet.bparser.ParseException, tatibouet.bparser.AfterParserException, java.io.FileNotFoundException, java.io.IOException
args
- la ligne de la commande d'entrée.
tatibouet.bparser.ParseException
tatibouet.bparser.AfterParserException
java.io.FileNotFoundException
java.io.IOException
public void subswp(java.util.Vector<java.lang.String> args) throws tatibouet.bparser.ParseException, tatibouet.bparser.AfterParserException, java.io.FileNotFoundException, java.io.IOException
args
- la ligne de la commande d'entrée.
tatibouet.bparser.ParseException
tatibouet.bparser.AfterParserException
java.io.FileNotFoundException
java.io.IOException
public void AfficherDependances(java.util.Vector<java.lang.String> args) throws java.io.IOException
args
- la ligne de la commande d'entrée.
java.io.IOException
public void ExportedOperations(java.util.Vector<java.lang.String> args) throws java.io.IOException
args
- la ligne de la commande d'entrée.
java.io.IOException
public void CallableOperations(java.util.Vector<java.lang.String> args) throws java.io.IOException
args
- la ligne de la commande d'entrée.
java.io.IOException
public void CallableOperations_x(java.util.Vector<java.lang.String> args) throws java.io.IOException
args
- la ligne de la commande d'entrée.
java.io.IOException
public void ExportedOperations_x(java.util.Vector<java.lang.String> args) throws java.io.IOException
args
- la ligne de la commande d'entrée.
java.io.IOException
public void VisibleVariables(java.util.Vector<java.lang.String> args) throws java.io.IOException
args
- la ligne de la commande d'entrée.
java.io.IOException
public void InclureComposants(java.util.Vector<java.lang.String> args) throws java.io.IOException
args
- la ligne de la commande d'entrée.
java.io.IOException
public void AplatirSansrenommage(java.util.Vector<java.lang.String> args) throws java.io.IOException
args
- la ligne de la commande d'entrée.
java.io.IOException
public void subssimpl(java.util.Vector args) throws java.io.IOException
java.io.IOException
public void GenererPO(java.util.Vector<java.lang.String> args) throws java.io.IOException
args
- la ligne de la commande d'entrée.
java.io.IOException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |