public void nodeOrEdgeSelectionChanged() { final String[] edges = new String[graph.getSelectedEdges().size()]; final String[] nodes = new String[graph.getSelectedShapes().size()]; int i = 0; for (final VEdge vedge : graph.getSelectedEdges()) { edges[i] = vedge.toString(); ++i; } i = 0; for (final VNode vnode : graph.getSelectedShapes()) { nodes[i] = vnode.toString(); ++i; } client.updateVariable(paintableId, "selectedEdges", edges, false); client.updateVariable(paintableId, "selectedNodes", nodes, true); }
public void clearSelections() { for (final VEdge edge : graph.getSelectedEdges()) { graph.setEdgeSelected(edge, false); } for (final VNode node : graph.getSelectedShapes()) { graph.setNodeSelected(node, false); } nodeOrEdgeSelectionChanged(); }
public void deleteSelectedItems() { for (final VEdge edge : graph.getSelectedEdges()) { deleteEdge(edge, true); } for (final VNode node : graph.getSelectedShapes()) { deleteNode(node, true); } // client.sendPendingVariableChanges(); }
private void selectNodesAndEdgesInTheBox( final int startX, final int startY, final int endX, final int endY) { for (final VNode node : graph.getSelectedShapes()) { graph.setNodeSelected(node, false); } for (final VEdge edge : graph.getSelectedEdges()) { graph.setEdgeSelected(edge, false); } for (final VNode node : graph.getPaintedShapes()) { if (isInArea(node.getX(), node.getY(), startX, startY, endX, endY)) { graph.setNodeSelected(node, true); } } for (final VEdge edge : graph.getSelectedEdges()) { if (graph.getSelectedShapes().contains(edge.getFirstNode()) && graph.getSelectedShapes().contains(edge.getSecondNode())) { graph.setEdgeSelected(edge, true); } } nodeOrEdgeSelectionChanged(); }