net.sf.taverna.raven.appconfig
Class ApplicationRuntime

java.lang.Object
  extended by net.sf.taverna.raven.appconfig.ApplicationRuntime

public class ApplicationRuntime
extends java.lang.Object


Method Summary
 java.io.File getApplicationHomeDir()
           
 java.lang.ClassLoader getClassLoader()
           
 java.net.URL getDefaultPluginsDir()
           
 java.net.URL getDefaultRepositoryDir()
           
static ApplicationRuntime getInstance()
          Get the application runtime settings.
 java.io.File getLocalRepositoryDir()
          Get the local repository directory.
 java.io.File getPluginsDir()
           
 Repository getRavenRepository()
           
 java.net.URL getSplashScreenURL()
           
 java.util.Set<Artifact> getSystemArtifacts()
           
 void setApplicationHomeDir(java.io.File applicationHomeDir)
           
 void setLocalRepositoryDir(java.io.File localRepositoryDir)
          Set (and if necessary create) the local repository directory to be returned by getLocalRepositoryDir().
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

getInstance

public static ApplicationRuntime getInstance()
Get the application runtime settings.

Returns:

getLocalRepositoryDir

public java.io.File getLocalRepositoryDir()
Get the local repository directory.

Returns:

getApplicationHomeDir

public java.io.File getApplicationHomeDir()

setLocalRepositoryDir

public void setLocalRepositoryDir(java.io.File localRepositoryDir)
                           throws java.io.IOException
Set (and if necessary create) the local repository directory to be returned by getLocalRepositoryDir().

Parameters:
localRepositoryDir - Directory that is to be the the new local repository
Throws:
java.io.IOException - If the localRepositoryDir could not be created or accessed as a directory.

getRavenRepository

public Repository getRavenRepository()

getSystemArtifacts

public java.util.Set<Artifact> getSystemArtifacts()

getClassLoader

public java.lang.ClassLoader getClassLoader()

setApplicationHomeDir

public void setApplicationHomeDir(java.io.File applicationHomeDir)

getPluginsDir

public java.io.File getPluginsDir()

getDefaultPluginsDir

public java.net.URL getDefaultPluginsDir()

getDefaultRepositoryDir

public java.net.URL getDefaultRepositoryDir()

getSplashScreenURL

public java.net.URL getSplashScreenURL()