public void edgeRemoved(String sourceId, long timeId, String edgeId) { Edge edge = g.getEdge(edgeId); for (String key : edge.getAttributeKeySet()) edgeAttributeRemoved(sourceId, timeId, edgeId, key); Event e; e = new EdgeRemoved(edgeId, edge.getSourceNode().getId(), edge .getTargetNode().getId(), edge.isDirected()); events.add(e); }
public void edgeRemoved(String sourceId, long timeId, String edgeId) { Edge edge = g.getEdge(edgeId); for (String key : edge.getAttributeKeySet()) edgeAttributeRemoved(sourceId, timeId, edgeId, key); Event e; e = new EdgeRemoved(edgeId, edge.getSourceNode().getId(), edge .getTargetNode().getId(), edge.isDirected()); events.add(e); }
for (String k : n.getAttributeKeySet()) { if (!edgeAttributes.containsKey(k)) { Object value = n.getAttribute(k); e.getId(), e.getSourceNode().getId(), e.getTargetNode() .getId(), e.isDirected()); for (String k : e.getAttributeKeySet()) { print("\t\t\t<data key=\"%s\">%s</data>\n", edgeAttributes .get(k), e.getAttribute(k).toString());
for (String k : n.getAttributeKeySet()) { if (!edgeAttributes.containsKey(k)) { Object value = n.getAttribute(k); e.getId(), e.getSourceNode().getId(), e.getTargetNode() .getId(), e.isDirected()); for (String k : e.getAttributeKeySet()) { print("\t\t\t<data key=\"%s\">%s</data>\n", edgeAttributes .get(k), escapeXmlString(e.getAttribute(k).toString()));
.getId(), edge.isDirected()); if (edge.getAttributeKeySet() != null) for (String key : edge.getAttributeKeySet()) events.post(from, GraphEvents.ADD_EDGE_ATTR, graphId, sourceTime.newEvent(), edge.getId(), key,
.getId(), edge.isDirected()); if (edge.getAttributeKeySet() != null) for (String key : edge.getAttributeKeySet()) events.post(from, GraphEvents.ADD_EDGE_ATTR, graphId, sourceTime.newEvent(), edge.getId(), key,
edge.isDirected()); if (edge.getAttributeKeySet() != null) { for (String key : edge.getAttributeKeySet()) { e.addAttribute(key, edge.getAttribute(key));
for (String key : e.getAttributeKeySet()) edgeAttributes.push(stream, e, key); endElement(stream, false);
.getId(), edge.getTargetNode().getId(), edge.isDirected()); if (edge.getAttributeKeySet() != null) { for (String key : edge.getAttributeKeySet()) { e.addAttribute(key, edge.getAttribute(key));
for (String key : e.getAttributeKeySet()) edgeAttributes.push(stream, e, key); endElement(stream, false);
.getId(), edge.getTargetNode().getId(), edge.isDirected()); if (edge.getAttributeKeySet() != null) { for (String key : edge.getAttributeKeySet()) { listeners.sendEdgeAttributeAdded(id, edge.getId(), key, edge.getAttribute(key));
.getId(), edge.getTargetNode().getId(), edge.isDirected()); if (edge.getAttributeKeySet() != null) { for (String key : edge.getAttributeKeySet()) { listeners.sendEdgeAttributeAdded(id, edge.getId(), key, edge.getAttribute(key));
for (String key : edge.getAttributeKeySet()) sendEdgeAttributeAdded(sourceId, edgeId, key, edge.getAttribute(key));
for (String key : edge.getAttributeKeySet()) sendEdgeAttributeAdded(sourceId, edgeId, key, edge.getAttribute(key));
public void replay(String sourceId) { for (String key : getAttributeKeySet()) sendGraphAttributeAdded(sourceId, key, getAttribute(key)); for (int i = 0; i < getNodeCount(); i++) { Node node = getNode(i); String nodeId = node.getId(); sendNodeAdded(sourceId, nodeId); if (node.getAttributeCount() > 0) for (String key : node.getAttributeKeySet()) sendNodeAttributeAdded(sourceId, nodeId, key, node.getAttribute(key)); } for (int i = 0; i < getEdgeCount(); i++) { Edge edge = getEdge(i); String edgeId = edge.getId(); sendEdgeAdded(sourceId, edgeId, edge.getNode0().getId(), edge .getNode1().getId(), edge.isDirected()); if (edge.getAttributeCount() > 0) for (String key : edge.getAttributeKeySet()) sendEdgeAttributeAdded(sourceId, edgeId, key, edge.getAttribute(key)); } } }
for (String key : edge.getAttributeKeySet()) edgeAttributeAdded(graphId, timeId++, edgeId, key, edge.getAttribute(key));
for (String key : edge.getAttributeKeySet()) edgeAttributeAdded(graphId, timeId++, edgeId, key, edge.getAttribute(key));
public void replay(String sourceId) { for (String key : getAttributeKeySet()) sendGraphAttributeAdded(sourceId, key, getAttribute(key)); for (int i = 0; i < getNodeCount(); i++) { Node node = getNode(i); String nodeId = node.getId(); sendNodeAdded(sourceId, nodeId); if (node.getAttributeCount() > 0) for (String key : node.getAttributeKeySet()) sendNodeAttributeAdded(sourceId, nodeId, key, node.getAttribute(key)); } for (int i = 0; i < getEdgeCount(); i++) { Edge edge = getEdge(i); String edgeId = edge.getId(); sendEdgeAdded(sourceId, edgeId, edge.getNode0().getId(), edge .getNode1().getId(), edge.isDirected()); if (edge.getAttributeCount() > 0) for (String key : edge.getAttributeKeySet()) sendEdgeAttributeAdded(sourceId, edgeId, key, edge.getAttribute(key)); } } }