1 package de.fzi.wim.guibase.graphview.selection;
2
3 import java.util.Collection;
4
5 import java.util.EventListener;
6
7 /***
8 * A listener for node selection.
9 */
10 public interface NodeSelectionListener extends EventListener {
11 /***
12 * Called when nodes are added to the selection.
13 *
14 * @param nodeSelectionModel the selection of the nodes
15 * @param nodes the nodes added to the selection
16 */
17 void nodesAddedToSelection(NodeSelectionModel nodeSelectionModel,Collection nodes);
18 /***
19 * Called when nodes are removed to the selection.
20 *
21 * @param nodeSelectionModel the selection of the nodes
22 * @param nodes the nodes removed to the selection
23 */
24 void nodesRemovedFromSelection(NodeSelectionModel nodeSelectionModel,Collection nodes);
25 /***
26 * Called when the selection is cleared.
27 *
28 * @param nodeSelectionModel the selection of the nodes
29 */
30 void selectionCleared(NodeSelectionModel nodeSelectionModel);
31 }