Package org.jgraph

Class JGraph.GraphSelectionRedirector

  • All Implemented Interfaces:
    java.io.Serializable, java.util.EventListener, GraphSelectionListener
    Enclosing class:
    JGraph

    protected class JGraph.GraphSelectionRedirector
    extends java.lang.Object
    implements java.io.Serializable, GraphSelectionListener
    Handles creating a new GraphSelectionEvent with the JGraph as the source and passing it off to all the listeners.

    Warning: Serialized objects of this class will not be compatible with future Swing releases. The current serialization support is appropriate for short term storage or RMI between applications running the same version of Swing. A future release of Swing will provide support for long term persistence.

    See Also:
    Serialized Form
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void valueChanged​(GraphSelectionEvent e)
      Invoked by the GraphSelectionModel when the selection changes.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • GraphSelectionRedirector

        protected GraphSelectionRedirector()
    • Method Detail

      • valueChanged

        public void valueChanged​(GraphSelectionEvent e)
        Invoked by the GraphSelectionModel when the selection changes.
        Specified by:
        valueChanged in interface GraphSelectionListener
        Parameters:
        e - the GraphSelectionEvent generated by the GraphSelectionModel