de.hillenbrand.jedi
Class JediPrefs

java.lang.Object
  |
  +--de.hillenbrand.jedi.JediPrefs

public final class JediPrefs
extends java.lang.Object


Constructor Summary
JediPrefs()
           
 
Method Summary
static java.io.File getDataDirectory()
           
static HelpBrowser getHelpBrowser()
           
static java.lang.String getHelpDirectory()
           
static java.lang.String getHomeDirectory()
           
static java.lang.String getPluginDirectory()
           
static java.lang.String getProperty(java.lang.String name)
           
static java.lang.String getProperty(java.lang.String name, java.lang.String defaultValue)
           
static java.lang.String getRootDirectory()
           
static java.lang.String getSaveDirectory()
           
static java.lang.String getTmpDirectory()
           
static void putDefaultProperty(java.lang.String name, java.lang.String data)
           
static void putProperty(java.lang.String name, java.lang.String data)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

JediPrefs

public JediPrefs()
Method Detail

getDataDirectory

public static java.io.File getDataDirectory()

getHelpBrowser

public static HelpBrowser getHelpBrowser()

getHelpDirectory

public static java.lang.String getHelpDirectory()

getHomeDirectory

public static java.lang.String getHomeDirectory()

getPluginDirectory

public static java.lang.String getPluginDirectory()

getProperty

public static java.lang.String getProperty(java.lang.String name)

getProperty

public static java.lang.String getProperty(java.lang.String name,
                                           java.lang.String defaultValue)

getRootDirectory

public static java.lang.String getRootDirectory()

getSaveDirectory

public static java.lang.String getSaveDirectory()

getTmpDirectory

public static java.lang.String getTmpDirectory()

putDefaultProperty

public static void putDefaultProperty(java.lang.String name,
                                      java.lang.String data)

putProperty

public static void putProperty(java.lang.String name,
                               java.lang.String data)