de.uka.ilkd.key.util

Class DirectoryFileCollection

java.lang.Object

de.uka.ilkd.key.util.DirectoryFileCollection

All Implemented Interfaces:

FileCollection

public class DirectoryFileCollection
extends Object
implements FileCollection

This class is used to describe a directory structure as a repository for files to read in. A directory is read recursively. All files are enumerated when the walker is created. Any file added afterwards will not looked at when iterating. For more info see FileCollection

Author:

MU

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
private static class	DirectoryFileCollection.Walker

Field Summary

Fields

Modifier and Type	Field and Description
private File	directory directory under inspection

Constructor Summary

Constructors

Constructor and Description
DirectoryFileCollection(File directory) create a new File collection for a given directory The argument may be a single file also.

Method Summary

Modifier and Type	Method and Description
private static void	addAllFiles(File dir, String extension, List<File> files)
DirectoryFileCollection.Walker	createWalker(String extension) create a FileCollection.Walker object that allows to iterate the file collection.
DirectoryFileCollection.Walker	createWalker(String[] extensions) create a FileCollection.Walker object that allows to iterate the file collection.
private static void	sortFiles(List<File> files) This method is to fix the bug: "0965: Creating arrays of primitive type fails when using \bootclasspath " The method sorts the List of File that is given as parameter according to the following criteria: - File paths that contain the subpath "java/lang" are stored before other file paths.
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

directory

private File directory

directory under inspection

Constructor Detail

DirectoryFileCollection

public DirectoryFileCollection(File directory)

create a new File collection for a given directory The argument may be a single file also. A directory is read recursively.

Parameters:

directory - directory to iterate through,

Method Detail

addAllFiles

private static void addAllFiles(File dir,
                                String extension,
                                List<File> files)

sortFiles

private static void sortFiles(List<File> files)

This method is to fix the bug: "0965: Creating arrays of primitive type fails when using \bootclasspath " The method sorts the List of File that is given as parameter according to the following criteria: - File paths that contain the subpath "java/lang" are stored before other file paths. - If there is a File that contains the subpath "java/lang/Object.java" then it is stored at the very beginning of the list.

createWalker

public DirectoryFileCollection.Walker createWalker(String extension)

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

createWalker

public DirectoryFileCollection.Walker createWalker(String[] extensions)

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

toString

public String toString()

Overrides:

toString in class Object