geneSyst.GUI_V2
Class PrimitivesNettoyage
java.lang.Object
geneSyst.ConfigurationGeneSyst
geneSyst.MethodesNonFonctionnelles
geneSyst.GUI_V2.PrimitivesNettoyage
public class PrimitivesNettoyage
- extends MethodesNonFonctionnelles
Fields inherited from class geneSyst.MethodesNonFonctionnelles |
AffichageMinimum, CheminEtNomFichierAbstrProduitAuFormatDot, CheminEtNomFichierRaffProduitAuFormatDot, CstImplementation, CstMachine, CstRefinement, Debugage, EtatSontGarantisDisjoints, Force, NbPreuvesAvantRedemarrage, NbPreuvesFaitesDepuisDemarrage, NbPreuvesFaitesParBoB, NbPreuvesFaitesParTactiques, NbSimplificationGardeSyntaxique, NbSimplificationParCompletudeAtteignabilite, NbSimplificationParRaff, NbSimplificationSkip, Nettoyer, NomDossierCalcul, NomDuProjet, parallele, Path, QueGenererOP, RemonterTransitions, SeulementPOLieesAFalse, SymboleDefaut, SymboleNonPr, SymboleProuve, TabClauseNature, TabExtensions, TactiquesInteractives, TempAttenteAuRedemarrage, terminal, VerifierOracle |
Fields inherited from class geneSyst.ConfigurationGeneSyst |
AdresseDossierBDB, AppelAtelierB, Cst_FaireExistentielle, FormatDot, FormatGxl, FormatHtml, NbFormatsSortie, NomDossierDeBase, NomDossierResultat, NomFichierHtml, NomFichierTraces, NomProjetDeBase, PathDot, TabFormatsSortie, TabFormatsSortiePossibles, TactiquesUtilisateur |
Methods inherited from class geneSyst.MethodesNonFonctionnelles |
AfficheStatistiques, AfficheTabInt, AfficheTabInt, AppelCommandeExterne, AppelCommandeExterneAvecScript, Conjonction, Disjonction, doesNotHaveGuard, doesNotHaveGuard, DonneExtension, Donner_Extension, EnleveExtension, FusionneTabOfInt, GestionNomDeProjet, IntNonPresent, inverseList, LanceScriptExterne, NouveauNomDeFichier, RechercheElement, replaceAll, replaceAll |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
PrimitivesNettoyage
public PrimitivesNettoyage()
InitList
public void InitList(javax.swing.JPanel panel,
java.lang.String nature,
javax.swing.JButton Btn1,
javax.swing.JButton Btn2)
- Constructeur GestionNettoyer
- Parameters:
panel
- objet provenant de la panel 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.
effacageProjets
public void effacageProjets(java.util.List<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
supprimerLesProjetsSelectionnes
public void supprimerLesProjetsSelectionnes(javax.swing.JPanel ProjList)
supprimerLesDossiersSelectionnes
public void supprimerLesDossiersSelectionnes(javax.swing.JPanel DirList)