/** * Responds to events indicating a change in the flagged state of one or * more nodes or edges. Sets the corresponding selection state for views of * those objects in the graph view. */ public void onSelectEvent(SelectEvent event) { if (event.getTargetType() == SelectEvent.SINGLE_NODE) { // single node setNodeSelected((Node) event.getTarget(), event.getEventType()); } else if (event.getTargetType() == SelectEvent.SINGLE_EDGE) { // single // edge setEdgeSelected((Edge) event.getTarget(), event.getEventType()); } else if (event.getTargetType() == SelectEvent.NODE_SET) { // multiple // nodes Set nodeSet = (Set) event.getTarget(); for (Iterator iter = nodeSet.iterator(); iter.hasNext();) { Node node = (Node) iter.next(); setNodeSelected(node, event.getEventType()); } } else if (event.getTargetType() == SelectEvent.EDGE_SET) { // multiple // edges Set edgeSet = (Set) event.getTarget(); for (Iterator iter = edgeSet.iterator(); iter.hasNext();) { Edge edge = (Edge) iter.next(); setEdgeSelected(edge, event.getEventType()); } } else { // unexpected target type return; } }