1 /*******************************************************************************
\r
2 * Copyright (c) 2012 Association for Decentralized Information Management in
\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.modeling.ui.componentTypeEditor;
\r
14 import java.util.function.Supplier;
\r
16 import org.eclipse.swt.widgets.Composite;
\r
17 import org.eclipse.swt.widgets.Display;
\r
18 import org.eclipse.ui.IEditorInput;
\r
19 import org.eclipse.ui.IEditorSite;
\r
20 import org.eclipse.ui.PartInitException;
\r
21 import org.eclipse.ui.PlatformUI;
\r
22 import org.eclipse.ui.editors.text.TextEditor;
\r
23 import org.eclipse.ui.texteditor.ITextEditorActionConstants;
\r
24 import org.eclipse.ui.texteditor.StatusLineContributionItem;
\r
25 import org.simantics.Simantics;
\r
26 import org.simantics.db.Session;
\r
27 import org.simantics.db.common.request.ParametrizedRead;
\r
28 import org.simantics.db.exception.DatabaseException;
\r
29 import org.simantics.db.layer0.request.combinations.Combinators;
\r
30 import org.simantics.scl.ui.editor.SharedTextColorsNew;
\r
31 import org.simantics.ui.workbench.IResourceEditorInput;
\r
32 import org.simantics.ui.workbench.ResourceEditorSupport;
\r
33 import org.simantics.ui.workbench.TitleUpdater;
\r
34 import org.simantics.ui.workbench.TitleWithParentNameRequest;
\r
35 import org.simantics.ui.workbench.ToolTipRequest;
\r
36 import org.simantics.ui.workbench.editor.input.InputValidationCombinators;
\r
40 * @author Antti Villberg;
\r
42 public class PGraphEditor extends TextEditor {
\r
44 private boolean disposed = false;
\r
46 private ParametrizedRead<IResourceEditorInput, Boolean> INPUT_VALIDATOR =
\r
47 Combinators.compose(
\r
48 InputValidationCombinators.hasURI(),
\r
49 InputValidationCombinators.extractInputResource()
\r
52 private ResourceEditorSupport support;
\r
54 public PGraphEditor() {
\r
59 protected void preInitialize() {
\r
60 //showOverviewRuler();
\r
61 setDocumentProvider(new PGraphEditorDocumentProvider());
\r
62 Display display = PlatformUI.getWorkbench().getDisplay();
\r
63 setSourceViewerConfiguration(new PGraphSourceViewerConfigurationNew(
\r
64 display, new SharedTextColorsNew(display)));
\r
67 protected ParametrizedRead<IResourceEditorInput, Boolean> getInputValidator() {
\r
68 return INPUT_VALIDATOR;
\r
72 public void init(IEditorSite site, IEditorInput input)
\r
73 throws PartInitException {
\r
74 super.init(site, input);
\r
76 support = new ResourceEditorSupport(this, getInputValidator());
\r
77 support.activateValidation();
\r
79 getResourceInput().init(null);
\r
80 } catch (DatabaseException e) {
\r
81 throw new PartInitException("Failed to initialize " + input, e);
\r
85 protected IResourceEditorInput getResourceInput() {
\r
86 return (IResourceEditorInput) getEditorInput();
\r
90 public void createPartControl(Composite parent) {
\r
91 super.createPartControl(parent);
\r
92 StatusLineContributionItem statusLineContribution = new StatusLineContributionItem(
\r
93 ITextEditorActionConstants.STATUS_CATEGORY_INPUT_POSITION,
\r
95 setStatusField(statusLineContribution,
\r
96 ITextEditorActionConstants.STATUS_CATEGORY_INPUT_POSITION);
\r
97 getEditorSite().getActionBars().getStatusLineManager().add(statusLineContribution);
\r
98 getEditorSite().getActionBars().updateActionBars();
\r
102 protected void updatePartName() {
\r
103 setPartName(getEditorInput().getName());
\r
105 Session session = Simantics.peekSession();
\r
106 if (session != null) {
\r
107 Supplier<Boolean> disposedCallback = this::isDisposed;
\r
108 session.asyncRequest(
\r
109 new TitleWithParentNameRequest(getResourceInput()),
\r
110 new TitleUpdater(getSite().getShell().getDisplay(), this::setPartName, disposedCallback));
\r
111 session.asyncRequest(
\r
112 new ToolTipRequest(getSite().getId(), getResourceInput()),
\r
113 new TitleUpdater(getSite().getShell().getDisplay(), this::setTitleToolTip, disposedCallback));
\r
118 public void dispose() {
\r
120 if (support != null) {
\r
127 public boolean isDisposed() {
\r