com.ibm.wala.util.io

Class FileProvider

java.lang.Object

com.ibm.wala.util.io.FileProvider

public class FileProvider
extends java.lang.Object

This class provides files that are packaged with this plug-in

Constructor Summary

Constructors

Constructor and Description
FileProvider()

Method Summary

Modifier and Type	Method and Description
java.lang.String	filePathFromURL(java.net.URL url) Properly creates the String file name of a URL.
java.io.File	getFile(java.lang.String fileName)
java.io.File	getFile(java.lang.String fileName, java.lang.ClassLoader loader)
java.io.File	getFileFromClassLoader(java.lang.String fileName, java.lang.ClassLoader loader)
java.io.InputStream	getInputStreamFromClassLoader(java.lang.String fileName, java.lang.ClassLoader loader) First tries to read fileName from the ClassLoader loader.
Module	getJarFileFromClassLoader(java.lang.String fileName, java.lang.ClassLoader loader)
Module	getJarFileModule(java.lang.String fileName)
Module	getJarFileModule(java.lang.String fileName, java.lang.ClassLoader loader)
java.net.URL	getResource(java.lang.String fileName)
java.net.URL	getResource(java.lang.String fileName, java.lang.ClassLoader loader)

Methods inherited from class java.lang.Object

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

Constructor Detail

FileProvider

public FileProvider()

Method Detail

getJarFileModule

public Module getJarFileModule(java.lang.String fileName)
                        throws java.io.IOException

Returns:

the jar file packaged with this plug-in of the given name, or null if not found.

Throws:

java.io.IOException

getJarFileModule

public Module getJarFileModule(java.lang.String fileName,
                               java.lang.ClassLoader loader)
                        throws java.io.IOException

Throws:

java.io.IOException

getResource

public java.net.URL getResource(java.lang.String fileName)

getResource

public java.net.URL getResource(java.lang.String fileName,
                                java.lang.ClassLoader loader)

getFile

public java.io.File getFile(java.lang.String fileName)
                     throws java.io.IOException

Throws:

java.io.IOException

getFile

public java.io.File getFile(java.lang.String fileName,
                            java.lang.ClassLoader loader)
                     throws java.io.IOException

Throws:

java.io.IOException

getFileFromClassLoader

public java.io.File getFileFromClassLoader(java.lang.String fileName,
                                           java.lang.ClassLoader loader)
                                    throws java.io.FileNotFoundException

Throws:

java.io.FileNotFoundException

getInputStreamFromClassLoader

public java.io.InputStream getInputStreamFromClassLoader(java.lang.String fileName,
                                                         java.lang.ClassLoader loader)
                                                  throws java.io.FileNotFoundException

First tries to read fileName from the ClassLoader loader. If unsuccessful, attempts to read file from the file system. If that fails, throws a FileNotFoundException

Throws:

java.io.FileNotFoundException

getJarFileFromClassLoader

public Module getJarFileFromClassLoader(java.lang.String fileName,
                                        java.lang.ClassLoader loader)
                                 throws java.io.IOException

Returns:

the jar file packaged with this plug-in of the given name, or null if not found: wrapped as a JarFileModule or a NestedJarFileModule

Throws:

java.io.IOException

filePathFromURL

public java.lang.String filePathFromURL(java.net.URL url)

Properly creates the String file name of a URL. This works around a bug in the Sun implementation of URL.getFile(), which doesn't properly handle file paths with spaces (see bug report). For now, fails with an assertion if the url is malformed.

Returns:

the path name for the url

Throws:

java.lang.IllegalArgumentException - if url is null