Interface GraphChangeListener<V extends Vertex,​E extends Edge>


  • public interface GraphChangeListener<V extends Vertex,​E extends Edge>
    • Method Detail

      • handleVerticesAdded

        void handleVerticesAdded​(java.util.List<V> verticesAdded)
      • handleVerticesRemoved

        void handleVerticesRemoved​(java.util.List<V> verticesRemoved)
      • handleVerticesUpdated

        void handleVerticesUpdated​(java.util.List<V> verticesUpdated)
      • handleEdgesAdded

        void handleEdgesAdded​(java.util.List<E> edgesAdded)
      • handleEdgesUpdated

        void handleEdgesUpdated​(java.util.List<E> edgesUpdated)
      • handleEdgesRemoved

        void handleEdgesRemoved​(java.util.List<E> edgesRemoved)
      • handleGraphInfoChanged

        void handleGraphInfoChanged​(GraphInfo currentGraphInfo)
      • handleFocusChanged

        void handleFocusChanged​(Focus currentFocus)