|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectcom.groovemanager.core.ConfigManager
This class is used to maintain configuration settings.
A default implementation can always be accessed through
ConfigManager.getDefault(), but ConfigManager can also
be subclassed to adapt its behaviour.
| Field Summary | |
|---|---|
static ConfigManager |
DEFAULT_CONFIG_MANAGER
The default implementation of ConfigManager |
static java.lang.String |
DEFAULT_FILENAME
The default filename of the configuration file |
protected org.eclipse.jface.preference.PreferenceStore |
prefStore
The PreferenceStore used by this ConfigManager |
| Constructor Summary | |
|---|---|
ConfigManager(java.io.File confFile)
Constructs a new ConfigManager which stores its settings in the given file |
|
| Method Summary | |
|---|---|
protected static boolean |
checkPage(java.lang.String page,
java.lang.String[] pages)
Check, if the given page name is contained inside the given Array of page names |
private static ConfigManager |
createDefault()
Create the default ConfigManager instance |
protected org.eclipse.jface.preference.PreferenceManager |
createPrefManager(java.lang.String[] pages)
Create a preference Manager, which contains the Preference Pages according to the specified Keys and can be used for PreferenceDialogs |
static ConfigManager |
getDefault()
Get the default Config Manager. |
org.eclipse.jface.preference.PreferenceManager |
getPrefManager(java.lang.String[] pageKeys)
Get a preference Manager, which contains the Preference Pages according to the specified Keys and can be used for PreferenceDialogs |
org.eclipse.jface.preference.PreferenceStore |
getPrefStore()
Get the Preference Store connected to this ConfigManager instance |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
public static final ConfigManager DEFAULT_CONFIG_MANAGER
public static final java.lang.String DEFAULT_FILENAME
protected org.eclipse.jface.preference.PreferenceStore prefStore
| Constructor Detail |
|---|
public ConfigManager(java.io.File confFile)
throws java.io.IOException
confFile - The config File
java.io.IOException - If an I/O-Error Occurs| Method Detail |
|---|
protected static boolean checkPage(java.lang.String page,
java.lang.String[] pages)
page - The page name to be chekced forpages - An Array of valid page names
private static ConfigManager createDefault()
protected org.eclipse.jface.preference.PreferenceManager createPrefManager(java.lang.String[] pages)
pages - The keys of the pages which the PreferenceManager
should contain
public static ConfigManager getDefault()
public org.eclipse.jface.preference.PreferenceManager getPrefManager(java.lang.String[] pageKeys)
pageKeys - The keys of the pages which the PreferenceManager
should contain
public org.eclipse.jface.preference.PreferenceStore getPrefStore()
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||