Laboratoire ICAR » Plateforme TXM

import org.eclipse.ui.model.IWorkbenchAdapter;

import org.eclipse.ui.plugin.AbstractUIPlugin;

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

import org.txm.functions.internal.InternalView;

import org.txm.functions.intertextualdistance.InterTextDistance;

//import org.txm.functions.queryindex.QueryIndex;

		@Override

		public Object[] getChildren(Object corpus) {

			//List<Subcorpus> subcorpora = ((Corpus) corpus).getSubcorpora();

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

				Object result = results.get(i);

		@Override

		public Object[] getChildren(Object partition) {

			// System.out.println("PARTITION RESULTS "+children);

			return children.toArray();

		}

		// Remove RCP Update preference page

		Log.warning(Messages.ApplicationWorkbenchAdvisor_21);

			pm.remove("org.eclipse.equinox.internal.p2.ui.sdk.ProvisioningPreferencePage"); //$NON-NLS-1$

			// Remove the Team menu

		if (wasFirstLaunch) return; // don't call for update for the first run of TXM

		try {

			if (!doUpdate) return;

			//

			//				this.syncExec(new Runnable() {

	}

	public static boolean firstLaunchAfterInstallation() {

			System.out.println("TXM Home directory preference not set.");

			return true;

		}

		if (!dir.exists()) {

			System.out.println("TXM Home directory is set but does not exist.");

			return true;

	private boolean loadInstallPreferences(JobHandler jobHandler) {

		try {

			// check if the install preference file has been loaded

				Display.getDefault().syncExec(new Runnable() {

					@Override

					public void run() { OpenWelcomePage.openWelcomePage(); }

					TxmPreferences.importFromFile(preferenceFile);

				// restore previous TreeTagger preferences

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

					TXMPreferences.putString(TBXPreferences.PREFERENCES_NODE, TBXPreferences.TREETAGGER_INSTALL_PATH, ttpath);

					TXMPreferences.putString(TBXPreferences.PREFERENCES_NODE, TBXPreferences.TREETAGGER_MODELS_PATH, ttmodelpath);

		@Override

		public void publish(final LogRecord record) {

			//System.out.println("severeDialobBoxHandler.publish()");

			if (showSevereDialobBox) {

				//System.out.println("SHOW SEVERE DIALOG BOX: "+record.getMessage());

				TXMWindows.getActiveWindow().getShell().getDisplay().syncExec(new Runnable() {

			try {

				Log.info("Checking TXM install directory.");

				if (!installDirectory.exists()) { // the TXM install directory could not be read !! :o

					Display.getDefault().syncExec(new Runnable() {

						@Override

					Log.severe("Error: The provided install directory does not exists. Aborting.");

					return false;

				}

				Log.info("Checking TXM user directory.");

					txmhomedir = new File(System.getProperty("user.home"), "TXM"); //$NON-NLS-1$ //$NON-NLS-2$

				} else {

				}

				txmhomedir.mkdirs(); // creates the directory if needed

	}

	public static void stopAndPrint() {

			if (time <= 1000) System.out.println(NLS.bind(Messages.JobsTimer_15, stop(),(int)time));

			else System.out.println(NLS.bind(Messages.JobsTimer_19, stop()));

		}

                        ifEmpty="false"

                        operator="and">

                     <instanceof

                     </instanceof>

                  </iterate>

               </with>