public interface ProcessEditorInterface
Modifier and Type | Method and Description |
---|---|
ProcessModel |
getSelectedModel()
Returns the currently selected model of the ProcessEditor.
|
void |
processModelOpened(ProcessModel model)
Called if a new ProcessModel has been opened.
|
void |
processModelSaved(ProcessModel model,
java.io.File f)
Called if a ProcessModel has been saved.
|
void processModelOpened(ProcessModel model)
model
- void processModelSaved(ProcessModel model, java.io.File f)
model
- f
- ProcessModel getSelectedModel()