/******************************************************************************* * 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.part.MultiPageEditorPart; import org.simantics.db.Session; /** * @author Tuukka Lehtonen */ public abstract class MultiPageResourceEditorPart extends MultiPageEditorPart implements IResourceEditorPart { ResourceEditorSupport support; @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()); } @Override public void dispose() { support.dispose(); super.dispose(); } @SuppressWarnings("rawtypes") @Override public Object getAdapter(Class adapter) { if (adapter == Session.class && support != null) return support.getSession(); return super.getAdapter(adapter); } protected Session getSession() { return support.getSession(); } }