1
2
3
4
5
6 package net.kwfgrid.gwui.graphview;
7
8 /***
9 The interface for the properties of different implementations of <code>Operation</code>.
10 The implementations of this interface extract the properties needed by the <code>TransitionNodePainter</code>
11 to paint the nodes representing transitions from the specific implementations of <code>Operation</code>.
12 */
13 public interface OperationProperties {
14 /***
15 Get the text to be drawn inside the node representing the transition.
16 */
17 String[] getText();
18 /***
19 Get the tooltip text to be shown when the mouse rests of the node representing the transition.
20 */
21 String getToolTipText();
22 /***
23 Invalidate the information so that it is rebuild from the underlying structure object.
24 */
25 void invalidate();
26 }