Class GestionNettoyer

java.lang.Object
  extended by ConfigurationGeneSyst
      extended by MethodesNonFonctionnelles
          extended by GestionNettoyer

public class GestionNettoyer
extends MethodesNonFonctionnelles


Field Summary
private  java.util.Vector Dossiers
           
 
Fields inherited from class MethodesNonFonctionnelles
AffichageMinimum, CstImplementation, CstMachine, CstRefinement, Debugage, Force, NbPreuvesAvantRedemarrage, NbPreuvesFaitesDepuisDemarrage, NbPreuvesFaitesParBoB, NbPreuvesFaitesParTactiques, Nettoyer, NomDossierCalcul, NomDuProjet, parallele, Path, QueGenererOP, SymboleDefaut, SymboleNonPr, SymboleProuve, TabClauseNature, TabExtensions, TactiquesInteractives, TempAttenteAuRedemarrage, terminal, VerifierOracle
 
Fields inherited from class ConfigurationGeneSyst
AdresseDossierBDB, AppelAtelierB, Cst_FaireExistentielle, FormatDot, FormatGxl, FormatHtml, NbFormatsSortie, NomDossierDeBase, NomDossierResultat, NomFichierHtml, NomFichierTraces, NomProjetDeBase, PathDot, TabFormatsSortie, TabFormatsSortiePossibles, TactiquesUtilisateur
 
Constructor Summary
GestionNettoyer(ModeNettoyer fenetre, java.lang.String nature)
          Constructeur GestionNettoyer
 
Method Summary
 void effacageCasParCasDossier(java.lang.String nomDossier)
          efface le dossier specifié
 void effacageProjets(java.lang.String[] nomProjets)
          efface les projets specifiés
 
Methods inherited from class MethodesNonFonctionnelles
AfficheStatistiques, AfficheTabInt, AfficheTabInt, AppelCommandeExterne, AppelCommandeExterneAvecScript, Conjonction, Disjonction, DonneExtension, Donner_Extension, EnleveExtension, FusionneTabOfInt, GestionNomDeProjet, IntNonPresent, inverseVecteur, LanceScriptExterne, NouveauNomDeFichier, RechercheElement, replaceAll, replaceAll, SansChemin, SysAfficher
 
Methods inherited from class ConfigurationGeneSyst
initTactiquesInteractives
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

Dossiers

private java.util.Vector Dossiers
Constructor Detail

GestionNettoyer

public GestionNettoyer(ModeNettoyer fenetre,
                       java.lang.String nature)
                throws java.io.IOException,
                       ErreurException
Constructeur GestionNettoyer

Parameters:
fenetre - objet provenant de la fenetre gerant le nettoyage, cet objet peut gerer soit le nettoyage des projets soit celui des dossiers.
nature - chaine de caractere permettant de savoir si l'objet appelant gere les projets ou les dossiers.
Throws:
java.io.IOException
ErreurException
Method Detail

effacageProjets

public void effacageProjets(java.lang.String[] nomProjets)
                     throws java.io.IOException,
                            ErreurException
efface les projets specifiés

Parameters:
nomProjets - est un tableau contenant le nom des projets à supprimer.
Throws:
java.io.IOException
ErreurException

effacageCasParCasDossier

public void effacageCasParCasDossier(java.lang.String nomDossier)
                              throws java.io.IOException,
                                     ErreurException
efface le dossier specifié

Parameters:
nomDossier - indique le nom du dossier à supprimer.
Throws:
java.io.IOException
ErreurException