private void markEdgeInserted(String edgeId) { graph.getEdge(edgeId).addAttribute("ui.class", "inserted"); graph.getEdge(edgeId).removeAttribute("ui.class"); }
public void clear() { if (flagAttribute != null) for (Edge edge : graph.getEachEdge()) edge.removeAttribute(flagAttribute); }
public void clear() { if (flagAttribute != null) for (Edge edge : graph.getEachEdge()) edge.removeAttribute(flagAttribute); }
/** * Add an edge to the spanning tree. * * @param e * edge to add */ protected void edgeOn(Edge e) { if (flagAttribute != null) { if (flagOn != null) e.changeAttribute(flagAttribute, flagOn); else e.removeAttribute(flagAttribute); } }
/** * Add an edge to the spanning tree. * * @param e * edge to add */ protected void edgeOn(Edge e) { if (flagAttribute != null) { if (flagOn != null) e.changeAttribute(flagAttribute, flagOn); else e.removeAttribute(flagAttribute); } }
/** * Remove an edge of the spanning tree. * * @param e * edge to remove */ protected void edgeOff(Edge e) { if (flagAttribute != null) { if (flagOff != null) e.changeAttribute(flagAttribute, flagOff); else e.removeAttribute(flagAttribute); } }
/** * Remove an edge of the spanning tree. * * @param e * edge to remove */ protected void edgeOff(Edge e) { if (flagAttribute != null) { if (flagOff != null) e.changeAttribute(flagAttribute, flagOff); else e.removeAttribute(flagAttribute); } }
private void markEdgeInserted(String edgeId) { graph.getEdge(edgeId).addAttribute("ui.class", "inserted"); graph.getEdge(edgeId).removeAttribute("ui.class"); }
public void edgeAttributeRemoved(String sourceId, long timeId, String edgeId, String attribute) { if (sinkTime.isNewEvent(sourceId, timeId)) { Edge edge = g.getEdge(edgeId); if (edge != null) { sendEdgeAttributeRemoved(sourceId, timeId, edgeId, attribute); passYourWay = true; try { edge.removeAttribute(attribute); } finally { passYourWay = false; } } } }
public void edgeAttributeRemoved(String sourceId, long timeId, String edgeId, String attribute) { if (sinkTime.isNewEvent(sourceId, timeId)) { Edge edge = g.getEdge(edgeId); if (edge != null) { sendEdgeAttributeRemoved(sourceId, timeId, edgeId, attribute); passYourWay = true; try { edge.removeAttribute(attribute); } finally { passYourWay = false; } } } }
protected void mouseButtonPress(MouseEvent event) { view.requestFocus(); // Unselect all. if (!event.isShiftDown()) { if (types.contains(InteractiveElement.NODE)) { for (Node node : graph) { if (node.hasAttribute("ui.selected")) node.removeAttribute("ui.selected"); } } if (types.contains(InteractiveElement.SPRITE)) { for (GraphicSprite sprite : graph.spriteSet()) { if (sprite.hasAttribute("ui.selected")) sprite.removeAttribute("ui.selected"); } } if (types.contains(InteractiveElement.EDGE)) { for (Edge edge : graph.getEdgeSet()) { if (edge.hasAttribute("ui.selected")) edge.removeAttribute("ui.selected"); } } } }
/** * Set the name of the attribute used to store the number of passes of each * entity on each edge or node. * * @param name * A string giving the passes name. */ public void setPassesAttribute(String name) { if (context.graph != null) { for (Edge e : context.graph.getEachEdge()) { e.addAttribute(name, e.getNumber(context.passesAttribute)); e.removeAttribute(context.passesAttribute); } for (Node n : context.graph) { n.addAttribute(name, n.getNumber(context.passesAttribute)); n.removeAttribute(context.passesAttribute); } } context.passesAttribute = name; }
/** * Set the name of the attribute used to store the number of passes of each * entity on each edge or node. * * @param name * A string giving the passes name. */ public void setPassesAttribute(String name) { if (context.graph != null) { for (Edge e : context.graph.getEachEdge()) { e.addAttribute(name, e.getNumber(context.passesAttribute)); e.removeAttribute(context.passesAttribute); } for (Node n : context.graph) { n.addAttribute(name, n.getNumber(context.passesAttribute)); n.removeAttribute(context.passesAttribute); } } context.passesAttribute = name; }