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 and Description
static String	ANDROID_DEX_TOOL
static String	ANDROID_RT_DEX_DIR
static String	ANDROID_RT_JAVA_JAR
static String	ECLIPSE_PLUGINS_DIR
static String	INPUT_DIR
static String	J2EE_DIR
static String	J2SE_DIR
static String	OUTPUT_DIR
static String	WALA_REPORT

Constructor Summary

Constructors

Constructor and Description
WalaProperties()

Method Summary

Methods

Modifier and Type	Method and Description
static String[]	getJ2EEJarFiles()
static String[]	getJ2SEJarFiles() Determine the classpath noted in wala.properties for J2SE standard libraries If wala.properties cannot be loaded, returns jar files in boot classpath.
static String[]	getJarsInDirectory(String dir)
static String	getWalaHomeDir() Deprecated. because when running under eclipse, there may be no such directory. Need to handle that case.
static String	guessJavaLib()
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 Detail

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

Constructor Detail

WalaProperties

public WalaProperties()

Method Detail

getJ2SEJarFiles

public static String[] getJ2SEJarFiles()

Determine the classpath noted in wala.properties for J2SE standard libraries If wala.properties cannot be loaded, returns jar files in boot classpath.

Throws:

IllegalStateException - if jar files cannot be discovered

See Also:

PlatformUtil.getBootClassPathJars()

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 com.ibm.wala.util.WalaException

Throws:

com.ibm.wala.util.WalaException

loadPropertiesFromFile

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

Throws:

IOException

guessJavaLib

public static String guessJavaLib()
                           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.