Class WalaProperties

java.lang.Object
com.ibm.wala.properties.WalaProperties
public final class WalaProperties extends Object

  • Field Details

  • Constructor Details

    • WalaProperties

      public WalaProperties()

  • Method Details

    • getJ2SEJarFiles

      public static String[] getJ2SEJarFiles() throws WalaException
      Determine the classpath noted in wala.properties for J2SE standard libraries

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

      Throws:
      WalaException - if library files cannot be discovered

    • getJDKLibraryFiles

      public static String[] getJDKLibraryFiles(boolean justBase) throws WalaException
      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.
      Throws:
      WalaException - if JDK library files cannot be loaded based on properties in wala.properties

    • 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.