Laboratoire ICAR » Plateforme TXM

	private GLComposite lowerControlsArea;

		return lowerControlsArea;

		lowerControlsArea = getBottomToolbar().installGLComposite(EditionUIMessages.controls, 15, false);

		lowerControlsArea.setLayoutData(new GridData(GridData.FILL, GridData.FILL, true, false));

		new Label(lowerControlsArea, SWT.NONE).setText("  "); //$NON-NLS-1$

		editionsChooser = new Button(lowerControlsArea, SWT.PUSH);

		GLComposite pageNavigationComposite = new GLComposite(lowerControlsArea, SWT.NONE, EditionUIMessages.pageButtons);

		GLComposite textNavigationComposite = new GLComposite(lowerControlsArea, SWT.NONE, EditionUIMessages.textButtons);

			lowerControlsArea.layout();

package org.txm.edition.rcp.editors;

import java.util.List;

import org.eclipse.swt.SWT;

import org.eclipse.swt.events.SelectionEvent;

import org.eclipse.swt.events.SelectionListener;

import org.eclipse.swt.layout.GridData;

import org.eclipse.swt.widgets.Button;

import org.eclipse.swt.widgets.Composite;

import org.txm.objects.Match;

import org.txm.rcp.IImageKeys;

import org.txm.rcp.swt.widget.AssistedChoiceQueryWidget;

import org.txm.rcp.swt.widget.NewNavigationWidget;

import org.txm.searchengine.core.IQuery;

import org.txm.searchengine.core.Selection;

import org.txm.searchengine.cqp.corpus.MainCorpus;

import org.txm.searchengine.cqp.corpus.QueryResult;

import org.txm.searchengine.cqp.corpus.query.CQLQuery;

import org.txm.utils.logger.Log;

public class SearchEditionToolbar {

	private GridData searchGdata;

	private AssistedChoiceQueryWidget searchText;

	/**

	 * search result

	 */

	protected Selection searchResult;

	/**

	 * search result index

	 */

	protected int searchIndex;

	private NewNavigationWidget searchNagigation;

	private GridData searchGdata2;

	Composite lowerControlsArea;

	MainCorpus mcorpus;

	SynopticEditionEditor editor;

	public void init(Composite lowerControlsArea, MainCorpus mcorpus, SynopticEditionEditor editor) {

		this.lowerControlsArea = lowerControlsArea;

		this.mcorpus = mcorpus;

		this.editor = editor;

		Button searchButton = new Button(lowerControlsArea, SWT.PUSH);

		searchButton.setImage(IImageKeys.getImage(IImageKeys.ACTION_SEARCH));

		searchButton.addSelectionListener(new SelectionListener() {

			@Override

			public void widgetSelected(SelectionEvent e) {

				if (searchGdata.widthHint == 0) {

					searchGdata.minimumWidth = searchGdata.widthHint = 250;

					searchGdata2.minimumWidth = searchGdata2.widthHint = 250;

					lowerControlsArea.layout();

				}

				else if (searchText.getQuery() != null) {

					Log.info("Searching " + searchText.getQuery());

					IQuery q = searchText.getQuery();

					try {

						Selection tmp = q.getSearchEngine().query(mcorpus, q, "SEARCH", false);

						if (tmp.getNMatch() > 0) {

							searchResult = tmp;

							searchIndex = 0;

							String wordid = editor.getEditionPanel(0).getCurrentPage().getWordId();

							String text = editor.getEditionPanel(0).getCurrentPage().getEdition().getText().getName();

							if (wordid != null && text != null) {

								QueryResult rez2 = mcorpus.query(new CQLQuery("[_.text_id=\"" + text + "\" & id=\"" + wordid + "\"]"), "SEARCHINIT", false);

								if (rez2.getNMatch() > 0) {

									int p = rez2.getMatch(0).getStart();

									List<? extends Match> matches = searchResult.getMatches();

									for (int i = 0; i < matches.size(); i++) {

										if (p < matches.get(i).getStart()) {

											searchIndex = i - 1; // previous index was the one

											break;

										}

									}

								}

							}

							searchNagigation.setEnabled(true);

							searchNagigation.setCurrentPosition(searchIndex);

							searchNagigation.setMinPosition(1);

							searchNagigation.setMaxPosition(tmp.getNMatch());

							searchNagigation.refresh();

							Log.info("" + searchResult.getNMatch() + " matches.");

						}

					}

					catch (Exception e1) {

						// TODO Auto-generated catch block

						e1.printStackTrace();

					}

				}

			}

			@Override

			public void widgetDefaultSelected(SelectionEvent e) {}

		});

		searchText = new AssistedChoiceQueryWidget(lowerControlsArea, SWT.NONE, mcorpus);

		searchGdata = new GridData(GridData.CENTER, GridData.FILL, false, false);

		searchGdata.minimumWidth = 0;

		searchGdata.widthHint = 0;

		searchText.setLayoutData(searchGdata);

		searchNagigation = new NewNavigationWidget(lowerControlsArea, SWT.NONE) {

			@Override

			public void refresh() {

				super.refresh();

				searchIndex = this.getCurrentPosition();

				showCurrentSearchMatch();

				// Log.info("showing the " + index + " match.");

			}

		};

		searchGdata2 = new GridData(GridData.CENTER, GridData.FILL, false, false);

		searchGdata2.minimumWidth = 0;

		searchGdata2.widthHint = 0;

		searchNagigation.setLayoutData(searchGdata2);

		searchNagigation.setEnabled(false);

	}

	protected void showCurrentSearchMatch() {

		if (searchResult != null && searchIndex >= 0) {

			String text = "";

			String wordid = "";

			editor.getEditionPanel(0).backToText(editor.getResult().getProject().getText(text), wordid);

		}

	}

}

	 * default behavior is not silent

		return delete(false);

	}

	/**

	 * Deletes the object from its parent, also deletes the children. The <code>TXMResult.clean()</code> methods of this result and children results are applied before the deletion.

	 * 

	 * @param silent no info message if silent is true

	 * @return

	 */

	public final boolean delete(boolean silent) {

				c.delete(silent); // should call parent.removeResult(child)

			if ((this.isVisible()

					&& !silent) || Log.isLoggingFineLevel()) {