|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.eclipse.gef.ui.parts.AbstractEditPartViewer
org.eclipse.gef.ui.parts.GraphicalViewerImpl
sk.uniba.euromath.editor.xmlEditor.viewers.XMLGraphicalViewerImpl
public class XMLGraphicalViewerImpl
Graphical viewer capable of performing selections over XML. Selection object
is DOMIntervalSet.
| Nested Class Summary |
|---|
| Nested classes/interfaces inherited from interface org.eclipse.gef.EditPartViewer |
|---|
org.eclipse.gef.EditPartViewer.Conditional |
| Field Summary | |
|---|---|
protected DOMIntervalSet |
selection
Local selection for this viewer. |
| Fields inherited from class org.eclipse.gef.ui.parts.AbstractEditPartViewer |
|---|
constantSelection, focusPart, selectionListeners |
| Constructor Summary | |
|---|---|
XMLGraphicalViewerImpl(XMLEditor editor)
Contructor. |
|
| Method Summary | |
|---|---|
void |
addSelectionChangedListener(IDOMSelectionChangedListener listener)
Adds a listener for selection changes in this selection provider. |
void |
deselect(org.eclipse.gef.EditPart editpart)
Deselects edit part. |
protected void |
fireSelectionChanged()
Fires event to listeners when selection was changed. |
DOMIntervalSet |
getDOMSelection()
Returns copy of the current selection of provider. |
protected IDManager |
getIDManager()
Helper getter. |
protected XMLAccess |
getXMLAccess()
Helper getter. |
void |
removeSelectionChangedListener(IDOMSelectionChangedListener listener)
Removes the given selection change listener from this selection provider. |
void |
select(org.eclipse.gef.EditPart editpart)
Selects editpart. |
void |
selectionChanged(DOMSelectionChangedEvent event)
Selection changed in some synchronized selection provider. |
void |
setSelection(DOMIntervalSet selection)
Deselects editparts with Ids, that were in previous selection and select editparts that are in DOMIntervalSet and sends this selection to IDOMSelectionListeners |
protected void |
startSelectionListening()
Starts listening to selection change events. |
protected void |
stopSelectionListening()
Stops listening to selection change events. |
| 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, deselectAll, findObjectAt, findObjectAtExcluding, 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, 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.GraphicalViewer |
|---|
findHandleAt |
| Methods inherited from interface org.eclipse.gef.EditPartViewer |
|---|
addDragSourceListener, addDragSourceListener, addDropTargetListener, addDropTargetListener, addPropertyChangeListener, appendSelection, createControl, deselectAll, findObjectAt, findObjectAtExcluding, findObjectAtExcluding, flush, getContents, getContextMenu, getControl, getEditDomain, getEditPartFactory, getEditPartRegistry, getFocusEditPart, getKeyHandler, getProperty, getRootEditPart, getSelectedEditParts, getSelection, getSelectionManager, getVisualPartMap, registerAccessibleEditPart, removeDragSourceListener, removeDragSourceListener, removeDropTargetListener, removeDropTargetListener, removePropertyChangeListener, reveal, setContents, setContents, setContextMenu, setControl, setCursor, setEditDomain, setEditPartFactory, setFocus, setKeyHandler, setProperty, setRootEditPart, setRouteEventsToEditDomain, setSelectionManager, unregisterAccessibleEditPart |
| Methods inherited from interface org.eclipse.jface.viewers.ISelectionProvider |
|---|
addSelectionChangedListener, removeSelectionChangedListener, setSelection |
| Field Detail |
|---|
protected DOMIntervalSet selection
| Constructor Detail |
|---|
public XMLGraphicalViewerImpl(XMLEditor editor)
editor - XMLEditor that uses this GraphicalViewer| Method Detail |
|---|
public void addSelectionChangedListener(IDOMSelectionChangedListener listener)
IDOMSelectionProvider
addSelectionChangedListener in interface IDOMSelectionProviderlistener - new listener to be add from selectionChangedListenerspublic void removeSelectionChangedListener(IDOMSelectionChangedListener listener)
IDOMSelectionProvider
removeSelectionChangedListener in interface IDOMSelectionProviderlistener - listener to be removed from selectionChangedListenerspublic DOMIntervalSet getDOMSelection()
IDOMSelectionProvider
getDOMSelection in interface IDOMSelectionProviderpublic void setSelection(DOMIntervalSet selection)
setSelection in interface IDOMSelectionProviderselection - DOMIntervalSet containing DOMInetervals, that have to
be selectedpublic void selectionChanged(DOMSelectionChangedEvent event)
selectionChanged in interface IDOMSelectionChangedListenerevent - DOMSelectionChangedEvent that contains source of new
selection, that should be some XMLEditor and
DOMIntervalSet as selectionprotected void stopSelectionListening()
protected void startSelectionListening()
protected void fireSelectionChanged()
fireSelectionChanged in class org.eclipse.gef.ui.parts.AbstractEditPartViewerpublic void select(org.eclipse.gef.EditPart editpart)
select in interface org.eclipse.gef.EditPartViewerselect in class org.eclipse.gef.ui.parts.AbstractEditPartViewereditpart - EditPart that is going to be selectedpublic void deselect(org.eclipse.gef.EditPart editpart)
deselect in interface org.eclipse.gef.EditPartViewerdeselect in class org.eclipse.gef.ui.parts.AbstractEditPartViewereditpart - EditPart that is going to be deselectedprotected IDManager getIDManager()
protected XMLAccess getXMLAccess()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||