de.uka.ilkd.key.util

Class DirectoryFileCollection.Walker

java.lang.Object

de.uka.ilkd.key.util.DirectoryFileCollection.Walker

All Implemented Interfaces:

FileCollection.Walker

Enclosing class:

DirectoryFileCollection

private static class DirectoryFileCollection.Walker
extends java.lang.Object
implements FileCollection.Walker

Field Summary

Fields

Modifier and Type	Field and Description
private java.io.File	currentFile
private java.util.Iterator<java.io.File>	iterator

Constructor Summary

Constructors

Constructor and Description
Walker(java.util.Iterator<java.io.File> iterator)

Method Summary

Modifier and Type	Method and Description
DataLocation	getCurrentDataLocation() get a DataLocation object describing the current file.
java.lang.String	getCurrentName() get the name of the current file in the iteration.
java.lang.String	getType() return the type of the structure that is iterated.
java.io.InputStream	openCurrent() create a new InputStream for the current element of the iteration.
boolean	step() step to next element in the collection if there is another one.

Methods inherited from class java.lang.Object

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

Field Detail

iterator

private java.util.Iterator<java.io.File> iterator

currentFile

private java.io.File currentFile

Constructor Detail

Walker

public Walker(java.util.Iterator<java.io.File> iterator)

Method Detail

getCurrentName

public java.lang.String getCurrentName()

Description copied from interface: FileCollection.Walker

get the name of the current file in the iteration. This is only the short name not including any location data.

Specified by:

getCurrentName in interface FileCollection.Walker

Returns:

a short file name, not null

openCurrent

public java.io.InputStream openCurrent()
                                throws java.io.IOException

Description copied from interface: FileCollection.Walker

create a new InputStream for the current element of the iteration. It is in the user's obligation to close the stream after using it.

Specified by:

openCurrent in interface FileCollection.Walker

Returns:

a freshly created InputStream, the dynamic type depends on the implementation

Throws:

java.io.IOException - if the resource cannot be opened

step

public boolean step()

Description copied from interface: FileCollection.Walker

step to next element in the collection if there is another one. The getCurrent...() functions will behave differently after a call to step().

Specified by:

step in interface FileCollection.Walker

Returns:

true iff there is another element in the collection

getType

public java.lang.String getType()

Description copied from interface: FileCollection.Walker

return the type of the structure that is iterated. Must return the same value for any call

Specified by:

getType in interface FileCollection.Walker

Returns:

a non-null String describing the type (e.g. "zip" or "file");

getCurrentDataLocation

public DataLocation getCurrentDataLocation()

Description copied from interface: FileCollection.Walker

get a DataLocation object describing the current file. The dynamic type of the result depends on the implementation in use.

Specified by:

getCurrentDataLocation in interface FileCollection.Walker

Returns:

a DataLocation, not null