1 /*******************************************************************************
\r
2 * Copyright (c) 2007, 2010 Association for Decentralized Information Management
\r
3 * in Industry THTH ry.
\r
4 * All rights reserved. This program and the accompanying materials
\r
5 * are made available under the terms of the Eclipse Public License v1.0
\r
6 * which accompanies this distribution, and is available at
\r
7 * http://www.eclipse.org/legal/epl-v10.html
\r
10 * VTT Technical Research Centre of Finland - initial API and implementation
\r
11 *******************************************************************************/
\r
12 package org.simantics.ui.workbench;
\r
14 import org.eclipse.core.runtime.IProgressMonitor;
\r
15 import org.eclipse.ui.IEditorInput;
\r
16 import org.eclipse.ui.IEditorSite;
\r
17 import org.eclipse.ui.PartInitException;
\r
18 import org.eclipse.ui.forms.editor.FormEditor;
\r
19 import org.simantics.db.Session;
\r
20 import org.simantics.db.management.ISessionContext;
\r
21 import org.simantics.ui.SimanticsUI;
\r
24 * @author Tuukka Lehtonen
\r
26 public abstract class ResourceFormEditor extends FormEditor implements IResourceEditorPart {
\r
28 ResourceEditorSupport support;
\r
29 boolean disposed = false;
\r
32 public final void doSave(IProgressMonitor monitor) {
\r
36 public final void doSaveAs() {
\r
40 public final boolean isSaveAsAllowed() {
\r
45 public IResourceEditorInput getResourceInput() {
\r
46 return (IResourceEditorInput) getEditorInput();
\r
50 public void init(IEditorSite site, IEditorInput input) throws PartInitException {
\r
51 if (!(input instanceof IResourceEditorInput))
\r
52 throw new PartInitException("Invalid input: must be IResourceEditorInput");
\r
53 super.init(site, input);
\r
54 support = new ResourceEditorSupport(this);
\r
56 // Set initial part name according to the name given by IEditorInput
\r
57 setPartName(getEditorInput().getName());
\r
59 Session session = SimanticsUI.peekSession();
\r
60 if (session != null) {
\r
61 session.asyncRequest(
\r
62 new TitleRequest(site.getId(), getResourceInput()),
\r
63 new TitleUpdater(site.getShell().getDisplay(), this::setPartName, () -> disposed));
\r
68 public void dispose() {
\r
74 protected ISessionContext getSessionContext() {
\r
75 return support.getSessionContext();
\r
78 protected Session getSession() {
\r
79 return support.getSession();
\r