Class Zip
java.lang.Object
|
+----Zip
- public class Zip
- extends Object
Classe permettant d gérer des archives.
-
file
-
-
nb_entries
-
-
taux
-
-
zipFile
-
-
Zip(File)
- Constructeur.
-
addFilesToZip(File[], int)
- Ajoute éléments de la liste à l'archive.
-
deleteFilesFromZip(String[])
- Supprime une liste de fichiers à l'archive..
-
exploreFile(String[])
-
-
extractZip(String)
- Extrait tous les éléments de l'archive.
-
extractZip(String[], String)
- Extrait les éléments contenus dans la liste.
-
getZipInfo()
- Retourne une matrice contenant pour chaque entrée les informations à afficher.
-
isInside(String, String[])
- Retourne true si la chaîne element se trouve dans la liste list,
Retourne false sinon.
-
main(String[])
- Le main pour faire les tests...
-
newZip(String[], int)
- Crée une nouvelle archive contenant les éléments de la liste.
-
strToFile(String[], String)
-
zipFile
private ZipFile zipFile
nb_entries
private int nb_entries
file
private File file
taux
private int taux
Zip
public Zip(File file) throws ZipException, IOException
- Constructeur.
- Parameters:
- file - le nom complet de l'archive.
newZip
public void newZip(String liste[],
int taux)
- Crée une nouvelle archive contenant les éléments de la liste.
- Parameters:
- liste - la liste des fichiers à compresser.
- taux - taux de compression (entier compris entre 0 et 9).
isInside
public boolean isInside(String element,
String list[])
- Retourne true si la chaîne element se trouve dans la liste list,
Retourne false sinon.
- Parameters:
- element - élément considéré.
- liste - liste considérée.
getZipInfo
public String[][] getZipInfo()
- Retourne une matrice contenant pour chaque entrée les informations à afficher.
extractZip
public void extractZip(String rep)
- Extrait tous les éléments de l'archive.
dans le répertoire rep.
- Parameters:
- rep - répertoire dans lequel on veut extraire les fichiers.
extractZip
public void extractZip(String liste[],
String rep)
- Extrait les éléments contenus dans la liste.
du fichier zip dans le répertoire rep.
- Parameters:
- liste - liste des fichiers que l'on veut extraire.
- rep - répertoire dans lequel on veut extraire les fichiers.
addFilesToZip
public void addFilesToZip(File filesToAdd[],
int taux)
- Ajoute éléments de la liste à l'archive.
- Parameters:
- filesToAdd - liste des fichiers à ajouter.
- taux - le taux de compression.
deleteFilesFromZip
public void deleteFilesFromZip(String filesToDelete[])
- Supprime une liste de fichiers à l'archive..
- Parameters:
- filesToDelete - la liste des fichiers à supprimer de l'archive.
main
public static void main(String argv[])
- Le main pour faire les tests...
strToFile
public static String[] strToFile(String l[],
String path)
exploreFile
public static String[] exploreFile(String dep[])