Laboratoire ICAR » Plateforme TXM

			}

		}

			Tpager.start();

		}

		if (multithread) Tcompiler.join(); // wait for both threads to end

			Tpager.join();

		}

		if (isSuccessful) { // all done TODO remove this code when Text._compute() will be implemented

			}

			project.setDoUpdate(false, false);

import org.eclipse.swt.widgets.ToolItem;

import org.txm.annotation.rcp.messages.AnnotationUIMessages;

import org.txm.concordance.core.functions.Concordance;

import org.txm.core.results.TXMResult;

import org.txm.objects.Text;

import org.txm.rcp.commands.workspace.UpdateCorpus;

import org.txm.rcp.editors.TXMEditorExtension;

import org.txm.rcp.messages.TXMUIMessages;

import org.txm.rcp.utils.JobHandler;

import org.txm.rcp.views.corpora.CorporaView;

			try {

				Object o = celement.createExecutableExtension("class"); //$NON-NLS-1$

				AnnotationArea aa = (AnnotationArea) o;

					continue;

				}

				Log.finer("Installing AnnotationExtension: " + aa.getName());

				});

			}

			catch (Exception exx) {

			}

		}

					notifyDoSave();

				}

				catch (Exception e1) {

				}

			}

						return Status.OK_STATUS;

					}

				} catch(ThreadDeath ex) {

					return Status.CANCEL_STATUS;

				}

			}

		if (this.section != null && !section.isDisposed()) {

			CorpusCommandPreferences concPrefs = project.getCommandPreferences("concordance");

			concPrefs.set("context_limits_type", "list");

			concPrefs.set("view_reference_pattern", 

					ReferencePattern.referenceToString(

			}

			this.setDirty(this.dirty);

		}

		catch (Throwable e) {

			Log.severe(TXMCoreMessages.bind("TXMEditor.createPartControl(): can not create the editor for result {0}.", this.getResult())); //$NON-NLS-1$

		// -configuration is set

		try {

			Log.info("Looking for TXM updates...");

			ProvisioningUI pui = ProvisioningUI.getDefaultUI();

			String profileId = pui.getProfileId();

import java.io.File;

import java.net.URL;

import org.eclipse.core.commands.AbstractHandler;

import org.eclipse.core.commands.ExecutionEvent;

import org.txm.rcp.editors.TXMBrowserEditor;

import org.txm.rcp.messages.TXMUIMessages;

import org.txm.rcp.swt.dialog.LastOpened;

import org.txm.utils.logger.Log;

// TODO: Auto-generated Javadoc

				url = localfile.toURI().toURL();

			} else {

				url = new URL(filepath);

			}

			IWorkbenchWindow window = PlatformUI.getWorkbench().getActiveWorkbenchWindow();

			IWorkbenchPage page = window.getActivePage();

	protected static FileHandler fh;

	public static int MAX_LINE_LENGTH = 1000;

	/**

	 * The CONSOLE flags indicates if messages with level < INFO are printed in

	 * console

	 * @param message

	 */

	public static void severe(String message) {

		if (message.length()> MAX_LINE_LENGTH) { // cut if too long

			message = message.substring(0, MAX_LINE_LENGTH) + "[...]";

		if (Level.SEVERE.intValue() >= txm.getLevel().intValue()) {

			System.out.println(message);

	 * @param message

	 */

	public static void warning(String message) {

		if (message.length()> MAX_LINE_LENGTH) { // cut if too long

			message = message.substring(0, MAX_LINE_LENGTH) + "[...]";

		if (Level.WARNING.intValue() >= txm.getLevel().intValue()) {

			System.out.println(message);

			// System.out.print("AT: ");

	public static void info(String message) {

		info(message, true);

	}

	/**

	 * Log an info message

	 * 

	 *            where to print the message

	 */

	public static void info(String message, boolean newline) {

		if (message.length()> MAX_LINE_LENGTH) { // cut if too long

			message = message.substring(0, MAX_LINE_LENGTH) + "[...]";

		if (Level.INFO.intValue() >= txm.getLevel().intValue()) {

			if (newline) System.out.println(message);

			else  System.out.print(message);

	public static void fine(String message) {

		fine(message, true);

	}

	/**

	 * Log an info message

	 * 

import org.txm.core.preferences.TXMPreferences;

import org.txm.core.results.Parameter;

import org.txm.core.results.TXMParameters;

import org.txm.objects.Match;

import org.txm.searchengine.core.IQuery;

import org.txm.searchengine.core.QueryBasedTXMResult;

			String refPropertyNames = this.getStringParameterValue(ConcordancePreferences.VIEW_REFERENCE_PATTERN);

			String refPropertyNames2 = this.getCorpus().getProject().getCommandPreferences("concordance").get(ConcordancePreferences.VIEW_REFERENCE_PATTERN);

			if (refPropertyNames2 != null && refPropertyNames2.length() > 0) {

				if (ref.getProperties().size() > 0) { // ensure the ref properties is well set

					refPropertyNames = refPropertyNames2;

				}

		if (to >= nLines) to = nLines - 1;

		List<? extends Match> matches = queryResult.getMatches(from, to);

		// System.out.println("cqllimit="+cql_limit);

		// System.out.println("CQLLimitStarts="+CQLLimitStarts);

		if (pLimitCQL != null && CQLLimitStarts == null) { // initialize text limits

			try {

			}

			catch (Exception e) {

				org.txm.utils.logger.Log.printStackTrace(e);

				Log.severe(NLS.bind(ConcordanceCoreMessages.failedToGetTextsLimitsColonP0, e));

			}

		}

		int currentCQLLimit = 0;

					currentKeywordPos = match.getStart();

					currentKeywordEndPos = match.getEnd();

					if (CQLLimitStarts != null && currentCQLLimit < CQLLimitStarts.length) {

						while (currentCQLLimit < CQLLimitStarts.length && CQLLimitStarts[currentCQLLimit] <= currentKeywordPos) { // find the match's text

					// TARGET POSITION

					// check if the end of keyword pass a text limit

					currentKeywordPos = currentKeywordEndPos;

package org.txm.backtomedia.commands.function;

import java.io.File;

import java.net.MalformedURLException;

import org.eclipse.core.commands.AbstractHandler;

import org.eclipse.core.commands.ExecutionEvent;

import org.eclipse.core.commands.ExecutionException;

import org.eclipse.jface.viewers.IStructuredSelection;

import org.eclipse.swt.widgets.Shell;

import org.eclipse.ui.IEditorPart;

import org.eclipse.ui.IWorkbenchPage;

import org.txm.objects.Workspace;

import org.txm.searchengine.cqp.CQPSearchEngine;

import org.txm.tokenizer.TokenizerClasses;

import org.txm.utils.ExecTimer;

import org.txm.utils.logger.Log;

					TXMResult child = project.getChildren().get(0);

					child.delete();

				}

				// System.out.println("TXM FILES: " + Arrays.asList(new File(project.getProjectDirectory(), "txm/" + project.getName()).list()));

			}

		//prepare metadata if any

		File allMetadataFile = Metadatas.findMetadataFile(inputDirectory);

		if (allMetadataFile.exists()) {

			File copy = new File(binDir, allMetadataFile.getName())

			if (!FileCopy.copy(allMetadataFile, copy)) {

import javax.xml.stream.*;

import java.net.URL;

import org.txm.importer.scripts.filters.*;

// TODO: Auto-generated Javadoc

/**

									}

								//replace & by &amp; ; < by &lt; ; insecable space by space

								chars.append(parser.getText().substring(start).replace("\t", " ").replace("&","&amp;").replace("<","&lt;").replace(" "," ").trim()+ " ");

							}

							break;

					}

noEditionFound = Edition not found

noEditionToOpen = No edition available.

openingDefaultEditionsColonP0 = Opening [{0}] edition...

noEditionFound = Édition introuvable 

noEditionToOpen = Pas d'édition disponible.

openingDefaultEditionsColonP0 = Ouverture de l'édition [{0}]...

import java.io.File;

import java.net.URL;

import java.util.ArrayList;

import java.util.Arrays;

import java.util.Collection;

import org.txm.rcp.StatusLine;

import org.txm.rcp.editors.CommandLink;

import org.txm.rcp.utils.IOClipboard;

import org.txm.utils.io.IOUtils;

import org.txm.utils.logger.Log;

	// private List<String> lineids;

	/** The edition. */

	Text currentText;

	String editionName;

	Edition currentEdition;

	Page currentPage;

	protected SynopticEditionEditor synopticEditionEditor;

			// "elt.style.paddingTop=\"1px\";" + //$NON-NLS-1$

			// "elt.style.paddingBottom=\"1px\";" + //$NON-NLS-1$

			"} catch (e) { };"; //$NON-NLS-1$

	public static final String highlightscriptRuleFast = "sheet.insertRule(\"#%s {background-color:rgba(%s,%s,%s,%s);}\", 0);"; //$NON-NLS-1$

	public static final String colorscriptRuleFast = "sheet.insertRule(\"#%s {color:rgba(%s,%s,%s,%s);}\", 0);"; //$NON-NLS-1$

	private ArrayList<ProgressListener> beforeHighlighListeners;

	public ArrayList<ProgressListener> getBeforeHighlighListeners() {

		return beforeHighlighListeners;

	}

	private ArrayList<ProgressListener> afterHighlighListeners;

	public ArrayList<ProgressListener> getAfterHighlighListeners() {

		return beforeHighlighListeners;

	}

	public Object evaluate(String code) {

		if (Log.getLevel().intValue() <= Level.FINEST.intValue()) System.out.println(code);

		try {

			if (getBrowser() == null) return null;

			return getBrowser().evaluate(code);

			String error = e.getMessage();

			Log.printStackTrace(e);

		}

		return null;

	}

	public boolean execute(String code) {

		if (Log.getLevel().intValue() <= Level.FINEST.intValue()) System.out.println(code);

		try {

			return getBrowser().execute(code);

			String error = e.getMessage();

			Log.printStackTrace(e);

		}

		return false;

	}

	public EditionPanel(SynopticEditionEditor synopticEditionEditor, Composite parent, int style, String editionName) {

		super(parent, style);

		this.synopticEditionEditor = synopticEditionEditor;

		this.editionName = editionName;

		File functionsFile = null;

		try {

			@Override

			public synchronized void completed(ProgressEvent event) {

				if ("undefined".equals(o)) {

					new CommandLink(synopticEditionEditor, getBrowser());

				}

				if ("undefined".equals(o)) {

					new EditionLink(synopticEditionEditor, getBrowser());

				}

				Object rez = evaluate("return typeof sheet;"); //$NON-NLS-1$

				if ("undefined".equals(rez)) { //$NON-NLS-1$

					Object loadResult = evaluate(functions);

							// s = String.format(highlightscriptRule, wordid, composite.r, composite.g, composite.b, composite.a);

							s = "try { document.getElementById(\"" + wordid + "\").style.backgroundColor=\"rgba(" + composite.r + "," + composite.g + "," + composite.b + "," + composite.a + ")\";" //$NON-NLS-1$ //$NON-NLS-2$ //$NON-NLS-3$ //$NON-NLS-4$ //$NON-NLS-5$ //$NON-NLS-6$

									+

									"} catch (e) { };"; //$NON-NLS-1$

						}

						else {

						// s = String.format(highlightscriptRule, wordid, composite.r, composite.g, composite.b, composite.a);

						s = "try { document.getElementById(\"" + wordid + "\").style.fontWeight=\"" + fontWeightPerWordIDS.get(wordid) + "\";" //$NON-NLS-1$ //$NON-NLS-2$ //$NON-NLS-3$

								+

								"} catch (e) { };"; //$NON-NLS-1$

						// s = String.format(highlightscriptRule, wordid, composite.r, composite.g, composite.b, composite.a);

						// s = "try { var elt = document.getElementById(\"" + wordid + "\");" + //$NON-NLS-1$ //$NON-NLS-2$

			@Override

			public void mouseDoubleClick(MouseEvent e) {

				if (debug) Log.finest("DOUBLE CLICK"); //$NON-NLS-1$

				dblClick = true;

			}

			@Override

			public void mouseDown(MouseEvent e) {

				if (debug) Log.finest("MOUSE DOWN"); //$NON-NLS-1$

				dblClick = false;

				t = e.time;

			@Override

			public void mouseUp(MouseEvent e) {

				if (dblClick) { // doucle click raised by mouseDoubleClick

					dblClick = false;

					return; // stop right now ! :-o

			@Override

			public void keyReleased(KeyEvent e) {

				if (debug) Log.finest(" KEY RELEASED: " + e); //$NON-NLS-1$

			}

			@Override

			public void keyPressed(KeyEvent e) {

				if (debug) Log.finest(" KEY PRESSED: " + e); //$NON-NLS-1$

				if (e.keyCode == 'f' && (e.stateMask & SWT.CTRL) != 0) {

					synopticEditionEditor.getSearchEditionToolbar().openSearch(getTextSelection());

	 */

	@Override

	public Browser getBrowser() {

		return super.getBrowser();

	}

	 * Bypass BrowserViewer restriction on the getBrowser method

	 */

	public String getDOM() {

		return "";// execute("return document.innerHTML"; //$NON-NLS-1$

	}

	public ISelectionProvider getSelectionProvider() {

		return selProvider;

	}

	public void setHighlightWordsById(RGBA color, HashSet<String> wordids) {

		for (String wordid : wordids) {

			if (this.highlightedColorPerWordIDS.get(wordid) != null) {

				removeHighlightWordsById(color, wordid);

	}

	public void addHighlightWordsById(RGBA color, String wordid) {

		if (!this.highlightedColorPerWordIDS.containsKey(wordid)) {

			this.highlightedColorPerWordIDS.put(wordid, new ArrayList<RGBA>());

		}

	 * Can be called to refresh the page word styles but only when the page is loaded

	 */

	public void updateWordStyles() {

		progressListener.completed(null);

	}

	public void addHighlightWordsById(RGBA color, Collection<String> wordids) {

		for (String wordid : wordids) {

			addHighlightWordsById(color, wordid);

		}

	}

	public void removeHighlightWordsById(RGBA color, Collection<String> wordids) {

		// System.out.println("Call removeHighlightWordsById: "+wordids+" color="+color);

		StringBuffer buffer = new StringBuffer();

		for (String wordid : wordids) {

	}

	public void removeHighlightWordsById(RGBA color, String wordid) {

		if (highlightedColorPerWordIDS.get(wordid) == null) return; // nothing to do

		// System.out.println("remove color="+color+" from id="+wordid);

	 */

	public boolean backToText(Text text, String line_wordid) {

		Edition edition = text.getEdition(editionName);

		if (edition == null) {

	 * First page.

	 */

	public void firstPage() {

		// System.out.println(Messages.TxmBrowser_1+currentPage);

		currentPage = currentEdition.getFirstPage();

		currentText = currentEdition.getText();

	@Override

	public void setURL(String url) {

		if (!this.browser.isDisposed()) {

		}

	}

	 */

	public void lastPage() {

		// System.out.println(Messages.TxmBrowser_2+currentPage);

		if (currentPage != null && currentPage.getFile().equals(currentEdition.getLastPage().getFile())) {

			return;

	 * Previous page.

	 */

	public void previousPage() {

		// System.out.println(Messages.TxmBrowser_3+currentPage);

		if (currentPage != null) {

			Page previous = currentEdition.getPreviousPage(currentPage);

	 * Next page.

	 */

	public void nextPage() {

		// System.out.println(Messages.TxmBrowser_4+currentPage);

		if (currentPage != null) {

			Page next = currentEdition.getNextPage(currentPage);

	public void firstText() {

		// Text current = this.currentPage.getEdition().getText();

		Project project = currentText.getProject();

		String id;

	 * Next text.

	 */

	public void lastText() {

		// Text current = this.currentPage.getEdition().getText();

		Project project = currentText.getProject();

		String id;

	 * Next text.

	 */

	public void nextText() {

		// Text current = this.currentPage.getEdition().getText();

		Project project = currentText.getProject();

		String id;

	public void setText(Text text, boolean refresh) {

		Edition tmp = text.getEdition(this.editionName);

		if (tmp == null) {

			System.out.println(EditionUIMessages.bind(EditionUIMessages.noEditionWithNameEqualsP0AvailableForTextEqualsP1, this.editionName, text.getName()));

	 * @return the current page

	 */

	public Page getCurrentPage() {

		return currentPage;

	}

	 * @return the current page

	 */

	public Text getCurrentText() {

		return currentText;

	}

	 * @return the string

	 */

	public String makePageLabel() {

		return currentPage.getName() + " / " + currentPage.getEdition().getNumPages(); //$NON-NLS-1$

	}

	 * @param page the page

	 */

	public void showPage(Page page) {

		// System.out.println("SHOW PAGE "+page);

		currentEdition = page.getEdition();

		currentText = currentEdition.getText();

	 * Reload the browser with the currentPage URL

	 */

	public void reloadPage() {

		this.setURL(currentPage.toURL());

	}

			"return html"; //$NON-NLS-1$

	public String getTextSelectionDOM() {

		String t = ((String) evaluate(SCRIPT01));

		Log.finest("HTML text selection=" + t);

		return t;

				+ "\n}" //$NON-NLS-1$

				// +"alert('result='+all)"

				+ "\nreturn all;"; //$NON-NLS-1$

		// System.out.println(functions);

		// System.out.println(SCRIPT02_getspans);

	}

	public String getTextSelection() {

		// System.out.println("DOM="+getTextSelectionDOM());

		String dom = getTextSelectionDOM();

		if (dom == null) return "";

	@Override

	public ISelection getSelection() {

		return new SynopticTextSelection(this);

	}

		String str;

		public SynopticTextSelection(EditionPanel panel) {

			this.str = panel.getTextSelection();

		}

		@Override

		public boolean isEmpty() {

			return str != null && str.length() > 0;

		}

		public String getTextSelection() {

			return str;

		}

	}

	public Edition getEdition() {

		return currentEdition;

	}

	public MenuManager getMenuManager() {

		return menuManager;

	}

	public void initMenu() {

		// create a new menu

		menuManager = new MenuManager();

			@Override

			public void menuShown(MenuEvent e) {

				Menu menu = menuManager.getMenu();

				if (menu == null) return;

				new MenuItem(menu, SWT.SEPARATOR);

					@Override

					public void widgetSelected(SelectionEvent e) {

						String text = EditionPanel.this.getTextSelection();

						synopticEditionEditor.getSearchEditionToolbar().openSearch(text);

					}

					@Override

					public void widgetSelected(SelectionEvent e) {

						String text = EditionPanel.this.getTextSelection();

						if (text != null && text.length() > 0) {

							IOClipboard.write(text);

					@Override

					public void widgetSelected(SelectionEvent e) {

						EditionPanel.this.getBrowser().refresh();

					}

					@Override

					public void widgetSelected(SelectionEvent e) {

						EditionPanel.this.getBrowser().back();

					}

					@Override

					public void widgetSelected(SelectionEvent e) {

						EditionPanel.this.getBrowser().forward();

					}

	}

	public void initSelectionProvider() {

		selProvider = new ISelectionProvider() {

			@Override

			@Override

			public ISelection getSelection() {

				ITextSelection sel = new ITextSelection() {

					@Override

					public boolean isEmpty() {

						return EditionPanel.this.getTextSelection().length() == 0;

					}

					@Override

					public String getText() {

						return EditionPanel.this.getTextSelection();

					}

					@Override

					public int getStartLine() {

						return 0;

					}

					@Override

					public int getOffset() {

						return 0;

					}

					@Override

					public int getLength() {

						return 0;

					}

					@Override

					public int getEndLine() {

						return 0;

					}

				};

	public void goToPage(String text, String name) {

		if (text != null) {

			Text newText = this.synopticEditionEditor.getCorpus().getProject().getText(text);

			if (newText == null) {

	}

	public void setFocusedWordID(String focusid) {

		this.focusedWordID = focusid;

	}

	public void setHighlightedArea(HashSet<int[]> positions) {

		Log.finer("Highlight area: not implemented");

	}

	public void expandSelectionTo(String[] ids) {

		// expand selection

		if (ids == null) return;

		if (ids.length == 0) return;

				+ "sel.addRange(range);\n" //$NON-NLS-1$

				+ "\n" //$NON-NLS-1$

				+ "return null;"; //$NON-NLS-1$

		// System.out.println("Eval...\n"+SCRIPT02_expand);

		evaluate(SCRIPT02_expand);

		return;

	}

	public void addFontWeightWordsById(String weight, List<String> wordids) {

		for (String wordid : wordids) {

			addFontWeightWordsById(weight, wordid);

		}

	}

	public void addFontWeightWordsById(String weight, String wordid) {

		this.fontWeightPerWordIDS.put(wordid, weight);

	}

	public void removeFontWeightWordsById(String wordid) {

		this.fontWeightPerWordIDS.remove(wordid);

	}

	public void removeFontWeightWordsById(List<String> wordids) {

		for (String wordid : wordids) {

			removeFontWeightWordsById(wordid);

		}

	public Text getResult() {

		for (EditionPanel panel : editionPanels.values()) {

		}

		if (textIdToOpen != null) {