Java GraphVertexChangeEvent Examples

Example #1

File: JGraphModelAdapter.java Project: Bill-Niz/jgrapht

    /** @see VertexSetListener#vertexRemoved(GraphVertexChangeEvent) */
    public void vertexRemoved(GraphVertexChangeEvent<V> e) {
      V jtVertex = e.getVertex();

      if (!jtElementsBeingRemoved.remove(jtVertex)) {
        handleJGraphTRemoveVertex(jtVertex);
      }
    }

Example #2

File: DirectedNeighborIndex.java Project: rcpoison/jgrapht

 /** @see VertexSetListener#vertexRemoved(GraphVertexChangeEvent) */
 public void vertexRemoved(GraphVertexChangeEvent<V> e) {
   predecessorMap.remove(e.getVertex());
   successorMap.remove(e.getVertex());
 }