471472473474475476477478
public void fireSelectionChangedEvent() { Iterator iter = selectionListeners.iterator(); while (iter.hasNext()) { GraphSelectionListener l = (GraphSelectionListener) iter.next(); l.selectionChanged(new GraphSelectionEvent(null, nodeSelection)); } }
479480481482483484485486
public void fireSelectionResetEvent() { Iterator iter = selectionListeners.iterator(); while (iter.hasNext()) { GraphSelectionListener l = (GraphSelectionListener) iter.next(); l.selectionReset(new GraphSelectionEvent(null, nodeSelection)); } }
487488489490491492493494
private void fireSelectionMoveEvent() { Iterator iter = selectionListeners.iterator(); while (iter.hasNext()) { GraphSelectionListener l = (GraphSelectionListener) iter.next(); l.selectionMove(new GraphSelectionEvent(null, nodeSelection)); } }