sk.uniba.euromath.editor.textEditor.viewers
Class TextGraphicalViewerImpl

java.lang.Object
  org.eclipse.gef.ui.parts.AbstractEditPartViewer
      org.eclipse.gef.ui.parts.GraphicalViewerImpl
          sk.uniba.euromath.editor.textEditor.viewers.TextGraphicalViewerImpl

All Implemented Interfaces:

org.eclipse.gef.EditPartViewer, org.eclipse.gef.GraphicalViewer, ISelectionProvider, IDOMSelectionChangedListener, IDOMSelectionProvider

public class TextGraphicalViewerImpl
extends org.eclipse.gef.ui.parts.GraphicalViewerImpl
implements IDOMSelectionProvider, IDOMSelectionChangedListener

Author:

Martin Kollar

Nested Class Summary

Nested classes/interfaces inherited from interface org.eclipse.gef.EditPartViewer

org.eclipse.gef.EditPartViewer.Conditional

Field Summary

Fields inherited from class org.eclipse.gef.ui.parts.AbstractEditPartViewer

constantSelection, focusPart, selection, selectionListeners

Constructor Summary

TextGraphicalViewerImpl(XMLEditor editor)

Method Summary

void	addSelectionChangedListener(IDOMSelectionChangedListener listener) Adds a listener for selection changes in this selection provider.
sk.baka.ikslibs.interval.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	selectionChanged(DOMSelectionChangedEvent event) Notifies that the selection has changed.
void	setSelection(sk.baka.ikslibs.interval.DOMIntervalSet selection) Sets new selection for this selection provider.

Methods inherited from class org.eclipse.gef.ui.parts.GraphicalViewerImpl

createControl, createDefaultRoot, createLightweightSystem, findHandleAt, findObjectAtExcluding, flush, getEventDispatcher, getLayerManager, getLightweightSystem, getRootFigure, handleDispose, handleFocusGained, handleFocusLost, hookControl, hookDropTarget, registerAccessibleEditPart, reveal, setContextMenu, setCursor, setDragSource, setEditDomain, setRootEditPart, setRootFigure, setRouteEventsToEditDomain, unhookControl, unregisterAccessibleEditPart

Methods inherited from class org.eclipse.gef.ui.parts.AbstractEditPartViewer

addDragSourceListener, addDragSourceListener, addDropTargetListener, addDropTargetListener, addPropertyChangeListener, addSelectionChangedListener, appendSelection, deselect, deselectAll, findObjectAt, findObjectAtExcluding, fireSelectionChanged, getContents, getContextMenu, getControl, getDelegatingDragAdapter, getDelegatingDropAdapter, getDragSource, getDropTarget, getEditDomain, getEditPartFactory, getEditPartRegistry, getFocusEditPart, getKeyHandler, getProperty, getRootEditPart, getSelectedEditParts, getSelection, getSelectionManager, getVisualPartMap, hookDragSource, init, primGetSelectedEditParts, refreshDragSourceAdapter, refreshDropTargetAdapter, removeDragSourceListener, removeDragSourceListener, removeDropTargetListener, removeDropTargetListener, removePropertyChangeListener, removeSelectionChangedListener, select, setContents, setContents, setControl, setDropTarget, setEditPartFactory, setFocus, setKeyHandler, setProperty, setSelection, setSelectionManager

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.eclipse.gef.EditPartViewer

addDragSourceListener, addDragSourceListener, addDropTargetListener, addDropTargetListener, addPropertyChangeListener, appendSelection, deselect, deselectAll, findObjectAt, findObjectAtExcluding, getContents, getContextMenu, getControl, getEditDomain, getEditPartFactory, getEditPartRegistry, getFocusEditPart, getKeyHandler, getProperty, getRootEditPart, getSelectedEditParts, getSelection, getSelectionManager, getVisualPartMap, removeDragSourceListener, removeDragSourceListener, removeDropTargetListener, removeDropTargetListener, removePropertyChangeListener, select, setContents, setContents, setControl, setEditPartFactory, setFocus, setKeyHandler, setProperty, setSelectionManager

Methods inherited from interface org.eclipse.jface.viewers.ISelectionProvider

addSelectionChangedListener, removeSelectionChangedListener, setSelection

Constructor Detail

TextGraphicalViewerImpl

public TextGraphicalViewerImpl(XMLEditor editor)

Parameters:

editor - Editor that uses this viewer to view its state

Method Detail

addSelectionChangedListener

public void addSelectionChangedListener(IDOMSelectionChangedListener listener)

Description copied from interface: IDOMSelectionProvider

Adds a listener for selection changes in this selection provider. Has no effect if an identical listener is already registered.

Specified by:

addSelectionChangedListener in interface IDOMSelectionProvider

Parameters:

listener - a DOM selection changed listener

getDOMSelection

public sk.baka.ikslibs.interval.DOMIntervalSet getDOMSelection()

Description copied from interface: IDOMSelectionProvider

Returns copy of the current selection of provider.

Specified by:

getDOMSelection in interface IDOMSelectionProvider

Returns:

the current selection

removeSelectionChangedListener

public void removeSelectionChangedListener(IDOMSelectionChangedListener listener)

Description copied from interface: IDOMSelectionProvider

Removes the given selection change listener from this selection provider. Has no affect if an identical listener is not registered.

Specified by:

removeSelectionChangedListener in interface IDOMSelectionProvider

Parameters:

listener - a DOM selection changed listener

setSelection

public void setSelection(sk.baka.ikslibs.interval.DOMIntervalSet selection)

Description copied from interface: IDOMSelectionProvider

Sets new selection for this selection provider.

Specified by:

setSelection in interface IDOMSelectionProvider

Parameters:

selection - the new XML selection

selectionChanged

public void selectionChanged(DOMSelectionChangedEvent event)

Description copied from interface: IDOMSelectionChangedListener

Notifies that the selection has changed.

Specified by:

selectionChanged in interface IDOMSelectionChangedListener

Parameters:

event - event object describing the change