|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.cau.cs.kieler.sim.kiem.config.managers.AbstractManager
de.cau.cs.kieler.sim.kiem.config.managers.EditorManager
public final class EditorManager
Manages the editors including editor names and editor ids.
Field Summary | |
---|---|
static String |
CODED_DEFAULT_EDITOR_ID
the default editor id. |
static String |
DEFAULT_EDITOR_NAME
the default editor name. |
Method Summary | |
---|---|
EditorDefinition |
addEditor(EditorDefinition newDefinition)
Add a new editor to the list. |
EditorDefinition |
findEditorById(EditorIdWrapper editorId)
Get the matching editor definition containing the specified editorId. |
EditorDefinition |
findEditorByName(String name)
Find an editor based on the editors name. |
EditorDefinition |
getDefaultEditor()
Get the default editor. |
EditorIdWrapper |
getDefaultEditorId()
Get the default editor id. |
String |
getDefaultEditorName()
Get the default editor name. |
List<EditorDefinition> |
getEditors()
Getter for the list of all editors. |
static EditorManager |
getInstance()
Getter for the singleton instance. |
void |
load()
Load the saved data from the plugin's preference store. |
void |
removeEditor(EditorDefinition editor)
Remove an editor from the list. |
void |
save()
Saves the data inside the manager into the plugin's preference store. |
void |
setDefaultEditor(EditorDefinition defaultEditor)
Set the default editor. |
Methods inherited from class de.cau.cs.kieler.sim.kiem.config.managers.AbstractManager |
---|
addEventListener, load, notifyListeners, remove, removeEventListener, save, saveAll |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final String CODED_DEFAULT_EDITOR_ID
public static final String DEFAULT_EDITOR_NAME
Method Detail |
---|
public static EditorManager getInstance()
public EditorDefinition addEditor(EditorDefinition newDefinition)
If a definition with the same name is already present the method returns that definition instead of the one passed to it.
newDefinition
- the definition to add.
public EditorDefinition findEditorById(EditorIdWrapper editorId)
editorId
- the id to look for
public EditorDefinition findEditorByName(String name)
name
- the name of the editor to look for
public void removeEditor(EditorDefinition editor)
Removes the editor support from all schedules as well.
editor
- the editor to removepublic EditorIdWrapper getDefaultEditorId()
public String getDefaultEditorName()
public EditorDefinition getDefaultEditor()
public void setDefaultEditor(EditorDefinition defaultEditor)
defaultEditor
- the new default editor.public List<EditorDefinition> getEditors()
public void load()
load
in class AbstractManager
public void save()
save
in class AbstractManager
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |