com.ibm.wala.properties
Class WalaProperties

java.lang.Object
  com.ibm.wala.properties.WalaProperties

public final class WalaProperties
extends java.lang.Object

Field Summary

static java.lang.String	ECLIPSE_PLUGINS_DIR
static java.lang.String	INPUT_DIR
static java.lang.String	J2EE_DIR
static java.lang.String	J2SE_DIR
static java.lang.String	OUTPUT_DIR
static java.lang.String	WALA_REPORT

Constructor Summary

WalaProperties()

Method Summary

static java.lang.String[]	getJ2EEJarFiles()
static java.lang.String[]	getJ2SEJarFiles() Determine the classpath noted in wala.properties for J2SE standard libraries
static java.lang.String[]	getJarsInDirectory(java.lang.String dir)
static java.lang.String	getWalaCorePluginHome() This is fragile.
static java.lang.String	getWalaHomeDir() Deprecated. because when running under eclipse, there may be no such directory. Need to handle that case.
static java.util.Properties	loadProperties()
static java.util.Properties	loadPropertiesFromFile(java.lang.ClassLoader loader, java.lang.String fileName)

Methods inherited from class java.lang.Object

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

Field Detail

WALA_REPORT

public static final java.lang.String WALA_REPORT

See Also:

Constant Field Values

INPUT_DIR

public static final java.lang.String INPUT_DIR

See Also:

Constant Field Values

OUTPUT_DIR

public static final java.lang.String OUTPUT_DIR

See Also:

Constant Field Values

J2SE_DIR

public static final java.lang.String J2SE_DIR

See Also:

Constant Field Values

J2EE_DIR

public static final java.lang.String J2EE_DIR

See Also:

Constant Field Values

ECLIPSE_PLUGINS_DIR

public static final java.lang.String ECLIPSE_PLUGINS_DIR

See Also:

Constant Field Values

Constructor Detail

WalaProperties

public WalaProperties()

Method Detail

getJ2SEJarFiles

public static java.lang.String[] getJ2SEJarFiles()

Determine the classpath noted in wala.properties for J2SE standard libraries

Throws:

java.lang.IllegalStateException - if there's a problem loading the wala properties

getJ2EEJarFiles

public static java.lang.String[] getJ2EEJarFiles()

Returns:

names of the Jar files holding J2EE libraries

Throws:

java.lang.IllegalStateException - if the J2EE_DIR property is not set

getJarsInDirectory

public static java.lang.String[] getJarsInDirectory(java.lang.String dir)

loadProperties

public static java.util.Properties loadProperties()
                                           throws WalaException

Throws:

WalaException

loadPropertiesFromFile

public static java.util.Properties loadPropertiesFromFile(java.lang.ClassLoader loader,
                                                          java.lang.String fileName)
                                                   throws java.io.IOException

Throws:

java.io.IOException

getWalaHomeDir

@Deprecated
public static java.lang.String getWalaHomeDir()

Deprecated. because when running under eclipse, there may be no such directory. Need to handle that case.

getWalaCorePluginHome

public static java.lang.String getWalaCorePluginHome()

This is fragile. Use with care.

Returns:

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