|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface IDOMSelectionProvider
Interface common to all classes that provide a selection over xml document. Selection is coded in DOMIntervalSet.
Method Summary | |
---|---|
void |
addSelectionChangedListener(IDOMSelectionChangedListener listener)
Adds a listener for selection changes in this selection provider. |
DOMIntervalSet |
getDOMSelection()
Returns copy of the current selection of provider. |
void |
removeSelectionChangedListener(IDOMSelectionChangedListener listener)
Removes the given selection change listener from this selection provider. |
void |
setSelection(DOMIntervalSet selection)
Sets new selection for this selection provider. |
Method Detail |
---|
void addSelectionChangedListener(IDOMSelectionChangedListener listener)
listener
- a DOM selection changed listenerDOMIntervalSet getDOMSelection()
void removeSelectionChangedListener(IDOMSelectionChangedListener listener)
listener
- a DOM selection changed listenervoid setSelection(DOMIntervalSet selection)
selection
- the new XML selection
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |