public class WorkletEditorPlugin extends YEditorPluginAdapter
Constructor and Description |
---|
WorkletEditorPlugin() |
Modifier and Type | Method and Description |
---|---|
void |
closeSpecification()
Called by the editor when a specification has been closed
(removed from the editor)
|
java.lang.String |
getDescription()
Gets a description of the plugin
|
java.lang.String |
getName()
Gets the name of this plugin
|
javax.swing.JMenu |
getPluginMenu()
Gets an entire menu structure (menu, item and sub-items) that will
appear as a menu tree on the 'Plugins' menu, and that will take the
desired action(s) when selected
|
YAWLSelectedNetAction |
getPluginMenuAction()
Gets a menu action that will appear as a menu item on the 'Plugins'
menu, and that will take the desired action when the action is selected
|
javax.swing.JToolBar |
getToolbar()
Gets a toolbar for the plugin's actions, to be displayed under the
main editor toolbar
|
void |
identifierChanged(java.lang.String oldID,
java.lang.String newID)
Called when a user changes the value of a unique identifier
|
void |
identifiersRationalised(java.util.Map<java.lang.String,java.lang.String> changeMap)
Called when a specification is loaded and it was necessary to update
unique identifiers to the new uniquify naming mechanism.
|
void |
initCompleted()
Notification that the editor has completed initialisation
|
void |
performPostFileSaveTasks()
Called by the editor immediately after a specification file is saved
|
void |
performPreFileSaveTasks(java.lang.String fileName) |
netAdded, netElementAdded, netElementsRemoved, netRemoved, openSpecification, performPostFileOpenTasks, performPreCellRenderingTasks, performPreFileOpenTasks, performPreFileSaveTasks, portsConnected, resourcingChanged
public java.lang.String getName()
YEditorPlugin
getName
in interface YEditorPlugin
getName
in class YEditorPluginAdapter
public java.lang.String getDescription()
YEditorPlugin
getDescription
in interface YEditorPlugin
getDescription
in class YEditorPluginAdapter
public YAWLSelectedNetAction getPluginMenuAction()
YEditorPlugin
getPluginMenuAction
in interface YEditorPlugin
getPluginMenuAction
in class YEditorPluginAdapter
public javax.swing.JMenu getPluginMenu()
YEditorPlugin
getPluginMenu
in interface YEditorPlugin
getPluginMenu
in class YEditorPluginAdapter
public javax.swing.JToolBar getToolbar()
YEditorPlugin
getToolbar
in interface YEditorPlugin
getToolbar
in class YEditorPluginAdapter
public void initCompleted()
YEditorPlugin
initCompleted
in interface YEditorPlugin
initCompleted
in class YEditorPluginAdapter
public void performPreFileSaveTasks(java.lang.String fileName)
performPreFileSaveTasks
in interface YEditorPlugin
performPreFileSaveTasks
in class YEditorPluginAdapter
public void performPostFileSaveTasks()
YEditorPlugin
performPostFileSaveTasks
in interface YEditorPlugin
performPostFileSaveTasks
in class YEditorPluginAdapter
public void identifiersRationalised(java.util.Map<java.lang.String,java.lang.String> changeMap)
YEditorPlugin
identifiersRationalised
in interface YEditorPlugin
identifiersRationalised
in class YEditorPluginAdapter
changeMap
- a map of [old id -> new id] pairspublic void identifierChanged(java.lang.String oldID, java.lang.String newID)
YEditorPlugin
identifierChanged
in interface YEditorPlugin
identifierChanged
in class YEditorPluginAdapter
oldID
- the previous valuenewID
- the new valuepublic void closeSpecification()
YEditorPlugin
closeSpecification
in interface YEditorPlugin
closeSpecification
in class YEditorPluginAdapter