Class GraphChangeEvent

  • All Implemented Interfaces:
    java.io.Serializable
    Direct Known Subclasses:
    GraphEdgeChangeEvent, GraphVertexChangeEvent

    public class GraphChangeEvent
    extends java.util.EventObject
    An event which indicates that a graph has changed. This class is a root for graph change events.
    Author:
    Barak Naveh
    See Also:
    Serialized Form
    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected int type
      The type of graph change this event indicates.
      • Fields inherited from class java.util.EventObject

        source
    • Constructor Summary

      Constructors 
      Constructor Description
      GraphChangeEvent​(java.lang.Object eventSource, int type)
      Creates a new graph change event.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      int getType()
      Returns the event type.
      • Methods inherited from class java.util.EventObject

        getSource, toString
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Field Detail

      • type

        protected int type
        The type of graph change this event indicates.
    • Constructor Detail

      • GraphChangeEvent

        public GraphChangeEvent​(java.lang.Object eventSource,
                                int type)
        Creates a new graph change event.
        Parameters:
        eventSource - the source of the event.
        type - the type of event.
    • Method Detail

      • getType

        public int getType()
        Returns the event type.
        Returns:
        the event type.