examples/org.eclipse.ocl.examples.validity/src/org/eclipse/ocl/examples/validity/locator/UMLUIConstraintLocator.java - ocl/org.eclipse.ocl - Git at Google

 /*******************************************************************************
  * Copyright (c) 2014, 2018 Willink Transformations and others.
  * All rights reserved. This program and the accompanying materials
  * are made available under the terms of the Eclipse Public License v2.0
  * which accompanies this distribution, and is available at
  * http://www.eclipse.org/legal/epl-v20.html
  *
  * Contributors:
  *	E.D.Willink - initial API and implementation
  *******************************************************************************/
 package org.eclipse.ocl.examples.validity.locator;

 import java.io.IOException;
 import java.util.HashMap;
 import java.util.Map;

 import org.eclipse.core.runtime.CoreException;
 import org.eclipse.core.runtime.IProgressMonitor;
 import org.eclipse.core.runtime.IStatus;
 import org.eclipse.core.runtime.Status;
 import org.eclipse.debug.core.DebugPlugin;
 import org.eclipse.debug.core.ILaunch;
 import org.eclipse.debug.core.ILaunchConfigurationType;
 import org.eclipse.debug.core.ILaunchConfigurationWorkingCopy;
 import org.eclipse.debug.core.ILaunchManager;
 import org.eclipse.emf.common.util.URI;
 import org.eclipse.emf.ecore.EObject;
 import org.eclipse.emf.ecore.resource.Resource;
 import org.eclipse.emf.ecore.resource.ResourceSet;
 import org.eclipse.emf.ecore.resource.impl.ResourceSetImpl;
 import org.eclipse.jdt.annotation.NonNull;
 import org.eclipse.jdt.annotation.Nullable;
 import org.eclipse.jface.dialogs.ErrorDialog;
 import org.eclipse.jface.dialogs.MessageDialog;
 import org.eclipse.jface.operation.IRunnableWithProgress;
 import org.eclipse.ocl.examples.debug.launching.OCLLaunchConstants;
 import org.eclipse.ocl.examples.debug.vm.ui.utils.DebugUtil;
 import org.eclipse.ocl.examples.emf.validation.validity.ResultConstrainingNode;
 import org.eclipse.ocl.examples.emf.validation.validity.ValidatableNode;
 import org.eclipse.ocl.examples.emf.validation.validity.locator.ConstraintLocator;
 import org.eclipse.ocl.examples.emf.validation.validity.ui.locator.ConstraintUILocator;
 import org.eclipse.ocl.examples.emf.validation.validity.ui.view.ValidityView;
 import org.eclipse.ocl.examples.xtext.console.XtextConsolePlugin;
 import org.eclipse.ocl.examples.xtext.console.messages.ConsoleMessages;
 import org.eclipse.ocl.pivot.Constraint;
 import org.eclipse.ocl.pivot.ExpressionInOCL;
 import org.eclipse.ocl.pivot.LanguageExpression;
 import org.eclipse.ocl.pivot.internal.prettyprint.PrettyPrinter;
 import org.eclipse.ocl.pivot.internal.utilities.EnvironmentFactoryInternal;
 import org.eclipse.ocl.pivot.internal.utilities.EnvironmentFactoryInternal.EnvironmentFactoryInternalExtension;
 import org.eclipse.ocl.pivot.internal.utilities.PivotUtilInternal;
 import org.eclipse.ocl.pivot.utilities.ClassUtil;
 import org.eclipse.ocl.pivot.utilities.ParserException;
 import org.eclipse.ocl.pivot.utilities.PivotUtil;
 import org.eclipse.ocl.xtext.base.utilities.BaseCSResource;
 import org.eclipse.ocl.xtext.base.utilities.ElementUtil;
 import org.eclipse.osgi.util.NLS;
 import org.eclipse.swt.widgets.Shell;

 public class UMLUIConstraintLocator extends UMLConstraintLocator implements ConstraintUILocator
 {
 	/**
 	 * The DebugStarter sequences the start up of the debugger off the thread.
 	 */
 	protected static class DebugStarter implements IRunnableWithProgress
 	{
 		protected final @NonNull Shell shell;
 		protected final @NonNull EnvironmentFactoryInternal environmentFactory;
 		protected final @Nullable EObject contextObject;
 		protected final @NonNull String expression;
 		private @Nullable ILaunch launch = null;

 		public DebugStarter(@NonNull Shell shell, @NonNull EnvironmentFactoryInternal environmentFactory, @Nullable EObject contextObject, @NonNull String expression) {
 			this.shell = shell;
 			this.environmentFactory = environmentFactory;
 			this.contextObject = contextObject;
 			this.expression = expression;
 		}

 		/**
 		 * Create a test Complete OCL document that wraps the required OCL text up as the body of a test operation.
 		 * Returns its URI.
 		 */
 		protected @NonNull URI createDocument(IProgressMonitor monitor) throws IOException, CoreException {
 			return DebugUtil.createDebugDocument(environmentFactory, contextObject, expression, monitor);
 		}

 		public ILaunch getLaunch() {
 			return launch;
 		}

 		/**
 		 * Create and launch an internal launch configuration to debug expressionInOCL applied to contextObject.
 		 */
 		protected ILaunch launchDebugger(IProgressMonitor monitor, @Nullable EObject contextObject, @NonNull ExpressionInOCL expressionInOCL) throws CoreException {
 			ILaunchManager launchManager = DebugPlugin.getDefault().getLaunchManager();
 			ILaunchConfigurationType launchConfigurationType = launchManager.getLaunchConfigurationType(OCLLaunchConstants.LAUNCH_CONFIGURATION_TYPE_ID);
 			ILaunchConfigurationWorkingCopy launchConfiguration = launchConfigurationType.newInstance(null, "test" /*constraint.getName()*/);
 			Map<String,Object> attributes = new HashMap<String,Object>();
 			attributes.put(OCLLaunchConstants.EXPRESSION_OBJECT, expressionInOCL);
 			attributes.put(OCLLaunchConstants.CONTEXT_OBJECT, contextObject);
 			launchConfiguration.setAttributes(attributes);
 			return launchConfiguration.launch(ILaunchManager.DEBUG_MODE, monitor);
 		}

 		/**
 		 * Load and parse the test document.
 		 * @throws IOException
 		 */
 		protected @Nullable BaseCSResource loadDocument(IProgressMonitor monitor, @NonNull URI documentURI) throws Exception {
 			Resource contextResource = contextObject != null ? contextObject.eResource()  : null;
 			ResourceSet resourceSet = contextResource != null ? contextResource.getResourceSet() : null;
 			if (resourceSet == null) {
 				resourceSet = new ResourceSetImpl();
 			}
 			Resource resource = resourceSet.getResource(documentURI, true);
 			if (resource instanceof BaseCSResource) {
 				return (BaseCSResource)resource;
 			}
 			return null;
 		}

 		protected void openError(final String message) {
 			shell.getDisplay().asyncExec(new Runnable()
 			{
 				@Override
 				public void run() {
 					MessageDialog.openError(shell, ConsoleMessages.Debug_Starter, message);
 				}
 			});
 		}

 		protected void openError(final String message, final @NonNull Exception e) {
 			shell.getDisplay().asyncExec(new Runnable()
 			{
 				@Override
 				public void run() {
 					IStatus status = new Status(IStatus.ERROR, XtextConsolePlugin.PLUGIN_ID, e.getLocalizedMessage(), e);
 					ErrorDialog.openError(shell, ConsoleMessages.Debug_Starter, message, status);
 				}
 			});
 		}

 		@Override
 		public void run(IProgressMonitor monitor) {
 			monitor.beginTask(NLS.bind(ConsoleMessages.Debug_Starter, expression), 3);
 			try {
 				monitor.subTask(ConsoleMessages.Debug_ProgressCreate);
 				URI documentURI;
 				try {
 					documentURI = createDocument(monitor);
 				} catch (Exception e) {
 					openError(ConsoleMessages.Debug_FailCreate, e);
 					return;
 				}
 				monitor.worked(1);
 				monitor.subTask(ConsoleMessages.Debug_ProgressLoad);
 				BaseCSResource csResource;
 				@SuppressWarnings("null")@NonNull String debug_FailLoad = ConsoleMessages.Debug_FailLoad;
 				try {
 					csResource = loadDocument(monitor, documentURI);
 				} catch (Exception e) {
 					openError(debug_FailLoad, e);
 					return;
 				}
 				if (csResource == null) {
 					openError(debug_FailLoad);
 					return;
 				}
 				String message = PivotUtil.formatResourceDiagnostics(ClassUtil.nonNullEMF(csResource.getErrors()), debug_FailLoad, "\n\t");
 				if (message != null) {
 					openError(message);
 					return;
 				}
 				ExpressionInOCL query;
 				try {
 					query = ElementUtil.getFirstQuery(environmentFactory.getMetamodelManager(), csResource);
 				} catch (ParserException e) {
 					openError(debug_FailLoad, e);
 					return;
 				}
 				if (query == null) {
 					openError(debug_FailLoad);
 					return;
 				}
 				monitor.worked(1);
 				monitor.subTask(ConsoleMessages.Debug_ProgressLoad);
 				try {
 					launch = launchDebugger(monitor, contextObject, query);
 				} catch (CoreException e) {
 					openError(ConsoleMessages.Debug_FailLaunch, e);
 				}
 				monitor.worked(1);
 			}
 			finally {
 				monitor.done();
 			}
 		}
 	}

 	public static @NonNull UMLUIConstraintLocator INSTANCE = new UMLUIConstraintLocator();

 	@Override
 	public boolean debug(@NonNull ResultConstrainingNode resultConstrainingNode, final @NonNull ValidityView validityView, @NonNull IProgressMonitor monitor) throws CoreException {
 		final Object object = resultConstrainingNode.getParent().getConstrainingObject();
 		if (!(object instanceof org.eclipse.uml2.uml.Constraint)) {
 			throw new IllegalStateException("non-UML Constraint " + object);
 			//			return false;
 		}
 		org.eclipse.uml2.uml.Constraint umlConstraint = (org.eclipse.uml2.uml.Constraint)object;
 		Resource eResource = umlConstraint.eResource();
 		if (eResource == null) {
 			return false;
 		}
 		EnvironmentFactoryInternalExtension environmentFactory = (EnvironmentFactoryInternalExtension) PivotUtilInternal.getEnvironmentFactory(eResource);
 		Constraint constraint = null;
 		try {
 			constraint = environmentFactory.getASOf(Constraint.class, umlConstraint);
 		} catch (ParserException e) {
 			// TODO Auto-generated catch block
 			e.printStackTrace();
 		}
 		if (constraint == null) {
 			throw new IllegalStateException("non-UML Constraint " + object);
 			//			return false;
 		}


 		//		URI constraintURI = EcoreUtil.getURI(constraint);
 		//        Path path = new Path(constraintURI.toPlatformString(true));
 		LanguageExpression specification = constraint.getOwnedSpecification();
 		String expression = specification != null ? PrettyPrinter.print(specification) : "";

 		ValidatableNode parent = resultConstrainingNode.getResultValidatableNode().getParent();
 		if (parent == null) {
 			return false;
 		}
 		EObject eObject = parent.getConstrainedObject();

 		Shell shell = validityView.getSite().getShell();
 		if (shell == null) {
 			return false;
 		}
 		DebugStarter runnable = new DebugStarter(shell, environmentFactory, eObject, expression);


 		//		IProgressService progressService = PlatformUI.getWorkbench().getProgressService();
 		//		try {
 		//			progressService.run(true, true, runnable);
 		runnable.run(monitor);
 		//		} catch (InvocationTargetException e) {
 		//			Throwable targetException = e.getTargetException();
 		//			IStatus status = new Status(IStatus.ERROR, XtextConsolePlugin.PLUGIN_ID, targetException.getLocalizedMessage(), targetException);
 		//			ErrorDialog.openError(shell, ConsoleMessages.Debug_Starter, ConsoleMessages.Debug_FailStart, status);
 		//		} catch (InterruptedException e) {
 		/* Cancel is not a problem. */
 		//		}
 		return runnable.getLaunch() != null;
 		/*

 		IPath trimmedPath = path.removeLastSegments(1);
 		IContainer folder = (IContainer) ResourcesPlugin.getWorkspace().getRoot().findMember(trimmedPath);
 		Path tailPath = new Path(constraint.getName() + ".essentialocl");
 		final IFile file = folder.getFile(tailPath);
 		file.create(new URIConverter.ReadableInputStream(string, "UTF-8"), false, null);

 //		URI contextURI = EcoreUtil.getURI(eObject);

 //		ILaunchManager launchManager = DebugPlugin.getDefault().getLaunchManager();
 //		ILaunchConfigurationType launchConfigurationType = launchManager.getLaunchConfigurationType(OCLLaunchConstants.LAUNCH_CONFIGURATION_TYPE_ID);
 //		ILaunchConfigurationWorkingCopy launchConfiguration = launchConfigurationType.newInstance(folder, constraint.getName());
 //		launchConfiguration.setAttribute(OCLLaunchConstants.CONSTRAINT_URI, constraintURI.toString());
 //		launchConfiguration.setAttribute(OCLLaunchConstants.CONTEXT_URI, contextURI.toString());
 //		launchConfiguration.doSave();
 //		launchConfiguration.launch(ILaunchManager.DEBUG_MODE, monitor);
 		launchDebugger(monitor, eObject, expressionInOCL);
 		return true; */
 	}

 	@Override
 	public @NonNull ConstraintLocator getInstance() {
 		return INSTANCE;
 	}
 }
	/*******************************************************************************
	* Copyright (c) 2014, 2018 Willink Transformations and others.
	* All rights reserved. This program and the accompanying materials
	* are made available under the terms of the Eclipse Public License v2.0
	* which accompanies this distribution, and is available at
	* http://www.eclipse.org/legal/epl-v20.html
	*
	* Contributors:
	* E.D.Willink - initial API and implementation
	*******************************************************************************/
	package org.eclipse.ocl.examples.validity.locator;

	import java.io.IOException;
	import java.util.HashMap;
	import java.util.Map;

	import org.eclipse.core.runtime.CoreException;
	import org.eclipse.core.runtime.IProgressMonitor;
	import org.eclipse.core.runtime.IStatus;
	import org.eclipse.core.runtime.Status;
	import org.eclipse.debug.core.DebugPlugin;
	import org.eclipse.debug.core.ILaunch;
	import org.eclipse.debug.core.ILaunchConfigurationType;
	import org.eclipse.debug.core.ILaunchConfigurationWorkingCopy;
	import org.eclipse.debug.core.ILaunchManager;
	import org.eclipse.emf.common.util.URI;
	import org.eclipse.emf.ecore.EObject;
	import org.eclipse.emf.ecore.resource.Resource;
	import org.eclipse.emf.ecore.resource.ResourceSet;
	import org.eclipse.emf.ecore.resource.impl.ResourceSetImpl;
	import org.eclipse.jdt.annotation.NonNull;
	import org.eclipse.jdt.annotation.Nullable;
	import org.eclipse.jface.dialogs.ErrorDialog;
	import org.eclipse.jface.dialogs.MessageDialog;
	import org.eclipse.jface.operation.IRunnableWithProgress;
	import org.eclipse.ocl.examples.debug.launching.OCLLaunchConstants;
	import org.eclipse.ocl.examples.debug.vm.ui.utils.DebugUtil;
	import org.eclipse.ocl.examples.emf.validation.validity.ResultConstrainingNode;
	import org.eclipse.ocl.examples.emf.validation.validity.ValidatableNode;
	import org.eclipse.ocl.examples.emf.validation.validity.locator.ConstraintLocator;
	import org.eclipse.ocl.examples.emf.validation.validity.ui.locator.ConstraintUILocator;
	import org.eclipse.ocl.examples.emf.validation.validity.ui.view.ValidityView;
	import org.eclipse.ocl.examples.xtext.console.XtextConsolePlugin;
	import org.eclipse.ocl.examples.xtext.console.messages.ConsoleMessages;
	import org.eclipse.ocl.pivot.Constraint;
	import org.eclipse.ocl.pivot.ExpressionInOCL;
	import org.eclipse.ocl.pivot.LanguageExpression;
	import org.eclipse.ocl.pivot.internal.prettyprint.PrettyPrinter;
	import org.eclipse.ocl.pivot.internal.utilities.EnvironmentFactoryInternal;
	import org.eclipse.ocl.pivot.internal.utilities.EnvironmentFactoryInternal.EnvironmentFactoryInternalExtension;
	import org.eclipse.ocl.pivot.internal.utilities.PivotUtilInternal;
	import org.eclipse.ocl.pivot.utilities.ClassUtil;
	import org.eclipse.ocl.pivot.utilities.ParserException;
	import org.eclipse.ocl.pivot.utilities.PivotUtil;
	import org.eclipse.ocl.xtext.base.utilities.BaseCSResource;
	import org.eclipse.ocl.xtext.base.utilities.ElementUtil;
	import org.eclipse.osgi.util.NLS;
	import org.eclipse.swt.widgets.Shell;

	public class UMLUIConstraintLocator extends UMLConstraintLocator implements ConstraintUILocator
	{
	/**
	* The DebugStarter sequences the start up of the debugger off the thread.
	*/
	protected static class DebugStarter implements IRunnableWithProgress
	{
	protected final @NonNull Shell shell;
	protected final @NonNull EnvironmentFactoryInternal environmentFactory;
	protected final @Nullable EObject contextObject;
	protected final @NonNull String expression;
	private @Nullable ILaunch launch = null;

	public DebugStarter(@NonNull Shell shell, @NonNull EnvironmentFactoryInternal environmentFactory, @Nullable EObject contextObject, @NonNull String expression) {
	this.shell = shell;
	this.environmentFactory = environmentFactory;
	this.contextObject = contextObject;
	this.expression = expression;
	}

	/**
	* Create a test Complete OCL document that wraps the required OCL text up as the body of a test operation.
	* Returns its URI.
	*/
	protected @NonNull URI createDocument(IProgressMonitor monitor) throws IOException, CoreException {
	return DebugUtil.createDebugDocument(environmentFactory, contextObject, expression, monitor);
	}

	public ILaunch getLaunch() {
	return launch;
	}

	/**
	* Create and launch an internal launch configuration to debug expressionInOCL applied to contextObject.
	*/
	protected ILaunch launchDebugger(IProgressMonitor monitor, @Nullable EObject contextObject, @NonNull ExpressionInOCL expressionInOCL) throws CoreException {
	ILaunchManager launchManager = DebugPlugin.getDefault().getLaunchManager();
	ILaunchConfigurationType launchConfigurationType = launchManager.getLaunchConfigurationType(OCLLaunchConstants.LAUNCH_CONFIGURATION_TYPE_ID);
	ILaunchConfigurationWorkingCopy launchConfiguration = launchConfigurationType.newInstance(null, "test" /constraint.getName()/);
	Map<String,Object> attributes = new HashMap<String,Object>();
	attributes.put(OCLLaunchConstants.EXPRESSION_OBJECT, expressionInOCL);
	attributes.put(OCLLaunchConstants.CONTEXT_OBJECT, contextObject);
	launchConfiguration.setAttributes(attributes);
	return launchConfiguration.launch(ILaunchManager.DEBUG_MODE, monitor);
	}

	/**
	* Load and parse the test document.
	* @throws IOException
	*/
	protected @Nullable BaseCSResource loadDocument(IProgressMonitor monitor, @NonNull URI documentURI) throws Exception {
	Resource contextResource = contextObject != null ? contextObject.eResource() : null;
	ResourceSet resourceSet = contextResource != null ? contextResource.getResourceSet() : null;
	if (resourceSet == null) {
	resourceSet = new ResourceSetImpl();
	}
	Resource resource = resourceSet.getResource(documentURI, true);
	if (resource instanceof BaseCSResource) {
	return (BaseCSResource)resource;
	}
	return null;
	}

	protected void openError(final String message) {
	shell.getDisplay().asyncExec(new Runnable()
	{
	@Override
	public void run() {
	MessageDialog.openError(shell, ConsoleMessages.Debug_Starter, message);
	}
	});
	}

	protected void openError(final String message, final @NonNull Exception e) {
	shell.getDisplay().asyncExec(new Runnable()
	{
	@Override
	public void run() {
	IStatus status = new Status(IStatus.ERROR, XtextConsolePlugin.PLUGIN_ID, e.getLocalizedMessage(), e);
	ErrorDialog.openError(shell, ConsoleMessages.Debug_Starter, message, status);
	}
	});
	}

	@Override
	public void run(IProgressMonitor monitor) {
	monitor.beginTask(NLS.bind(ConsoleMessages.Debug_Starter, expression), 3);
	try {
	monitor.subTask(ConsoleMessages.Debug_ProgressCreate);
	URI documentURI;
	try {
	documentURI = createDocument(monitor);
	} catch (Exception e) {
	openError(ConsoleMessages.Debug_FailCreate, e);
	return;
	}
	monitor.worked(1);
	monitor.subTask(ConsoleMessages.Debug_ProgressLoad);
	BaseCSResource csResource;
	@SuppressWarnings("null")@NonNull String debug_FailLoad = ConsoleMessages.Debug_FailLoad;
	try {
	csResource = loadDocument(monitor, documentURI);
	} catch (Exception e) {
	openError(debug_FailLoad, e);
	return;
	}
	if (csResource == null) {
	openError(debug_FailLoad);
	return;
	}
	String message = PivotUtil.formatResourceDiagnostics(ClassUtil.nonNullEMF(csResource.getErrors()), debug_FailLoad, "\n\t");
	if (message != null) {
	openError(message);
	return;
	}
	ExpressionInOCL query;
	try {
	query = ElementUtil.getFirstQuery(environmentFactory.getMetamodelManager(), csResource);
	} catch (ParserException e) {
	openError(debug_FailLoad, e);
	return;
	}
	if (query == null) {
	openError(debug_FailLoad);
	return;
	}
	monitor.worked(1);
	monitor.subTask(ConsoleMessages.Debug_ProgressLoad);
	try {
	launch = launchDebugger(monitor, contextObject, query);
	} catch (CoreException e) {
	openError(ConsoleMessages.Debug_FailLaunch, e);
	}
	monitor.worked(1);
	}
	finally {
	monitor.done();
	}
	}
	}

	public static @NonNull UMLUIConstraintLocator INSTANCE = new UMLUIConstraintLocator();

	@Override
	public boolean debug(@NonNull ResultConstrainingNode resultConstrainingNode, final @NonNull ValidityView validityView, @NonNull IProgressMonitor monitor) throws CoreException {
	final Object object = resultConstrainingNode.getParent().getConstrainingObject();
	if (!(object instanceof org.eclipse.uml2.uml.Constraint)) {
	throw new IllegalStateException("non-UML Constraint " + object);
	// return false;
	}
	org.eclipse.uml2.uml.Constraint umlConstraint = (org.eclipse.uml2.uml.Constraint)object;
	Resource eResource = umlConstraint.eResource();
	if (eResource == null) {
	return false;
	}
	EnvironmentFactoryInternalExtension environmentFactory = (EnvironmentFactoryInternalExtension) PivotUtilInternal.getEnvironmentFactory(eResource);
	Constraint constraint = null;
	try {
	constraint = environmentFactory.getASOf(Constraint.class, umlConstraint);
	} catch (ParserException e) {
	// TODO Auto-generated catch block
	e.printStackTrace();
	}
	if (constraint == null) {
	throw new IllegalStateException("non-UML Constraint " + object);
	// return false;
	}





	// URI constraintURI = EcoreUtil.getURI(constraint);
	// Path path = new Path(constraintURI.toPlatformString(true));
	LanguageExpression specification = constraint.getOwnedSpecification();
	String expression = specification != null ? PrettyPrinter.print(specification) : "";

	ValidatableNode parent = resultConstrainingNode.getResultValidatableNode().getParent();
	if (parent == null) {
	return false;
	}
	EObject eObject = parent.getConstrainedObject();

	Shell shell = validityView.getSite().getShell();
	if (shell == null) {
	return false;
	}
	DebugStarter runnable = new DebugStarter(shell, environmentFactory, eObject, expression);


	// IProgressService progressService = PlatformUI.getWorkbench().getProgressService();
	// try {
	// progressService.run(true, true, runnable);
	runnable.run(monitor);
	// } catch (InvocationTargetException e) {
	// Throwable targetException = e.getTargetException();
	// IStatus status = new Status(IStatus.ERROR, XtextConsolePlugin.PLUGIN_ID, targetException.getLocalizedMessage(), targetException);
	// ErrorDialog.openError(shell, ConsoleMessages.Debug_Starter, ConsoleMessages.Debug_FailStart, status);
	// } catch (InterruptedException e) {
	/* Cancel is not a problem. */
	// }
	return runnable.getLaunch() != null;
	/*

	IPath trimmedPath = path.removeLastSegments(1);
	IContainer folder = (IContainer) ResourcesPlugin.getWorkspace().getRoot().findMember(trimmedPath);
	Path tailPath = new Path(constraint.getName() + ".essentialocl");
	final IFile file = folder.getFile(tailPath);
	file.create(new URIConverter.ReadableInputStream(string, "UTF-8"), false, null);

	// URI contextURI = EcoreUtil.getURI(eObject);

	// ILaunchManager launchManager = DebugPlugin.getDefault().getLaunchManager();
	// ILaunchConfigurationType launchConfigurationType = launchManager.getLaunchConfigurationType(OCLLaunchConstants.LAUNCH_CONFIGURATION_TYPE_ID);
	// ILaunchConfigurationWorkingCopy launchConfiguration = launchConfigurationType.newInstance(folder, constraint.getName());
	// launchConfiguration.setAttribute(OCLLaunchConstants.CONSTRAINT_URI, constraintURI.toString());
	// launchConfiguration.setAttribute(OCLLaunchConstants.CONTEXT_URI, contextURI.toString());
	// launchConfiguration.doSave();
	// launchConfiguration.launch(ILaunchManager.DEBUG_MODE, monitor);
	launchDebugger(monitor, eObject, expressionInOCL);
	return true; */
	}

	@Override
	public @NonNull ConstraintLocator getInstance() {
	return INSTANCE;
	}
	}