Laboratoire ICAR » Plateforme TXM

	/**

	 * enable/disable system notifications when TXM ends a long task

	 */

	public static final String SHOW_NOTIFICATIONS = "show_notifications"; //$NON-NLS-1$

		preferences.putBoolean(SHOW_NOTIFICATIONS, false);

		this.addField(new BooleanFieldEditor(RCPPreferences.SHOW_NOTIFICATIONS, "Show a notification window when TXM ends a long task", BooleanFieldEditor.SEPARATE_LABEL, this.getFieldEditorParent()));

import org.eclipse.osgi.util.NLS;

import org.txm.core.preferences.TXMPreferences;

import org.txm.rcp.notifications.SimpleNotification;

import org.txm.rcp.preferences.RCPPreferences;

import org.txm.rcp.preferences.UserPreferencePage;

	//	@Deprecated

	//	public static JobHandler executeScript(String scriptFilePath,

	//			File paramFile) {

	//		BaseOldParameters params = null;

	//		try {

	//			params = new BaseOldParameters(paramFile);

	//		} catch (Exception e1) {

	//			org.txm.utils.logger.Log.printStackTrace(e1);

	//			System.out.println("Error while reading import parameters from: "+paramFile);

	//			return null;

	//		}

	//		return executeScript(scriptFilePath, params);

	//	}

		//		if (CQPSearchEngine.isInitialized()) {

		//			Toolbox.getEngineManager(EngineType.SEARCH).stopEngines();

		//		}

		final long time = System.currentTimeMillis();

					//					if (!CQPSearchEngine.isInitialized()) {

					//						try {

					//							SearchEnginesManager.getCQPSearchEngine().start(monitor);

					//						} catch (Exception e) {

					//							// TODO Auto-generated catch block

					//							e.printStackTrace();

					//						}

					//					}

							if (RCPPreferences.getInstance().getBoolean(RCPPreferences.SHOW_NOTIFICATIONS) 

									&& (System.currentTimeMillis() - time) > 60000) {

								String message = NLS.bind("The {0} corpus was succesfully imported", project.getName());

								if (project.isDirty()) {

									message = NLS.bind("The {0} corpus was not imported correctly. Please check console messages.", project.getName());

								}

								new SimpleNotification(Display.getCurrent(), "Import done", message).open();

							}

package org.txm.rcp.notifications;

import org.eclipse.core.runtime.IProgressMonitor;

import org.eclipse.core.runtime.IStatus;

import org.eclipse.core.runtime.Status;

import org.eclipse.core.runtime.jobs.Job;

import org.eclipse.jface.resource.JFaceResources;

import org.eclipse.jface.resource.LocalResourceManager;

import org.eclipse.jface.window.Window;

import org.eclipse.swt.SWT;

import org.eclipse.swt.events.ControlAdapter;

import org.eclipse.swt.events.ControlEvent;

import org.eclipse.swt.events.MouseAdapter;

import org.eclipse.swt.events.MouseEvent;

import org.eclipse.swt.events.MouseTrackAdapter;

import org.eclipse.swt.graphics.Color;

import org.eclipse.swt.graphics.GC;

import org.eclipse.swt.graphics.Image;

import org.eclipse.swt.graphics.Point;

import org.eclipse.swt.graphics.Rectangle;

import org.eclipse.swt.graphics.Region;

import org.eclipse.swt.layout.GridData;

import org.eclipse.swt.layout.GridLayout;

import org.eclipse.swt.widgets.Composite;

import org.eclipse.swt.widgets.Control;

import org.eclipse.swt.widgets.Display;

import org.eclipse.swt.widgets.Label;

import org.eclipse.swt.widgets.Monitor;

import org.eclipse.swt.widgets.Shell;

/**

 * A popup window with a title bar and message area for displaying notifications.

 * 

 * @author Benjamin Pasero

 * @author Mik Kersten

 * @author Steffen Pingel

 * @since 3.7

 */

public abstract class AbstractNotificationPopup extends Window {

	private static final int TITLE_HEIGHT = 24;

	private static final int MAX_WIDTH = 400;

	private static final int MIN_HEIGHT = 100;

	private static final long DEFAULT_DELAY_CLOSE = 8 * 1000;

	private static final int PADDING_EDGE = 5;

	private long delayClose = DEFAULT_DELAY_CLOSE;

	protected LocalResourceManager resources;

	private final Display display;

	private Shell shell;

	private Region lastUsedRegion;

	private Image lastUsedBgImage;

	private final Job closeJob = new Job("Closing") {

		@Override

		protected IStatus run(IProgressMonitor monitor) {

			if (!display.isDisposed()) {

				display.asyncExec(new Runnable() {

					public void run() {

						Shell shell = AbstractNotificationPopup.this.getShell();

						if (shell == null || shell.isDisposed()) {

							return;

						}

						if (isMouseOver(shell)) {

							scheduleAutoClose();

							return;

						}

						AbstractNotificationPopup.this.closeFade();

					}

				});

			}

			if (monitor.isCanceled()) {

				return Status.CANCEL_STATUS;

			}

			return Status.OK_STATUS;

		}

	};

	private final boolean respectDisplayBounds = true;

	private final boolean respectMonitorBounds = true;

	private boolean fadingEnabled;

	public AbstractNotificationPopup(Display display) {

		this(display, SWT.NO_TRIM | SWT.ON_TOP | SWT.NO_FOCUS | SWT.TOOL);

	}

	public AbstractNotificationPopup(Display display, int style) {

		super(new Shell(display));

		setShellStyle(style);

		this.display = display;

		resources = new LocalResourceManager(JFaceResources.getResources());

//		initResources();

		closeJob.setSystem(true);

	}

	public boolean isFadingEnabled() {

		return fadingEnabled;

	}

	public void setFadingEnabled(boolean fadingEnabled) {

		this.fadingEnabled = fadingEnabled;

	}

	/**

	 * Override to return a customized name. Default is to return the name of the product, specified by the -name (e.g.

	 * "Eclipse SDK") command line parameter that's associated with the product ID (e.g. "org.eclipse.sdk.ide"). Strips

	 * the trailing "SDK" for any name, since this part of the label is considered visual noise.

	 * 

	 * @return the name to be used in the title of the popup.

	 */

	protected String getPopupShellTitle() {

		return "TXM";

	}

	protected Image getPopupShellImage(int maximumHeight) {

		return null;

	}

	/**

	 * Override to populate with notifications.

	 * 

	 * @param parent

	 */

	protected void createContentArea(Composite parent) {

		// empty by default

	}

	/**

	 * Override to customize the title bar

	 */

	protected void createTitleArea(Composite parent) {

		((GridData) parent.getLayoutData()).heightHint = TITLE_HEIGHT;

		Label titleImageLabel = new Label(parent, SWT.NONE);

		titleImageLabel.setImage(getPopupShellImage(TITLE_HEIGHT));

		Label titleTextLabel = new Label(parent, SWT.NONE);

		titleTextLabel.setText(getPopupShellTitle());

//		titleTextLabel.setForeground(getTitleForeground());

//		titleTextLabel.setForeground(color.getTitleText());

		titleTextLabel.setLayoutData(new GridData(SWT.FILL, SWT.CENTER, true, true));

		titleTextLabel.setCursor(parent.getDisplay().getSystemCursor(SWT.CURSOR_HAND));

		final Label button = new Label(parent, SWT.NONE);

		button.setText("close");

		MouseAdapter closeAdapter = new MouseAdapter() {

			@Override

			public void mouseUp(MouseEvent e) {

				close();

				setReturnCode(CANCEL);

			}

		};

		button.addMouseListener(closeAdapter);

		titleTextLabel.addMouseListener(closeAdapter);

		titleImageLabel.addMouseListener(closeAdapter);

	}

	@Override

	protected void configureShell(Shell newShell) {

		super.configureShell(newShell);

		shell = newShell;

//		newShell.setBackground(color.getBorder());

	}

	@Override

	public void create() {

		super.create();

		addRegion(shell);

	}

	private void addRegion(Shell shell) {

		Region region = new Region();

		Point s = shell.getSize();

		/* Add entire Shell */

		region.add(0, 0, s.x, s.y);

		/* Subtract Top-Left Corner */

		region.subtract(0, 0, 5, 1);

		region.subtract(0, 1, 3, 1);

		region.subtract(0, 2, 2, 1);

		region.subtract(0, 3, 1, 1);

		region.subtract(0, 4, 1, 1);

		/* Subtract Top-Right Corner */

		region.subtract(s.x - 5, 0, 5, 1);

		region.subtract(s.x - 3, 1, 3, 1);

		region.subtract(s.x - 2, 2, 2, 1);

		region.subtract(s.x - 1, 3, 1, 1);

		region.subtract(s.x - 1, 4, 1, 1);

		/* Subtract Bottom-Left Corner */

		region.subtract(0, s.y, 5, 1);

		region.subtract(0, s.y - 1, 3, 1);

		region.subtract(0, s.y - 2, 2, 1);

		region.subtract(0, s.y - 3, 1, 1);

		region.subtract(0, s.y - 4, 1, 1);

		/* Subtract Bottom-Right Corner */

		region.subtract(s.x - 5, s.y - 0, 5, 1);

		region.subtract(s.x - 3, s.y - 1, 3, 1);

		region.subtract(s.x - 2, s.y - 2, 2, 1);

		region.subtract(s.x - 1, s.y - 3, 1, 1);

		region.subtract(s.x - 1, s.y - 4, 1, 1);

		/* Dispose old first */

		if (shell.getRegion() != null) {

			shell.getRegion().dispose();

		}

		/* Apply Region */

		shell.setRegion(region);

		/* Remember to dispose later */

		lastUsedRegion = region;

	}

	private boolean isMouseOver(Shell shell) {

		if (display.isDisposed()) {

			return false;

		}

		return shell.getBounds().contains(display.getCursorLocation());

	}

	@Override

	public int open() {

		if (shell == null || shell.isDisposed()) {

			shell = null;

			create();

		}

		constrainShellSize();

		shell.setLocation(fixupDisplayBounds(shell.getSize(), shell.getLocation()));

		if (isFadingEnabled()) {

			shell.setAlpha(0);

		}

		shell.setVisible(true);

//		fadeJob = AnimationUtil.fadeIn(shell, new IFadeListener() {

//			public void faded(Shell shell, int alpha) {

//				if (shell.isDisposed()) {

//					return;

//				}

//

//				if (alpha == 255) {

//					scheduleAutoClose();

//				}

//			}

//		});

		return Window.OK;

	}

	protected void scheduleAutoClose() {

		if (delayClose > 0) {

			closeJob.schedule(delayClose);

		}

	}

	@Override

	protected Control createContents(Composite parent) {

		((GridLayout) parent.getLayout()).marginWidth = 1;

		((GridLayout) parent.getLayout()).marginHeight = 1;

		/* Outer Composite holding the controls */

		final Composite outerCircle = new Composite(parent, SWT.NO_FOCUS);

		outerCircle.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, true));

		outerCircle.setBackgroundMode(SWT.INHERIT_FORCE);

		outerCircle.addControlListener(new ControlAdapter() {

			@Override

			public void controlResized(ControlEvent e) {

				Rectangle clArea = outerCircle.getClientArea();

				lastUsedBgImage = new Image(outerCircle.getDisplay(), clArea.width, clArea.height);

				GC gc = new GC(lastUsedBgImage);

				/* Gradient */

				drawGradient(gc, clArea);

				/* Fix Region Shape */

				fixRegion(gc, clArea);

				gc.dispose();

				Image oldBGImage = outerCircle.getBackgroundImage();

				outerCircle.setBackgroundImage(lastUsedBgImage);

				if (oldBGImage != null) {

					oldBGImage.dispose();

				}

			}

			private void drawGradient(GC gc, Rectangle clArea) {

//				gc.setForeground(color.getGradientBegin());

//				gc.setBackground(color.getGradientEnd());

//				gc.fillGradientRectangle(clArea.x, clArea.y, clArea.width, clArea.height, true);

			}

			private void fixRegion(GC gc, Rectangle clArea) {

//				gc.setForeground(color.getBorder());

				/* Fill Top Left */

				gc.drawPoint(2, 0);

				gc.drawPoint(3, 0);

				gc.drawPoint(1, 1);

				gc.drawPoint(0, 2);

				gc.drawPoint(0, 3);

				/* Fill Top Right */

				gc.drawPoint(clArea.width - 4, 0);

				gc.drawPoint(clArea.width - 3, 0);

				gc.drawPoint(clArea.width - 2, 1);

				gc.drawPoint(clArea.width - 1, 2);

				gc.drawPoint(clArea.width - 1, 3);

				/* Fill Bottom Left */

				gc.drawPoint(2, clArea.height - 0);

				gc.drawPoint(3, clArea.height - 0);

				gc.drawPoint(1, clArea.height - 1);

				gc.drawPoint(0, clArea.height - 2);

				gc.drawPoint(0, clArea.height - 3);

				/* Fill Bottom Right */

				gc.drawPoint(clArea.width - 4, clArea.height - 0);

				gc.drawPoint(clArea.width - 3, clArea.height - 0);

				gc.drawPoint(clArea.width - 2, clArea.height - 1);

				gc.drawPoint(clArea.width - 1, clArea.height - 2);

				gc.drawPoint(clArea.width - 1, clArea.height - 3);

			}

		});

		GridLayout layout = new GridLayout(1, false);

		layout.marginWidth = 0;

		layout.marginHeight = 0;

		layout.verticalSpacing = 0;

		outerCircle.setLayout(layout);

		/* Title area containing label and close button */

		final Composite titleCircle = new Composite(outerCircle, SWT.NO_FOCUS);

		titleCircle.setLayoutData(new GridData(SWT.FILL, SWT.CENTER, true, false));

		titleCircle.setBackgroundMode(SWT.INHERIT_FORCE);

		layout = new GridLayout(4, false);

		layout.marginWidth = 3;

		layout.marginHeight = 0;

		layout.verticalSpacing = 5;

		layout.horizontalSpacing = 3;

		titleCircle.setLayout(layout);

		/* Create Title Area */

		createTitleArea(titleCircle);

		/* Outer composite to hold content controlls */

		Composite outerContentCircle = new Composite(outerCircle, SWT.NONE);

		outerContentCircle.setBackgroundMode(SWT.INHERIT_FORCE);

		layout = new GridLayout(1, false);

		layout.marginWidth = 0;

		layout.marginHeight = 0;

		outerContentCircle.setLayout(layout);

		outerContentCircle.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, true));

		outerContentCircle.setBackground(outerCircle.getBackground());

		/* Middle composite to show a 1px black line around the content controls */

		Composite middleContentCircle = new Composite(outerContentCircle, SWT.NO_FOCUS);

		middleContentCircle.setBackgroundMode(SWT.INHERIT_FORCE);

		layout = new GridLayout(1, false);

		layout.marginWidth = 0;

		layout.marginHeight = 0;

		layout.marginTop = 1;

		middleContentCircle.setLayout(layout);

		middleContentCircle.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, true));

//		middleContentCircle.setBackground(color.getBorder());

		/* Inner composite containing the content controls */

		Composite innerContent = new Composite(middleContentCircle, SWT.NO_FOCUS);

		innerContent.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, true));

		innerContent.setBackgroundMode(SWT.INHERIT_FORCE);

		layout = new GridLayout(1, false);

		layout.marginWidth = 0;

		layout.marginHeight = 5;

		layout.marginLeft = 5;

		layout.marginRight = 5;

		innerContent.setLayout(layout);

		innerContent.setBackground(shell.getDisplay().getSystemColor(SWT.COLOR_WHITE));

		/* Content Area */

		createContentArea(innerContent);

		setNullBackground(outerCircle);

		return outerCircle;

	}

	private void setNullBackground(final Composite outerCircle) {

		for (Control c : outerCircle.getChildren()) {

			c.setBackground(null);

			if (c instanceof Composite) {

				setNullBackground((Composite) c);

			}

		}

	}

	@Override

	protected void initializeBounds() {

		Rectangle clArea = getPrimaryClientArea();

		Point initialSize = shell.computeSize(SWT.DEFAULT, SWT.DEFAULT);

		int height = Math.max(initialSize.y, MIN_HEIGHT);

		int width = Math.min(initialSize.x, MAX_WIDTH);

		Point size = new Point(width, height);

		shell.setLocation(clArea.width + clArea.x - size.x - PADDING_EDGE, clArea.height + clArea.y - size.y

				- PADDING_EDGE);

		shell.setSize(size);

	}

	private Rectangle getPrimaryClientArea() {

		Monitor primaryMonitor = shell.getDisplay().getPrimaryMonitor();

		return (primaryMonitor != null) ? primaryMonitor.getClientArea() : shell.getDisplay().getClientArea();

	}

	public void closeFade() {

//		if (fadeJob != null) {

//			fadeJob.cancelAndWait(false);

//		}

//		fadeJob = AnimationUtil.fadeOut(getShell(), new IFadeListener() {

//			public void faded(Shell shell, int alpha) {

//				if (!shell.isDisposed()) {

//					if (alpha == 0) {

//						shell.close();

//					} else if (isMouseOver(shell)) {

//						if (fadeJob != null) {

//							fadeJob.cancelAndWait(false);

//						}

//						fadeJob = AnimationUtil.fastFadeIn(shell, new IFadeListener() {

//							public void faded(Shell shell, int alpha) {

//								if (shell.isDisposed()) {

//									return;

//								}

//

//								if (alpha == 255) {

//									scheduleAutoClose();

//								}

//							}

//						});

//					}

//				}

//			}

//		});

	}

	@Override

	public boolean close() {

		resources.dispose();

		if (lastUsedRegion != null) {

			lastUsedRegion.dispose();

		}

		if (lastUsedBgImage != null && !lastUsedBgImage.isDisposed()) {

			lastUsedBgImage.dispose();

		}

		return super.close();

	}

	public long getDelayClose() {

		return delayClose;

	}

	public void setDelayClose(long delayClose) {

		this.delayClose = delayClose;

	}

	private Point fixupDisplayBounds(Point tipSize, Point location) {

		if (respectDisplayBounds) {

			Rectangle bounds;

			Point rightBounds = new Point(tipSize.x + location.x, tipSize.y + location.y);

			if (respectMonitorBounds) {

				bounds = shell.getDisplay().getPrimaryMonitor().getBounds();

			} else {

				bounds = getPrimaryClientArea();

			}

			if (!(bounds.contains(location) && bounds.contains(rightBounds))) {

				if (rightBounds.x > bounds.x + bounds.width) {

					location.x -= rightBounds.x - (bounds.x + bounds.width);

				}

				if (rightBounds.y > bounds.y + bounds.height) {

					location.y -= rightBounds.y - (bounds.y + bounds.height);

				}

				if (location.x < bounds.x) {

					location.x = bounds.x;

				}

				if (location.y < bounds.y) {

					location.y = bounds.y;

				}

			}

		}

		return location;

	}

}

package org.txm.rcp.notifications;

import org.eclipse.swt.SWT;

import org.eclipse.swt.layout.GridData;

import org.eclipse.swt.layout.GridLayout;

import org.eclipse.swt.widgets.Composite;

import org.eclipse.swt.widgets.Display;

import org.eclipse.swt.widgets.Label;

/**

 * Sample Notification Popup Class

 */

public class SimpleNotification extends AbstractNotificationPopup {

    private String title;

	private String message;

	/**

     * @param display

     */

    public SimpleNotification(Display display, String title, String message) {

        super(display);

        this.title = title;

        this.message = message;

    }

    @Override

    protected void createContentArea(Composite parent) {

        Composite container = new Composite(parent, SWT.NULL);

        GridData data = new GridData(SWT.FILL, SWT.CENTER, true, false, 1, 1);

        container.setLayoutData(data);

        container.setLayout(new GridLayout(1, false));

        Label successMsg = new Label(container, SWT.NULL);

        successMsg.setText(message);

//        new Label(container, SWT.NONE);

//        Label testLabel1 = new Label(container, SWT.NONE);

//        testLabel1.setText("This is a Test Label");

//        FontData fontData = testLabel1.getFont().getFontData()[0];

//        Font font = new Font(Display.getCurrent(),

//                new FontData(fontData.getName(), fontData.getHeight(), SWT.BOLD));

//        testLabel1.setFont(font);

//

//        String url = "https://www.google.com/";

//

//        Link restEP = new Link(container, SWT.WRAP | SWT.LEFT);

//        restEP.setText(createUrl(url));

//        GridData linkData = new GridData();

//        linkData.widthHint = 400;

//        restEP.setLayoutData(linkData);

//        restEP.addSelectionListener(new SelectionAdapter() {

//

//            @Override

//            public void widgetSelected(SelectionEvent e) {

//                Program.launch(url);

//            }

//

//        });

//            

        new Label(container, SWT.NONE);

    }

    @Override

    protected String getPopupShellTitle() {

        return title;

    }

}

Export-Package: junit.extensions,

 junit.framework,

 junit.runner,

 junit.textui,

 org.apache.commons.cli,

 org.apache.commons.lang,

 org.apache.commons.lang.builder,

 org.apache.commons.lang.enum,

 org.apache.commons.lang.enums,

 org.apache.commons.lang.exception,

 org.apache.commons.lang.math,

 org.apache.commons.lang.mutable,

 org.apache.commons.lang.text,

 org.apache.commons.lang.time,

 org.apache.log4j,

 org.apache.log4j.chainsaw,

 org.apache.log4j.config,

 org.apache.log4j.helpers,

 org.apache.log4j.jdbc,

 org.apache.log4j.jmx,

 org.apache.log4j.lf5,

 org.apache.log4j.lf5.util,

 org.apache.log4j.lf5.viewer,

 org.apache.log4j.lf5.viewer.categoryexplorer,

 org.apache.log4j.lf5.viewer.configure,

 org.apache.log4j.net,

 org.apache.log4j.nt,

 org.apache.log4j.or,

 org.apache.log4j.or.jms,

 org.apache.log4j.or.sax,

 org.apache.log4j.spi,

 org.apache.log4j.varia,

 org.apache.log4j.xml,

 org.eclipse.jface.fieldassist,

 org.hamcrest,

 org.hamcrest.core,

 org.hamcrest.internal,

 org.junit,

 org.junit.experimental.results,

 org.junit.experimental.runners,

 org.junit.experimental.theories,

 org.junit.experimental.theories.internal,

 org.junit.experimental.theories.suppliers,

 org.junit.internal,

 org.junit.internal.builders,

 org.junit.internal.matchers,

 org.junit.internal.requests,

 org.junit.internal.runners,

 org.junit.internal.runners.model,

 org.junit.internal.runners.statements,

 org.junit.matchers,

 org.junit.runner,

 org.junit.runner.manipulation,

 org.junit.runner.notification,

 org.junit.runners,

 org.junit.runners.model,

 org.txm.rcp,

 org.txm.rcp.actions,

 org.txm.rcp.adapters,

 org.txm.rcp.commands,

 org.txm.rcp.commands.editor,

 org.txm.rcp.commands.function,

 org.txm.rcp.commands.queryview,

 org.txm.rcp.commands.workspace,

 org.txm.rcp.corpuswizard,

 org.txm.rcp.editors,

 org.txm.rcp.editors.adaptableDataStructure,

 org.txm.rcp.editors.imports,

 org.txm.rcp.editors.imports.sections,

 org.txm.rcp.editors.input,

 org.txm.rcp.editors.listeners,

 org.txm.rcp.handlers,

 org.txm.rcp.handlers.export,

 org.txm.rcp.handlers.files,

 org.txm.rcp.handlers.results,

 org.txm.rcp.handlers.scripts,

 org.txm.rcp.jface,

 org.txm.rcp.log,

 org.txm.rcp.menu,

 org.txm.rcp.messages,

 org.txm.rcp.notifications,

 org.txm.rcp.p2.plugins,

 org.txm.rcp.perspective,

 org.txm.rcp.preferences,

 org.txm.rcp.splashHandlers,

 org.txm.rcp.svg,

 org.txm.rcp.swt,

 org.txm.rcp.swt.dialog,

 org.txm.rcp.swt.listeners,

 org.txm.rcp.swt.provider,

 org.txm.rcp.swt.toolbar,

 org.txm.rcp.swt.widget,

 org.txm.rcp.swt.widget.parameters,

 org.txm.rcp.swt.widget.preferences,

 org.txm.rcp.swt.widget.structures,

 org.txm.rcp.testers,

 org.txm.rcp.utils,

 org.txm.rcp.views,

 org.txm.rcp.views.cmdparameters,

 org.txm.rcp.views.corpora,

 org.txm.rcp.views.debug,

 org.txm.rcp.views.fileexplorer,

 org.txm.rcp.wizard,

 swing2swt.layout