Package diva.graph

Class GraphViewEvent

  • All Implemented Interfaces:
    java.io.Serializable
    public class GraphViewEvent
extends java.util.EventObject
    A graph view event that is emitted when anything interesting happens inside a graph view. The source of a event is the GraphController that issued the event.

    Each graph event contains an ID and a previous value for all changes and deletions, the specifics of which are described on a case-by-case basis below.

    Version:
    $Id$
    Author:
    Michael Shilman, Steve Neuendorffer
    See Also:
    GraphController, Serialized Form
    Pt.AcceptedRating:
    Red

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static int EDGE_DRAWN
      The given edge was just drawn.
      static int EDGE_ROUTED
      The connector representing an edge was just routed.
      static int NODE_DRAWN
      The given node was just drawn.
      static int NODE_MOVED
      The figure representing a node was moved.

      • Fields inherited from class java.util.EventObject

        source

    • Constructor Summary

      Constructors 
      Constructor Description
      GraphViewEvent​(java.lang.Object source, int id, java.lang.Object target)
      Construct a GraphViewEvent with the given source and target and a null previous value.
      GraphViewEvent​(java.lang.Object source, int id, java.lang.Object target, java.lang.Object oldValue)
      Construct a GraphViewEvent with the given source, target, and previous value.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      int getID()
      Return the type id for this event.
      java.lang.Object getOldValue()
      Return the old value, which is event-specific.
      java.lang.Object getTarget()
      Return the target value, which is event-specific.
      java.lang.String toString()
      Return a string representation of this event.

      • Methods inherited from class java.util.EventObject

        getSource

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

    • Field Detail

      • NODE_MOVED

        public static final int NODE_MOVED
        The figure representing a node was moved.
        See Also:
        Constant Field Values

      • EDGE_ROUTED

        public static final int EDGE_ROUTED
        The connector representing an edge was just routed.
        See Also:
        Constant Field Values

      • NODE_DRAWN

        public static final int NODE_DRAWN
        The given node was just drawn.
        See Also:
        Constant Field Values

      • EDGE_DRAWN

        public static final int EDGE_DRAWN
        The given edge was just drawn.
        See Also:
        Constant Field Values

    • Constructor Detail

      • GraphViewEvent

        public GraphViewEvent​(java.lang.Object source,
                      int id,
                      java.lang.Object target)
        Construct a GraphViewEvent with the given source and target and a null previous value.

      • GraphViewEvent

        public GraphViewEvent​(java.lang.Object source,
                      int id,
                      java.lang.Object target,
                      java.lang.Object oldValue)
        Construct a GraphViewEvent with the given source, target, and previous value.

    • Method Detail

      • getID

        public int getID()
        Return the type id for this event.

      • getTarget

        public java.lang.Object getTarget()
        Return the target value, which is event-specific.

      • getOldValue

        public java.lang.Object getOldValue()
        Return the old value, which is event-specific.

      • toString

        public java.lang.String toString()
        Return a string representation of this event.
        Overrides:
        toString in class java.util.EventObject