Class EclipseFileProvider

java.lang.Object

com.ibm.wala.core.util.io.FileProvider

com.ibm.wala.ide.util.EclipseFileProvider

public class EclipseFileProvider
extends FileProvider

Constructor Summary

Constructors

Constructor	Description
EclipseFileProvider()
EclipseFileProvider(org.eclipse.core.runtime.Plugin plugIn)

Method Summary

Modifier and Type	Method	Description
File	getFile(String fileName, ClassLoader loader)
File	getFileFromPlugin(org.eclipse.core.runtime.Plugin p, String fileName)
Module	getJarFileModule(String fileName, ClassLoader loader)
URL	getResource(String fileName, ClassLoader loader)
static String	getWalaCorePluginHome()	This is fragile.

Methods inherited from class com.ibm.wala.core.util.io.FileProvider

filePathFromURL, getFile, getFileFromClassLoader, getInputStreamFromClassLoader, getJarFileFromClassLoader, getJarFileModule, getResource

Methods inherited from class java.lang.Object

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

Constructor Details

EclipseFileProvider

public EclipseFileProvider()

EclipseFileProvider

public EclipseFileProvider(org.eclipse.core.runtime.Plugin plugIn)

Method Details

getJarFileModule

public Module getJarFileModule(String fileName,
 ClassLoader loader)
                        throws IOException

Overrides:

getJarFileModule in class FileProvider

Throws:

IOException

getResource

public URL getResource(String fileName,
 ClassLoader loader)

Overrides:

getResource in class FileProvider

getFile

public File getFile(String fileName,
 ClassLoader loader)
             throws IOException

Overrides:

getFile in class FileProvider

Throws:

IOException

getFileFromPlugin

public File getFileFromPlugin(org.eclipse.core.runtime.Plugin p,
 String fileName)
                       throws IOException

Returns:

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

Throws:

IllegalArgumentException - if p is null

IOException

getWalaCorePluginHome

public static String getWalaCorePluginHome()

This is fragile. Use with care.

Returns:

a String representing the path to the wala.core plugin installation