Class GraphSelectionEvent

  extended by java.util.EventObject
      extended by org.tigris.gef.event.GraphSelectionEvent
All Implemented Interfaces:

public class GraphSelectionEvent
extends java.util.EventObject

An event object that contains information about the current selection(s) in an Editor. These events are sent to registered GraphSelectionListeners whenever the Editor's selection changes.

See Also:
GraphSelectionListener, Editor, SelectionManager, Serialized Form

Field Summary
protected  java.util.Vector _selections
Fields inherited from class java.util.EventObject
Constructor Summary
GraphSelectionEvent(java.lang.Object src, java.util.Vector selections)
Method Summary
 java.util.Vector getSelections()
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


protected java.util.Vector _selections
Constructor Detail


public GraphSelectionEvent(java.lang.Object src,
                           java.util.Vector selections)
Method Detail


public java.util.Vector getSelections()