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();
}
