/******************************************************************************* * 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.core.runtime.IProgressMonitor; import org.eclipse.ui.IEditorInput; import org.eclipse.ui.IEditorSite; import org.eclipse.ui.PartInitException; import org.eclipse.ui.forms.editor.FormEditor; import org.simantics.Simantics; import org.simantics.db.Session; import org.simantics.db.management.ISessionContext; /** * @author Tuukka Lehtonen */ public abstract class ResourceFormEditor extends FormEditor implements IResourceEditorPart { ResourceEditorSupport support; boolean disposed = false; @Override public final void doSave(IProgressMonitor monitor) { } @Override public final void doSaveAs() { } @Override public final boolean isSaveAsAllowed() { return false; } @Override public IResourceEditorInput getResourceInput() { return (IResourceEditorInput) getEditorInput(); } @Override public void init(IEditorSite site, IEditorInput input) throws PartInitException { if (!(input instanceof IResourceEditorInput)) throw new PartInitException("Invalid input: must be IResourceEditorInput"); super.init(site, input); support = new ResourceEditorSupport(this); // Set initial part name according to the name given by IEditorInput setPartName(getEditorInput().getName()); Session session = Simantics.peekSession(); if (session != null) { session.asyncRequest( new TitleRequest(site.getId(), getResourceInput()), new TitleUpdater(site.getShell().getDisplay(), this::setPartName, () -> disposed)); } } @Override public void dispose() { disposed = true; support.dispose(); super.dispose(); } protected ISessionContext getSessionContext() { return support.getSessionContext(); } protected Session getSession() { return support.getSession(); } }