|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--java.util.Dictionary | +--java.util.Hashtable | +--com.ibm.dse.tools.workbench.base.Settings
This class is used to manage different settings It's used to create, modify and select settings.
Field Summary | |
static int |
DATABASE
Database type |
protected java.lang.String |
dataSourceLocation
the location of the data source |
static int |
FILE
File type |
static java.lang.String |
NullConstant
The null constant |
static java.lang.String |
orderKey
The order key |
static int |
RESOURCE
Resource type |
Constructor Summary | |
Settings()
Creates a Settings object. |
Method Summary | |
void |
flush()
This method saves the current settings values to the data source |
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 |
java.lang.String |
getProperty(java.lang.String group,
java.lang.String key)
This method returns the value of the given group's property |
java.util.Hashtable |
getSettingsGroup(java.lang.String groupName)
This method returns a hashtable with the settings of the given group |
java.util.Hashtable |
getSettingsGroupValues(java.lang.String groupName)
This method returns a hashtable with the settings values of the given group |
protected void |
initialize()
This method initializes the Settings using the given data source |
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 |
void |
removeProperty(java.lang.String group,
java.lang.String key)
This method deletes a property |
void |
removeSettingsGroupValues(java.lang.String group)
This method removes all the properties of the given group |
void |
setDataSource(java.lang.String name,
int type)
This method initializes the Settings using the given data source |
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 |
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.util.Hashtable |
clear,
clone,
contains,
containsKey,
containsValue,
elements,
entrySet,
equals,
get,
hashCode,
isEmpty,
keys,
keySet,
put,
putAll,
rehash,
remove,
size,
toString,
values |
Methods inherited from class java.lang.Object |
finalize,
getClass,
notify,
notifyAll,
wait,
wait,
wait |
Field Detail |
protected java.lang.String dataSourceLocation
public static final int RESOURCE
public static final int FILE
public static final int DATABASE
public static final java.lang.String orderKey
public static final java.lang.String NullConstant
Constructor Detail |
public Settings()
Method Detail |
public void flush() throws WBInvalidArgumentException, WBInputOutputException
public java.lang.String getProperty(java.lang.String key)
key
- java.lang.Object The keypublic java.lang.String getProperty(java.lang.String group, java.lang.String key)
group
- java.lang.String The groupkey
- java.lang.String The keypublic java.util.Hashtable getSettingsGroup(java.lang.String groupName)
groupName
- java.lang.Stringpublic java.util.Hashtable getSettingsGroupValues(java.lang.String groupName)
groupName
- java.lang.Stringprotected void initialize() throws WBInputOutputException
public void removeProperty(java.lang.String key)
key
- java.lang.Object The keypublic void removeProperty(java.lang.String group, java.lang.String key)
group
- java.lang.Stringkey
- java.lang.Stringpublic void removeSettingsGroupValues(java.lang.String group)
group
- java.lang.String The settings grouppublic void setDataSource(java.lang.String name, int type) throws WBInputOutputException
name
- java.lang.String The data source locationtype
- int The data source typepublic void setProperty(java.lang.String key, java.lang.String value)
key
- java.lang.Stringvalue
- java.lang.Stringpublic void setProperty(java.lang.String group, java.lang.String key, java.lang.String value)
group
- java.lang.Stringkey
- java.lang.Stringvalue
- java.lang.String
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |