org.tigris.gef.event
Class GraphSelectionEvent

java.lang.Object
  extended by java.util.EventObject
      extended by org.tigris.gef.event.GraphSelectionEvent
All Implemented Interfaces:
java.io.Serializable

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
source
 
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

_selections

protected java.util.Vector _selections
Constructor Detail

GraphSelectionEvent

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

getSelections

public java.util.Vector getSelections()