-/*******************************************************************************\r
- * Copyright (c) 2007, 2010 Association for Decentralized Information Management\r
- * in Industry THTH ry.\r
- * All rights reserved. This program and the accompanying materials\r
- * are made available under the terms of the Eclipse Public License v1.0\r
- * which accompanies this distribution, and is available at\r
- * http://www.eclipse.org/legal/epl-v10.html\r
- *\r
- * Contributors:\r
- * VTT Technical Research Centre of Finland - initial API and implementation\r
- *******************************************************************************/\r
-package org.simantics.ui.workbench;\r
-\r
-import org.eclipse.ui.IEditorInput;\r
-import org.simantics.db.ReadGraph;\r
-import org.simantics.db.exception.DatabaseException;\r
-import org.simantics.project.IProjectService;\r
-import org.simantics.utils.datastructures.hints.IHintContext.Key;\r
-import org.simantics.utils.datastructures.hints.IHintContext.KeyOf;\r
-\r
-/**\r
- * An IProject service for naming editors while working on a project.\r
- * \r
- * @author Tuukka Lehtonen\r
- */\r
-public interface IEditorNamingService extends IProjectService {\r
-\r
- /**\r
- * This key is used with an IProject for storing an\r
- * {@link IEditorNamingService} in it. If this hint exists in the project,\r
- * then the project has its own way of naming editors and it should be used\r
- * by editors to initialize their titles.\r
- */\r
- Key KEY_EDITOR_NAMING_SERVICE = new KeyOf(IEditorNamingService.class);\r
-\r
- /**\r
- * Get the name that should be shown on an editor with the specified id and\r
- * the specified input.\r
- * \r
- * @param graph a graph for reading information for constructing a name\r
- * @param editorId the ID of the editor to be named\r
- * @param input the input of the editor to be named\r
- * @return the service-preferred name for the editor\r
- * @throws DatabaseException on any errors that occur while reading the\r
- * graph\r
- */\r
- String getName(ReadGraph graph, String editorId, IEditorInput input) throws DatabaseException;\r
-\r
-}\r
+/*******************************************************************************
+ * Copyright (c) 2007, 2010 Association for Decentralized Information Management
+ * in Industry THTH ry.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * VTT Technical Research Centre of Finland - initial API and implementation
+ *******************************************************************************/
+package org.simantics.ui.workbench;
+
+import org.eclipse.ui.IEditorInput;
+import org.simantics.db.ReadGraph;
+import org.simantics.db.exception.DatabaseException;
+import org.simantics.project.IProjectService;
+import org.simantics.utils.datastructures.hints.IHintContext.Key;
+import org.simantics.utils.datastructures.hints.IHintContext.KeyOf;
+
+/**
+ * An IProject service for naming editors while working on a project.
+ *
+ * @author Tuukka Lehtonen
+ */
+public interface IEditorNamingService extends IProjectService {
+
+ /**
+ * This key is used with an IProject for storing an
+ * {@link IEditorNamingService} in it. If this hint exists in the project,
+ * then the project has its own way of naming editors and it should be used
+ * by editors to initialize their titles.
+ */
+ Key KEY_EDITOR_NAMING_SERVICE = new KeyOf(IEditorNamingService.class);
+
+ /**
+ * Get the name that should be shown on an editor with the specified id and
+ * the specified input.
+ *
+ * @param graph a graph for reading information for constructing a name
+ * @param editorId the ID of the editor to be named
+ * @param input the input of the editor to be named
+ * @return the service-preferred name for the editor
+ * @throws DatabaseException on any errors that occur while reading the
+ * graph
+ */
+ String getName(ReadGraph graph, String editorId, IEditorInput input) throws DatabaseException;
+
+}