Package com.ibm.wala.properties

Class WalaProperties

java.lang.Object

com.ibm.wala.properties.WalaProperties

public final class WalaProperties
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
static final String	ANDROID_APK_TOOL
static final String	ANDROID_DEX_TOOL
static final String	ANDROID_RT_DEX_DIR
static final String	ANDROID_RT_JAVA_JAR
static final String	DROIDEL_ANDROID_JAR
static final String	DROIDEL_TOOL
static final String	ECLIPSE_PLUGINS_DIR
static final String	INPUT_DIR
static final String	J2EE_DIR
static final String	J2SE_DIR
static final String	OUTPUT_DIR
static final String	WALA_REPORT

Constructor Summary

Constructors

Constructor	Description
WalaProperties()

Method Summary

Modifier and Type	Method	Description
static String[]	getJ2EEJarFiles()
static String[]	getJ2SEJarFiles()	Determine the classpath noted in wala.properties for J2SE standard libraries
static String[]	getJarsInDirectory(String dir)
static String[]	getJDKLibraryFiles(boolean justBase)	Determine the classpath noted in wala.properties for J2SE standard libraries
static String	getWalaHomeDir()	Deprecated. because when running under eclipse, there may be no such directory.
static Properties	loadProperties()
static Properties	loadPropertiesFromFile(ClassLoader loader, String fileName)

Methods inherited from class java.lang.Object

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

Field Details

WALA_REPORT

public static final String WALA_REPORT

See Also:

• Constant Field Values

INPUT_DIR

public static final String INPUT_DIR

See Also:

• Constant Field Values

OUTPUT_DIR

public static final String OUTPUT_DIR

See Also:

• Constant Field Values

J2SE_DIR

public static final String J2SE_DIR

See Also:

• Constant Field Values

J2EE_DIR

public static final String J2EE_DIR

See Also:

• Constant Field Values

ECLIPSE_PLUGINS_DIR

public static final String ECLIPSE_PLUGINS_DIR

See Also:

• Constant Field Values

ANDROID_RT_DEX_DIR

public static final String ANDROID_RT_DEX_DIR

See Also:

• Constant Field Values

ANDROID_RT_JAVA_JAR

public static final String ANDROID_RT_JAVA_JAR

See Also:

• Constant Field Values

ANDROID_DEX_TOOL

public static final String ANDROID_DEX_TOOL

See Also:

• Constant Field Values

ANDROID_APK_TOOL

public static final String ANDROID_APK_TOOL

See Also:

• Constant Field Values

DROIDEL_TOOL

public static final String DROIDEL_TOOL

See Also:

• Constant Field Values

DROIDEL_ANDROID_JAR

public static final String DROIDEL_ANDROID_JAR

See Also:

• Constant Field Values

Constructor Details

WalaProperties

public WalaProperties()

Method Details

getJ2SEJarFiles

public static String[] getJ2SEJarFiles()

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

If wala.properties cannot be loaded, returns library files in boot classpath.

Throws:

IllegalStateException - if library files cannot be discovered

See Also:

• PlatformUtil.getJDKModules(boolean)

getJDKLibraryFiles

public static String[] getJDKLibraryFiles(boolean justBase)

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

If wala.properties cannot be loaded, returns library files in boot classpath.

Parameters:

justBase - Only relevant if wala.properties cannot be loaded. If true, only returns the java.base library from boot classpath. Otherwise, returns all library modules from boot classpath.

See Also:

• PlatformUtil.getJDKModules(boolean)

getJ2EEJarFiles

public static String[] getJ2EEJarFiles()

Returns:

names of the Jar files holding J2EE libraries

Throws:

IllegalStateException - if the J2EE_DIR property is not set

getJarsInDirectory

public static String[] getJarsInDirectory(String dir)

loadProperties

public static Properties loadProperties()
                                 throws WalaException

Throws:

WalaException

loadPropertiesFromFile

public static Properties loadPropertiesFromFile(ClassLoader loader,
 String fileName)
                                         throws IOException

Throws:

IOException

getWalaHomeDir

@Deprecated
public static String getWalaHomeDir()

Deprecated.

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