1
2
3
4
5
6 package net.kwfgrid.gwui.taskframework;
7
8 import net.kwfgrid.gwui.Browser;
9 import net.kwfgrid.gwui.UAA;
10 import net.kwfgrid.gwui.graphview.WorkflowGraph;
11 import net.kwfgrid.gwui.graphview.TransitionNode;
12 import net.kwfgrid.gworkflowdl.structure.*;
13 import net.kwfgrid.gworkflowdl.protocol.structure.*;
14
15 import de.fzi.wim.guibase.graphview.view.JGraphPane;
16
17 import org.glassbox.executor.Executor;
18
19 public class GraphInputTaskProducer4WCTRefinementFailed extends InputTaskProducer4WCTRefinementFailed {
20 private JGraphPane _view;
21
22 public GraphInputTaskProducer4WCTRefinementFailed(JGraphPane view, Executor executor, UAA uaa, Browser browser) {
23 super(executor, uaa, browser);
24 _view = view;
25 }
26
27
28
29
30
31 protected void setTaskInvalid(InputTask4WCTRefinementFailed task) {
32 super.setTaskInvalid(task);
33 repaintNode(task.getTransition());
34 }
35
36 protected void setTaskDone(InputTask4WCTRefinementFailed task) {
37 super.setTaskDone(task);
38 repaintNode(task.getTransition());
39 }
40
41 protected InputTask4WCTRefinementFailed createInputTask4WCTRefinementFailed(ProtocolWorkflow wf, ProtocolTransition t) {
42 InputTask4WCTRefinementFailed task = super.createInputTask4WCTRefinementFailed(wf, t);
43 if (task != null) repaintNode(task.getTransition());
44 return task;
45 }
46
47
48
49
50
51 private void repaintNode(Transition transition) {
52 WorkflowGraph graph = (WorkflowGraph)_view.getGraph();
53 if (graph != null) {
54 TransitionNode node = graph.getTransitionNode(transition);
55 if (node != null) {
56 _view.repaintNode(node);
57 }
58 }
59 }
60 }
61