sk.uniba.euromath.editor.selections
Class DOMSelectionChangedEvent

java.lang.Object
  java.util.EventObject
      sk.uniba.euromath.editor.selections.DOMSelectionChangedEvent

All Implemented Interfaces:

Serializable

public class DOMSelectionChangedEvent
extends EventObject

XML selection changed event object.

Author:

Tomas Studva

See Also:

Serialized Form

Field Summary

protected DOMIntervalSet

selection The selection.

Fields inherited from class java.util.EventObject

source

Constructor Summary

DOMSelectionChangedEvent(IDOMSelectionProvider source, DOMIntervalSet selection)
Creates a new event for the given source and selection.

Method Summary

DOMIntervalSet	getDOMSelection() Returns the selection.
IDOMSelectionProvider	getSelectionProvider() Returns the selection provider that is the source of this event.
IDOMSelectionProvider	getSource()

Methods inherited from class java.util.EventObject

toString

Methods inherited from class java.lang.Object

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

Field Detail

selection

protected DOMIntervalSet selection

The selection.

Constructor Detail

DOMSelectionChangedEvent

public DOMSelectionChangedEvent(IDOMSelectionProvider source,
                                DOMIntervalSet selection)

Creates a new event for the given source and selection.

Parameters:

source - the selection provider

selection - the selection

Method Detail

getDOMSelection

public DOMIntervalSet getDOMSelection()

Returns the selection.

Returns:

the selection

getSelectionProvider

public IDOMSelectionProvider getSelectionProvider()

Returns the selection provider that is the source of this event.

Returns:

the originating selection provider

getSource

public IDOMSelectionProvider getSource()

Overrides:

getSource in class EventObject