org.eclipse.xtext.xtext.ui.graph
Class RailroadSelectionProvider

java.lang.Object
  org.eclipse.xtext.xtext.ui.graph.RailroadSelectionProvider

All Implemented Interfaces:

org.eclipse.draw2d.MouseListener, org.eclipse.jface.viewers.ISelectionProvider

public class RailroadSelectionProvider
extends java.lang.Object
implements org.eclipse.draw2d.MouseListener, org.eclipse.jface.viewers.ISelectionProvider

Manages selection and navigation in the railroad diagram view.

Author:

Jan Koehnlein

Nested Class Summary

static class

RailroadSelectionProvider.DoubleClickEvent

Nested classes/interfaces inherited from interface org.eclipse.draw2d.MouseListener

org.eclipse.draw2d.MouseListener.Stub

Constructor Summary

RailroadSelectionProvider()

Method Summary

void	addSelectionChangedListener(org.eclipse.jface.viewers.ISelectionChangedListener listener) Adds a listener for selection changes in this selection provider.
protected org.eclipse.draw2d.IFigure	getSelectedFigure(org.eclipse.jface.viewers.ISelection selection)
org.eclipse.jface.viewers.ISelection	getSelection() Returns the current selection for this provider.
void	mouseDoubleClicked(org.eclipse.draw2d.MouseEvent me)
void	mousePressed(org.eclipse.draw2d.MouseEvent me)
void	mouseReleased(org.eclipse.draw2d.MouseEvent me)
void	removeSelectionChangedListener(org.eclipse.jface.viewers.ISelectionChangedListener listener) Removes the given selection change listener from this selection provider.
void	setSelection(org.eclipse.jface.viewers.ISelection selection) Sets the current selection for this selection provider.
protected void	setSelection(org.eclipse.jface.viewers.ISelection selection, boolean isDoubleClick)
protected void	setSelection(org.eclipse.draw2d.MouseEvent me, boolean isDoubleClick)

Methods inherited from class java.lang.Object

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

Constructor Detail

RailroadSelectionProvider

public RailroadSelectionProvider()

Method Detail

mousePressed

public void mousePressed(org.eclipse.draw2d.MouseEvent me)

Specified by:

mousePressed in interface org.eclipse.draw2d.MouseListener

mouseReleased

public void mouseReleased(org.eclipse.draw2d.MouseEvent me)

Specified by:

mouseReleased in interface org.eclipse.draw2d.MouseListener

mouseDoubleClicked

public void mouseDoubleClicked(org.eclipse.draw2d.MouseEvent me)

Specified by:

mouseDoubleClicked in interface org.eclipse.draw2d.MouseListener

setSelection

protected void setSelection(org.eclipse.draw2d.MouseEvent me,
                            boolean isDoubleClick)

addSelectionChangedListener

public void addSelectionChangedListener(org.eclipse.jface.viewers.ISelectionChangedListener listener)

Description copied from interface: org.eclipse.jface.viewers.ISelectionProvider

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 org.eclipse.jface.viewers.ISelectionProvider

Parameters:

listener - a selection changed listener

removeSelectionChangedListener

public void removeSelectionChangedListener(org.eclipse.jface.viewers.ISelectionChangedListener listener)

Description copied from interface: org.eclipse.jface.viewers.ISelectionProvider

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

Specified by:

removeSelectionChangedListener in interface org.eclipse.jface.viewers.ISelectionProvider

Parameters:

listener - a selection changed listener

getSelection

public org.eclipse.jface.viewers.ISelection getSelection()

Description copied from interface: org.eclipse.jface.viewers.ISelectionProvider

Returns the current selection for this provider.

Specified by:

getSelection in interface org.eclipse.jface.viewers.ISelectionProvider

Returns:

the current selection

setSelection

protected void setSelection(org.eclipse.jface.viewers.ISelection selection,
                            boolean isDoubleClick)

setSelection

public void setSelection(org.eclipse.jface.viewers.ISelection selection)

Description copied from interface: org.eclipse.jface.viewers.ISelectionProvider

Sets the current selection for this selection provider.

Specified by:

setSelection in interface org.eclipse.jface.viewers.ISelectionProvider

Parameters:

selection - the new selection

getSelectedFigure

protected org.eclipse.draw2d.IFigure getSelectedFigure(org.eclipse.jface.viewers.ISelection selection)