uci.gef.event
Class GraphSelectionEvent

java.lang.Object
  |
  +--java.util.EventObject
        |
        +--uci.gef.event.GraphSelectionEvent

public class GraphSelectionEvent

extends 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 Vector

_selections

Fields inherited from class java.util.EventObject

source

Constructor Summary

GraphSelectionEvent(Object src, Vector selections)

Method Summary

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 Vector _selections

Constructor Detail

GraphSelectionEvent

public GraphSelectionEvent(Object src,
                           Vector selections)

Method Detail

getSelections

public Vector getSelections()