de.uka.ilkd.key.util

Class ZipFileCollection

java.lang.Object

de.uka.ilkd.key.util.ZipFileCollection

All Implemented Interfaces:

FileCollection

public class ZipFileCollection
extends java.lang.Object
implements FileCollection

Allows to iterate a zip file to return all matching entries as InpuStreams.

Author:

MU

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
(package private) class	ZipFileCollection.Walker

Field Summary

Fields

Modifier and Type	Field and Description
(package private) java.io.File	file
(package private) java.util.zip.ZipFile	zipFile

Constructor Summary

Constructors

Constructor and Description
ZipFileCollection(java.io.File file)

Method Summary

Modifier and Type	Method and Description
ZipFileCollection.Walker	createWalker(java.lang.String extension) create a FileCollection.Walker object that allows to iterate the file collection.
ZipFileCollection.Walker	createWalker(java.lang.String[] extensions) create a FileCollection.Walker object that allows to iterate the file collection.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

file

java.io.File file

zipFile

java.util.zip.ZipFile zipFile

Constructor Detail

ZipFileCollection

public ZipFileCollection(java.io.File file)

Method Detail

createWalker

public ZipFileCollection.Walker createWalker(java.lang.String[] extensions)
                                      throws java.io.IOException

Description copied from interface: FileCollection

create a FileCollection.Walker object that allows to iterate the file collection. The search can be restricted to files with a certain extension. If this is not desired, one specifies null for the extension.

Specified by:

createWalker in interface FileCollection

Parameters:

extensions - file extensions to be considered only. null if all files are to be considered.

Returns:

a freshly created walker

Throws:

java.io.IOException - during opening resources

createWalker

public ZipFileCollection.Walker createWalker(java.lang.String extension)
                                      throws java.io.IOException

Description copied from interface: FileCollection

create a FileCollection.Walker object that allows to iterate the file collection. The search can be restricted to files with a certain extension. If this is not desired, one specifies null for the extension.

Specified by:

createWalker in interface FileCollection

Parameters:

extension - file extension to be considered only. null if all files are to be considered.

Returns:

a freshly created walker

Throws:

java.io.IOException - during opening resources

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object