Laboratoire ICAR » Plateforme TXM

public class Application implements IApplication {

	public static String PLUGIN_ID = "org.txm.backtomedia"; //$NON-NLS-1$

	 * @see org.eclipse.equinox.app.IApplication#start(org.eclipse.equinox.app.IApplicationContext)

	 */

	public Object start(IApplicationContext context) throws Exception {

				return IApplication.EXIT_RESTART;

			else

				return IApplication.EXIT_OK;

			display.dispose();

		}

	}

	 * @see org.eclipse.equinox.app.IApplication#stop()

	 */

	public void stop() {

		final IWorkbench workbench = PlatformUI.getWorkbench();

		final Display display = workbench.getDisplay();

		display.syncExec(new Runnable() {

			public void run() {

				if (!display.isDisposed())

					workbench.close();

	private static final String BUNDLE_NAME = "vlcplayerrcp.messages"; //$NON-NLS-1$

	public static String BackToMedia_0;

	public static String BackToMedia_1;

	public static String BackToMedia_11;

	public static String BackToMedia_12;

	public static String BackToMedia_14;

	public static String BackToMedia_16;

	public static String BackToMedia_17;

	public static String BackToMedia_19;

	public static String BackToMedia_25;

	public static String BackToMedia_26;

	public static String BackToMedia_27;

	public static String BackToMedia_29;

	public static String BackToMedia_30;

	public static String BackToMedia_7;

	public static String BackToMediaPreferencePage_1;

	public static String BackToMediaPreferencePage_2;

	public static String BackToMediaPreferencePage_3;

	public static String BackToMediaPreferencePage_4;

	public static String BackToMediaPreferencePage_5;

	public static String BackToMediaPreferencePage_6;

	public static String BackToMediaPreferencePage_7;

	public static String cancel;

	public static String error_native_libs;

	public static String error_open_media;

	public static String opening;

	public static String opening_media;

	public static String pause;

	public static String play;

	public static String playing;

	public static String rate;

	public static String repeat;

	public static String resume;

	public static String select_file;

	public static String select_file_title;

	public static String select_object;

	public static String stop;

	public static String time_range;

	public static String volume;

	static {

		Utf8NLS.initializeMessages(BUNDLE_NAME, MessagesMP.class);

	}

}

import org.eclipse.ui.application.WorkbenchWindowAdvisor;

public class ApplicationWorkbenchWindowAdvisor extends WorkbenchWindowAdvisor {

}

import org.eclipse.ui.application.IActionBarConfigurer;

public class ApplicationActionBarAdvisor extends ActionBarAdvisor {

}

import org.eclipse.ui.application.WorkbenchWindowAdvisor;

public class ApplicationWorkbenchAdvisor extends WorkbenchAdvisor {

	private static final String PERSPECTIVE_ID = "WordCloudRCP.perspective"; //$NON-NLS-1$

	public String getInitialWindowPerspectiveId() {

		return PERSPECTIVE_ID;

	}

 * </p>

 */

public class TripleRangeSlider extends Canvas {

	private int minimum;

	private int maximum;

	private int lowerValue;

	private int middleValue;

	private int upperValue;

	private final List<SelectionListener> listeners;

	private final Image slider, sliderHover, sliderDrag, sliderSelected;

	private final Image vSlider, vSliderHover, vSliderDrag, vSliderSelected;

	private int orientation;

	private int increment;

	private int pageIncrement;

	private SELECTED_KNOB lastSelected;

	private boolean dragInProgress;

	private Point coordUpper;

	private boolean upperHover;

	private Point coordMiddle;

	private boolean middleHover;

	private Point coordLower;

	private boolean lowerHover;

	private int previousUpperValue;

	private int previousMiddleValue;

	private int previousLowerValue;

	/**

	 * Constructs a new instance of this class given its parent and a style

	 * value describing its behavior and appearance.

	 *            instance (cannot be null)

	 * @param style the style of control to construct

	 *

	 *                <li>ERROR_NULL_ARGUMENT - if the parent is null</li>

	 *                </ul>

	 *                <li>ERROR_THREAD_INVALID_ACCESS - if not called from the

	 *                thread that created the parent</li>

	 *                </ul>

		this.sliderHover = new Image(getDisplay(), this.getClass().getClassLoader().getResourceAsStream("images/slider-hover.png")); //$NON-NLS-1$

		this.sliderDrag = new Image(getDisplay(), this.getClass().getClassLoader().getResourceAsStream("images/slider-drag.png")); //$NON-NLS-1$

		this.sliderSelected = new Image(getDisplay(), this.getClass().getClassLoader().getResourceAsStream("images/slider-selected.png")); //$NON-NLS-1$

		this.vSlider = new Image(getDisplay(), this.getClass().getClassLoader().getResourceAsStream("images/h-slider-normal.png")); //$NON-NLS-1$

		this.vSliderHover = new Image(getDisplay(), this.getClass().getClassLoader().getResourceAsStream("images/h-slider-hover.png")); //$NON-NLS-1$

		this.vSliderDrag = new Image(getDisplay(), this.getClass().getClassLoader().getResourceAsStream("images/h-slider-drag.png")); //$NON-NLS-1$

		this.vSliderSelected = new Image(getDisplay(), this.getClass().getClassLoader().getResourceAsStream("images/h-slider-selected.png")); //$NON-NLS-1$

		if ((style & SWT.VERTICAL) == SWT.VERTICAL) {

			this.orientation = SWT.VERTICAL;

			this.orientation = SWT.HORIZONTAL;

		}

		this.addListener(SWT.Dispose, new Listener() {

			@Override

			public void handleEvent(final Event event) {

				SWTGraphicUtil.dispose(TripleRangeSlider.this.slider);

				SWTGraphicUtil.dispose(TripleRangeSlider.this.sliderHover);

				SWTGraphicUtil.dispose(TripleRangeSlider.this.sliderDrag);

				SWTGraphicUtil.dispose(TripleRangeSlider.this.sliderSelected);

				SWTGraphicUtil.dispose(TripleRangeSlider.this.vSlider);

				SWTGraphicUtil.dispose(TripleRangeSlider.this.vSliderHover);

				SWTGraphicUtil.dispose(TripleRangeSlider.this.vSliderDrag);

				SWTGraphicUtil.dispose(TripleRangeSlider.this.vSliderSelected);

			}

		});

		addMouseListeners();

		addListener(SWT.KeyDown, new Listener() {

			@Override

			public void handleEvent(final Event event) {

				handleKeyDown(event);

			}

		});

		addPaintListener(new PaintListener() {

			@Override

			public void paintControl(final PaintEvent e) {

				drawWidget(e);

			}

		});

	}

	/**

	 * Add the mouse listeners (mouse up, mouse down, mouse move, mouse wheel)

	 */

	private void addMouseListeners() {

		addListener(SWT.MouseDown, new Listener() {

			@Override

			public void handleEvent(final Event e) {

				handleMouseDown(e);

			}

		});

		addListener(SWT.MouseUp, new Listener() {

			@Override

			public void handleEvent(final Event e) {

				handleMouseUp(e);

			}

		});

		addListener(SWT.MouseMove, new Listener() {

			@Override

			public void handleEvent(final Event e) {

				handleMouseMove(e);

			}

		});

		addListener(SWT.MouseWheel, new Listener() {

			@Override

			public void handleEvent(final Event e) {

				handleMouseWheel(e);

			}

		});

	}

	/**

	 * Code executed when the mouse is down

	 *

			this.dragInProgress = true;

			this.lastSelected = SELECTED_KNOB.UPPER;

			this.previousUpperValue = this.upperValue;

			this.dragInProgress = true;

			this.lastSelected = SELECTED_KNOB.LOWER;

			this.previousLowerValue = this.lowerValue;

			this.dragInProgress = true;

			this.lastSelected = SELECTED_KNOB.MIDDLE;

			this.previousMiddleValue = this.middleValue;

			this.dragInProgress = true;

			this.lastSelected = SELECTED_KNOB.MIDDLE;

			this.previousMiddleValue = this.middleValue;

			handleMouseMove(e);

		}

	}

	/**

	 * Code executed when the mouse is up

	 *

			if (this.lastSelected == SELECTED_KNOB.UPPER) {

				this.upperValue = this.previousUpperValue;

				if (this.middleValue > this.upperValue) this.middleValue = upperValue;

				this.lowerValue = this.previousLowerValue;

				if (this.middleValue < this.lowerValue) this.middleValue = lowerValue;

				this.middleValue = this.previousMiddleValue;

			}

			redraw();

		}

	}

	/**

	 * Fire all selection listeners

	 *

		}

		return true;

	}

	/**

	 * Code executed when the mouse pointer is moving

	 *

		this.upperHover = x >= this.coordUpper.x && x <= this.coordUpper.x + img.getBounds().width && y >= this.coordUpper.y && y <= this.coordUpper.y + img.getBounds().height;

		this.middleHover = x >= this.coordMiddle.x && x <= this.coordMiddle.x + img.getBounds().width && y >= this.coordMiddle.y && y <= this.coordMiddle.y + img.getBounds().height;

		this.lowerHover = x >= this.coordLower.x && x <= this.coordLower.x + img.getBounds().width && y >= this.coordLower.y && y <= this.coordLower.y + img.getBounds().height;

		if (this.dragInProgress) {

			if (this.orientation == SWT.HORIZONTAL) {

				final int mouseValue = (int) ((x - 9f) / computePixelSizeForHorizonalSlider()) + this.minimum;

				if (this.lastSelected == SELECTED_KNOB.UPPER) {

					this.upperValue = (int) (Math.ceil(mouseValue / this.increment) * this.increment) - this.increment;

					checkUpperValue();

					this.lowerValue = (int) (Math.ceil(mouseValue / this.increment) * this.increment) - this.increment;

					checkLowerValue();

					this.middleValue = (int) (Math.ceil(mouseValue / this.increment) * this.increment) - this.increment;

					checkMiddleValue();

				}

				final int mouseValue = (int) ((y - 9f) / computePixelSizeForVerticalSlider()) + this.minimum;

				if (this.lastSelected == SELECTED_KNOB.UPPER) {

					this.upperValue = (int) (Math.ceil(mouseValue / this.increment) * this.increment) - this.increment;

					checkUpperValue();

					this.lowerValue = (int) (Math.ceil(mouseValue / this.increment) * this.increment) - this.increment;

					checkLowerValue();

					this.middleValue = (int) (Math.ceil(mouseValue / this.increment) * this.increment) - this.increment;

					checkMiddleValue();

				}

			}

		}

		redraw();

	}

	/**

	 * Code executed when the mouse wheel is activated

	 *

		if (this.lastSelected == SELECTED_KNOB.NONE) {

			return;

		}

		if (this.lastSelected == SELECTED_KNOB.LOWER) {

			this.lowerValue += e.count * this.increment;

			checkLowerValue();

			redraw();

			this.upperValue += e.count * this.increment;

			checkUpperValue();

			redraw();

			this.middleValue += e.count * this.increment;

			checkMiddleValue();

			redraw();

		}

	}

	/**

	 * Check if the lower value is in ranges

	 */

			this.middleValue = this.upperValue;

		}

	}

	/**

	 * Check if the upper value is in ranges

	 */

			this.upperValue = this.lowerValue;

		}

	}

	/**

	 * Draws the widget

	 *

		e.gc.setAntialias(SWT.ON);

		if (this.orientation == SWT.HORIZONTAL) {

			drawHorizontalRangeSlider(e.gc);

			drawVerticalRangeSlider(e.gc);

		}

	}

	/**

	 * Draw the range slider (horizontal)

	 *

		this.coordMiddle = drawHorizontalKnob(gc, this.middleValue, SELECTED_KNOB.MIDDLE);

		this.coordLower = drawHorizontalKnob(gc, this.lowerValue, SELECTED_KNOB.LOWER);

	}

	/**

	 * Draw the background

	 *

	 */

	private void drawBackgroundHorizontal(final GC gc) {

		final Rectangle clientArea = this.getClientArea();

		gc.setBackground(getBackground());

		gc.fillRectangle(clientArea);

		if (isEnabled()) {

			gc.setForeground(getForeground());

			gc.setForeground(getDisplay().getSystemColor(SWT.COLOR_GRAY));

		}

		gc.drawRoundRectangle(9, 9, clientArea.width - 20, clientArea.height - 20, 3, 3);

		final float pixelSize = computePixelSizeForHorizonalSlider();

		final int startX = (int) (pixelSize * this.lowerValue);

		final int endX = (int) (pixelSize * this.upperValue);

		if (isEnabled()) {

			gc.setBackground(getForeground());

			gc.setBackground(getDisplay().getSystemColor(SWT.COLOR_GRAY));

		}

		gc.fillRectangle(12 + startX, 9, endX - startX - 6, clientArea.height - 20);

	}

	/**

	 * @return how many pixels corresponds to 1 point of value

	 */

	private float computePixelSizeForHorizonalSlider() {

		return (getClientArea().width - 20f) / (this.maximum - this.minimum);

	}

	/**

	 * Draw the bars

	 *

		final Rectangle clientArea = this.getClientArea();

		if (isEnabled()) {

			gc.setForeground(getForeground());

			gc.setForeground(getDisplay().getSystemColor(SWT.COLOR_GRAY));

		}

		final float pixelSize = computePixelSizeForHorizonalSlider();

		for (int i = 1; i < 10; i++) {

			final int x = (int) (9 + pixelSize * (this.maximum - this.minimum) / 10 * i);

			gc.drawLine(x, 4, x, 7);

			gc.drawLine(x, clientArea.height - 6, x, clientArea.height - 9);

		}

	}

	/**

	 * Draws an horizontal knob

	 *

		if (knob == SELECTED_KNOB.UPPER) {

			if (this.upperHover) {

				image = this.dragInProgress ? this.sliderDrag : this.sliderHover;

				image = this.sliderSelected;

				image = this.slider;

			}

			if (this.lowerHover) {

				image = this.dragInProgress ? this.sliderDrag : this.sliderHover;

				image = this.sliderSelected;

				image = this.slider;

			}

			if (this.middleHover) {

				image = this.dragInProgress ? this.sliderDrag : this.sliderHover;

				image = this.sliderSelected;

				image = this.slider;

			}

		}

		if (isEnabled()) {

			gc.drawImage(image, x + 5, getClientArea().height / 2 - this.slider.getBounds().height / 2);

			final Image temp = new Image(getDisplay(), image, SWT.IMAGE_DISABLE);

			gc.drawImage(temp, x + 5, getClientArea().height / 2 - this.slider.getBounds().height / 2);

			temp.dispose();

		}

		return new Point(x + 5, getClientArea().height / 2 - this.slider.getBounds().height / 2);

	}

	/**

	 * Draw the range slider (vertical)

	 *

		this.coordMiddle = drawVerticalKnob(gc, this.middleValue, SELECTED_KNOB.MIDDLE);

		this.coordLower = drawVerticalKnob(gc, this.lowerValue, SELECTED_KNOB.LOWER);

	}

	/**

	 * Draws the background

	 *

		final Rectangle clientArea = this.getClientArea();

		gc.setBackground(getBackground());

		gc.fillRectangle(clientArea);

		if (isEnabled()) {

			gc.setForeground(getForeground());

			gc.setForeground(getDisplay().getSystemColor(SWT.COLOR_GRAY));

		}

		gc.drawRoundRectangle(9, 9, clientArea.width - 20, clientArea.height - 20, 3, 3);

		final float pixelSize = computePixelSizeForVerticalSlider();

		final int startY = (int) (pixelSize * this.lowerValue);

		final int endY = (int) (pixelSize * this.upperValue);

		if (isEnabled()) {

			gc.setBackground(getForeground());

			gc.setBackground(getDisplay().getSystemColor(SWT.COLOR_GRAY));

		}

		gc.fillRectangle(9, 12 + startY, clientArea.width - 20, endY - startY - 6);

	}

	/**

	 * @return how many pixels corresponds to 1 point of value

	 */

	private float computePixelSizeForVerticalSlider() {

		return (getClientArea().height - 20f) / (this.maximum - this.minimum);

	}

	/**

	 * Draws the bars

	 *

		final Rectangle clientArea = this.getClientArea();

		if (isEnabled()) {

			gc.setForeground(getForeground());

			gc.setForeground(getDisplay().getSystemColor(SWT.COLOR_GRAY));

		}

		final float pixelSize = computePixelSizeForVerticalSlider();

		for (int i = 1; i < 10; i++) {

			final int y = (int) (9 + pixelSize * (this.maximum - this.minimum) / 10 * i);

			gc.drawLine(4, y, 7, y);

			gc.drawLine(clientArea.width - 6, y, clientArea.width - 9, y);

		}

	}

	/**

	 * Draws a vertical knob

	 *

	private Point drawVerticalKnob(final GC gc, final int value, final SELECTED_KNOB knob) {

		final float pixelSize = computePixelSizeForVerticalSlider();

		final int y = (int) (pixelSize * value);

		Image image;

		if (knob == SELECTED_KNOB.UPPER) {

			if (this.upperHover) {

				image = this.dragInProgress ? this.vSliderDrag : this.vSliderHover;

				image = this.vSliderSelected;

				image = this.vSlider;

			}

			if (this.lowerHover) {

				image = this.dragInProgress ? this.vSliderDrag : this.vSliderHover;

				image = this.vSliderSelected;

				image = this.vSlider;

			}

			if (this.middleHover) {

				image = this.dragInProgress ? this.vSliderDrag : this.vSliderHover;

				image = this.vSliderSelected;

				image = this.vSlider;

			}

		}

		if (isEnabled()) {

			gc.drawImage(image, getClientArea().width / 2 - 8, y + 2);

			final Image temp = new Image(getDisplay(), image, SWT.IMAGE_DISABLE);

			gc.drawImage(temp, getClientArea().width / 2 - 8, y + 2);

			temp.dispose();

		}

		return new Point(getClientArea().width / 2 - 8, y + 2);

	}

	/**

	 * Code executed when a key is typed

	 *

	 * @param event event

	 */

	private void handleKeyDown(final Event event) {

		boolean needRedraw = false;

		if (this.lastSelected == SELECTED_KNOB.NONE) {

			this.lastSelected = SELECTED_KNOB.LOWER;

		}

		switch (event.keyCode) {

		}

		if (needRedraw) {

			if (this.lastSelected == SELECTED_KNOB.UPPER) {

				checkUpperValue();

				checkLowerValue();

				checkMiddleValue();

			}

			redraw();

		}

	}

	/**

	 * Adds the listener to the collection of listeners who will be notified

	 * when the user changes the receiver's value, by sending it one of the

	 *

	 * @param listener the listener which should be notified

	 *

	 *                <li>ERROR_NULL_ARGUMENT - if the listener is null</li>

	 *                </ul>

	 *                <li>ERROR_WIDGET_DISPOSED - if the receiver has been

	 *                disposed</li>

	 *                <li>ERROR_THREAD_INVALID_ACCESS - if not called from the

		checkWidget();

		this.listeners.add(listener);

	}

	/**

	 * @see org.eclipse.swt.widgets.Composite#computeSize(int, int, boolean)

	 */

		if (this.orientation == SWT.HORIZONTAL) {

			if (wHint < 100) {

				width = 100;

				width = wHint;

			}

			if (hHint < 30) {

				height = 30;

				height = hHint;

			}

			if (wHint < 30) {

				width = 30;

				width = wHint;

			}

			if (hHint < 100) {

				height = 100;

				height = hHint;

			}

		}

		return new Point(width, height);

	}

	/**

	 * Returns the amount that the selected receiver's value will be modified by

	 * when the up/down (or right/left) arrows are pressed.

	 *

	 * @return the increment

	 *

	 *                <li>ERROR_WIDGET_DISPOSED - if the receiver has been

	 *                disposed</li>

	 *                <li>ERROR_THREAD_INVALID_ACCESS - if not called from the

		checkWidget();

		return this.increment;

	}

	/**

	 * Returns the 'lower selection', which is the lower receiver's position.

	 *

	 * @return the selection

	 *

	 *                <li>ERROR_WIDGET_DISPOSED - if the receiver has been

	 *                disposed</li>

	 *                <li>ERROR_THREAD_INVALID_ACCESS - if not called from the

	public SELECTED_KNOB getLastSelectedKnob() {

		return lastSelected;

	}

	/**

	 * Returns the 'middle selection', which is the middle receiver's position.

	 *

	 * @return the selection

	 *

	 *                <li>ERROR_WIDGET_DISPOSED - if the receiver has been

	 *                disposed</li>

	 *                <li>ERROR_THREAD_INVALID_ACCESS - if not called from the

	 *

	 * @return the maximum

	 *

	 *                <li>ERROR_WIDGET_DISPOSED - if the receiver has been

	 *                disposed</li>

	 *                <li>ERROR_THREAD_INVALID_ACCESS - if not called from the

		checkWidget();

		return this.maximum;

	}

	/**

	 * Returns the minimum value which the receiver will allow.

	 *

	 * @return the minimum

	 *

	 *                <li>ERROR_WIDGET_DISPOSED - if the receiver has been

	 *                disposed</li>

	 *                <li>ERROR_THREAD_INVALID_ACCESS - if not called from the

		checkWidget();

		return this.minimum;

	}

	/**

	 * Returns the amount that the selected receiver's value will be modified by

	 * when the page increment/decrement areas are selected.

	 *

	 * @return the page increment

	 *

	 *                <li>ERROR_WIDGET_DISPOSED - if the receiver has been

	 *                disposed</li>

	 *                <li>ERROR_THREAD_INVALID_ACCESS - if not called from the

		checkWidget();

		return this.pageIncrement;

	}

	/**

	 * Returns the 'selection', which is an array where the first element is the

	 * lower selection, and the second element is the upper selection

	 *

	 * @return the selection

	 *

	 *                <li>ERROR_WIDGET_DISPOSED - if the receiver has been

	 *                disposed</li>

	 *                <li>ERROR_THREAD_INVALID_ACCESS - if not called from the

		selection[2] = this.upperValue;

		return selection;

	}

	/**

	 * Returns the 'upper selection', which is the upper receiver's position.

	 *

	 * @return the selection

	 *

	 *                <li>ERROR_WIDGET_DISPOSED - if the receiver has been

	 *                disposed</li>

	 *                <li>ERROR_THREAD_INVALID_ACCESS - if not called from the

		checkWidget();

		return this.upperValue;

	}

	/**

	 * Removes the listener from the collection of listeners who will be

	 * notified when the user changes the receiver's value.

	 *