|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.cau.cs.kieler.ksbase.core.TransformationManager
public final class TransformationManager
The main storage and management class. Contains a list of currently registered editors. Handles import and export.
Field Summary | |
---|---|
static TransformationManager |
INSTANCE
Transformation-Manager instance. |
Method Summary | |
---|---|
void |
addEditor(EditorTransformationSettings editor)
Adds a new editor to the list of user defined editors. |
EditorTransformationSettings |
addEditor(String editorId)
Adds a new editor to the list of user defined editors. |
Collection<EditorTransformationSettings> |
getEditors()
Gets the currently registered editors. |
EditorTransformationSettings |
getEditorSettingsById(String editorId)
Tries to find an editor with it's id. |
EditorTransformationSettings |
getUserDefinedEditorById(String editorId)
Tries to find an user defined editor with its id. |
Collection<EditorTransformationSettings> |
getUserDefinedEditors()
Gets the list of user defined editors. |
void |
initializeTransformations()
Initializes the transformation manager by reading the extension points and the user defined settings. |
void |
removeEditor(String editorId)
Removes an editor from the list of user defined editors. |
void |
storeUserDefinedTransformations()
Stores the user defined settings in the KSbasE state location folder. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final TransformationManager INSTANCE
Method Detail |
---|
public Collection<EditorTransformationSettings> getEditors()
public Collection<EditorTransformationSettings> getUserDefinedEditors()
public EditorTransformationSettings getEditorSettingsById(String editorId)
editorId
- The editor's id.
public EditorTransformationSettings getUserDefinedEditorById(String editorId)
editorId
- The editor's id.
public void addEditor(EditorTransformationSettings editor)
editor
- The EditorTransformationSetting that describes the editorpublic EditorTransformationSettings addEditor(String editorId)
editorId
- The name of the new editor
public void removeEditor(String editorId)
editorId
- The id of the editorpublic void storeUserDefinedTransformations()
public void initializeTransformations()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |