de.uka.ilkd.key.java

Class JavaReduxFileCollection

java.lang.Object

de.uka.ilkd.key.java.JavaReduxFileCollection

All Implemented Interfaces:

FileCollection

public class JavaReduxFileCollection
extends Object
implements FileCollection

This is a special FileCollection which allows to retrieve the internally stored java boot sources and to iterate over them.

The resources are stored in the binaries. We use the KeYResourceManager to find the resources.

There is a text file whose name is given by Profile.getInternalClasslistFilename() which enumerates all java files that have to be read.

Author:

mulbrich

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
private class	JavaReduxFileCollection.Walker

Field Summary

Fields

Modifier and Type	Field and Description
static String	JAVA_SRC_DIR The location where the libraries to be parsed can be found.
private String	resourceLocation The resource location
private List<String>	resources This list stores all resources to be retrieved.

Constructor Summary

Constructors

Constructor and Description
JavaReduxFileCollection(Profile profile) Instantiates a new file collection.

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

JAVA_SRC_DIR

public static final String JAVA_SRC_DIR

The location where the libraries to be parsed can be found. It will be used as a resource path relative to the path of the package.

See Also:

Constant Field Values

resourceLocation

private String resourceLocation

The resource location

resources

private List<String> resources

This list stores all resources to be retrieved. It is fed by the constructor.

Constructor Detail

JavaReduxFileCollection

public JavaReduxFileCollection(Profile profile)
                        throws IOException

Instantiates a new file collection. The list of resources is retreived and interpreted. The resources themselves are not yet read.

Throws:

IOException - if access to the resources fails

Method Detail

createWalker

public JavaReduxFileCollection.Walker createWalker(String extension)
                                            throws IOException

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. This class only supports walker for a single file type: .java

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:

IOException - during opening resources

createWalker

public JavaReduxFileCollection.Walker createWalker(String[] extensions)
                                            throws IOException

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. This class only supports walker for a single file type: .java

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:

IOException - during opening resources