1
2
3
4
5
6 package net.kwfgrid.gwui.gui;
7
8 import net.kwfgrid.gworkflowdl.protocol.structure.*;
9 import net.kwfgrid.gworkflowdl.structure.GenericProperties;
10
11 import org.glassbox.executor.Executor;
12
13 /***
14 An editor for the properties of a transition.
15 */
16 public class TransitionPropertiesEditor extends PropertiesEditor {
17 /***
18 Constructor.
19 @param executor The invoker for a method call on the workflow structure.
20 @param workflow The edited workflow.
21 @param element The edited transition.
22 */
23 public TransitionPropertiesEditor(Executor executor, ProtocolWorkflow workflow, ProtocolTransition element) {
24 super(executor, workflow, element);
25 }
26
27 protected GenericProperties getElementProperties() {
28 return ((ProtocolTransition)getElement()).getProperties();
29 }
30 }