|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--com.ibm.dse.tools.workbench.base.WorkbenchSettings
This class implements the Workbench settings It's used to create, modify and select Workbench settings.
Field Summary | |
protected static java.lang.String |
defaultDataSource
The default settings data source |
protected static int |
defaultDataSourceType
The default settings data source type |
protected static Settings |
settings
The Settings object |
Fields inherited from interface com.ibm.dse.tools.workbench.base.WorkbenchVariables |
BaseSettings,
IDESettings,
InstanceWizards,
NewInstanceMenu,
RepositoryLastURL,
RepositoryLastUser,
RepositorySettings,
ShowConsoleOnStartup,
WorkspaceLastURL,
WorkspaceLastUser,
WorkspaceSettings |
Constructor Summary | |
WorkbenchSettings()
|
Method Summary | |
static void |
flush()
This method saves the current settings values to the data source |
static java.lang.String |
getProperty(java.lang.String key)
This method returns the value of a given property If the property belongs to a group, then it's necessary to use the "group.property" notation |
static java.lang.String |
getProperty(java.lang.String group,
java.lang.String key)
This method returns the value of the given group's property |
static java.util.Hashtable |
getSettingsGroup(java.lang.String groupName)
This method returns a hashtable with the settings of the given group |
static java.util.Hashtable |
getSettingsGroupValues(java.lang.String groupName)
This method returns a hashtable with the settings of the given group |
protected static void |
initialize()
Initialize the Workbench Settings using the defaultDataSource |
static void |
removeProperty(java.lang.String key)
This method removes the value of a given property If the property belongs to a group, then it's necessary to use the "group.property" notation |
static void |
removeProperty(java.lang.String group,
java.lang.String key)
This method deletes a property |
static void |
removeSettingsGroupValues(java.lang.String group)
This method removes all the properties of the given group |
static void |
setDataSource(java.lang.String name,
int type)
This method initializes the Settings hashtable using the given data source |
static void |
setProperty(java.lang.String key,
java.lang.String value)
This method adds or updates the value of a given property If the property belongs to a group, then it's necessary to use the "group.property" notation |
static void |
setProperty(java.lang.String group,
java.lang.String key,
java.lang.String value)
This method adds or updates the value of a given property of a given group |
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
Field Detail |
protected static java.lang.String defaultDataSource
protected static int defaultDataSourceType
protected static Settings settings
Constructor Detail |
public WorkbenchSettings()
Method Detail |
public static void flush() throws WBInvalidArgumentException, WBInputOutputException
public static java.lang.String getProperty(java.lang.String key)
key
- java.lang.String The keypublic static java.lang.String getProperty(java.lang.String group, java.lang.String key)
group
- java.lang.String The groupkey
- java.lang.String The keypublic static java.util.Hashtable getSettingsGroup(java.lang.String groupName)
groupName
- java.lang.String the group namepublic static java.util.Hashtable getSettingsGroupValues(java.lang.String groupName)
groupName
- java.lang.String the group nameprotected static void initialize() throws WBInputOutputException
public static void removeProperty(java.lang.String key)
key
- java.lang.Object The keypublic static void removeProperty(java.lang.String group, java.lang.String key)
group
- java.lang.String The groupkey
- java.lang.String The keypublic static void removeSettingsGroupValues(java.lang.String group)
group
- java.lang.String The settings grouppublic static void setDataSource(java.lang.String name, int type) throws WBInputOutputException
name
- java.lang.String The data source locationtype
- int The data source typepublic static void setProperty(java.lang.String key, java.lang.String value)
key
- java.lang.String The keyvalue
- java.lang.String The valuepublic static void setProperty(java.lang.String group, java.lang.String key, java.lang.String value)
group
- java.lang.String The groupkey
- java.lang.String The keyvalue
- java.lang.String The value
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |