Class Nettoyer

java.lang.Object
  ConfigurationGeneSyst
      MethodesNonFonctionnelles
          Nettoyer

public class Nettoyer
extends MethodesNonFonctionnelles

description de la classe de traitement progB -(analyseur Tatibouet)> 1 liste chainée ->1 noeud -programme du noeud -calcule les transitions -sortie : fichier content les transition dans le corps de l'assertion - plus l'assertion d'origine

Version:

22/5/2003

Author:

smaine hamdane 13/03/2002
Révision de Nicolas Stouls en Juillet 2002
Révision Didier Bert Février 2002 pour enlever les simplifications
Révision de Nicolas Stouls en Mai 2003 pour introduire le parallèlisme de l'atelier et resoudre des problèmes sur gros fichiers

Field Summary

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

Nettoyer()

Method Summary

int	nettoyer() Nettoyer est un sous programme servant à effacer tous les dossiers et les projets laissés en plan sans etre erffacé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

Constructor Detail

Nettoyer

public Nettoyer()

Method Detail

nettoyer

public int nettoyer()
             throws java.io.IOException,
                    ErreurException

Nettoyer est un sous programme servant à effacer tous les dossiers et les projets laissés en plan sans etre erffacés. C'est ce qu'il arrive quand on arrete le programme avant la fin avec une interruption d'erreur ou ctrl-c.

Returns:

int (n'a aucune signification).

Throws:

java.io.IOException

ErreurException