From 7b328ba8049a52619f24c70bd96c52bac749978c Mon Sep 17 00:00:00 2001
From: Lukas Ladenberger <lukas.ladenberger@gmx.de>
Date: Tue, 29 Nov 2011 10:54:48 +0100
Subject: [PATCH] created dummy editors for event-b machine + context files and
for classical-b machine files (should be replaced by correct editors)
---
de.prob.standalone/META-INF/MANIFEST.MF | 41 ++++++++++---------
de.prob.standalone/plugin.xml | 30 ++++++++++++++
.../internal/ProBNavigatorLabelProvider.java | 16 --------
3 files changed, 51 insertions(+), 36 deletions(-)
diff --git a/de.prob.standalone/META-INF/MANIFEST.MF b/de.prob.standalone/META-INF/MANIFEST.MF
index 3431a4a5..27a7eaa5 100644
--- a/de.prob.standalone/META-INF/MANIFEST.MF
+++ b/de.prob.standalone/META-INF/MANIFEST.MF
@@ -1,20 +1,21 @@
-Manifest-Version: 1.0
-Bundle-ManifestVersion: 2
-Bundle-Name: Standalone
-Bundle-SymbolicName: de.prob.standalone; singleton:=true
-Bundle-Version: 1.0.0.qualifier
-Bundle-Activator: de.prob.standalone.Activator
-Require-Bundle: org.eclipse.ui,
- org.eclipse.core.runtime,
- de.prob.ui;bundle-version="4.1.0",
- de.prob.core;bundle-version="9.1.1",
- de.bmotionstudio.gef.editor;bundle-version="5.2.0",
- org.rodinp.core;bundle-version="1.2.0",
- org.eventb.core;bundle-version="1.2.0",
- org.eclipse.ui.navigator;bundle-version="3.4.1",
- org.eclipse.ui.navigator.resources;bundle-version="3.4.1",
- org.eclipse.ui.ide;bundle-version="3.5.1",
- org.eclipse.ui.ide.application;bundle-version="1.0.101",
- org.eclipse.ui.intro
-Bundle-ActivationPolicy: lazy
-Bundle-RequiredExecutionEnvironment: J2SE-1.5
+Manifest-Version: 1.0
+Bundle-ManifestVersion: 2
+Bundle-Name: Standalone
+Bundle-SymbolicName: de.prob.standalone; singleton:=true
+Bundle-Version: 1.0.0.qualifier
+Bundle-Activator: de.prob.standalone.Activator
+Require-Bundle: org.eclipse.ui,
+ org.eclipse.core.runtime,
+ de.prob.ui;bundle-version="4.1.0",
+ de.prob.core;bundle-version="9.1.1",
+ de.bmotionstudio.gef.editor;bundle-version="5.2.0",
+ org.rodinp.core;bundle-version="1.2.0",
+ org.eventb.core;bundle-version="1.2.0",
+ org.eclipse.ui.navigator;bundle-version="3.4.1",
+ org.eclipse.ui.navigator.resources;bundle-version="3.4.1",
+ org.eclipse.ui.ide;bundle-version="3.5.1",
+ org.eclipse.ui.ide.application;bundle-version="1.0.101",
+ org.eclipse.ui.intro,
+ org.eclipse.ui.editors;bundle-version="3.7.0"
+Bundle-ActivationPolicy: lazy
+Bundle-RequiredExecutionEnvironment: J2SE-1.5
diff --git a/de.prob.standalone/plugin.xml b/de.prob.standalone/plugin.xml
index 97e9f1d8..26b13886 100644
--- a/de.prob.standalone/plugin.xml
+++ b/de.prob.standalone/plugin.xml
@@ -424,6 +424,36 @@
service="de.prob.standalone.internal.ClassicalBLanguageService">
</language>
</extension>
+ <extension
+ point="org.eclipse.ui.editors">
+ <editor
+ class="org.eclipse.ui.editors.text.TextEditor"
+ contributorClass="org.eclipse.ui.editors.text.TextEditorActionContributor"
+ default="true"
+ extensions="bum"
+ icon="icons/eventb/mch_obj.png"
+ id="de.prob.standalone.editor.eventb.machine"
+ name="Event-B Machine Editor">
+ </editor>
+ <editor
+ class="org.eclipse.ui.editors.text.TextEditor"
+ contributorClass="org.eclipse.ui.editors.text.TextEditorActionContributor"
+ default="true"
+ extensions="buc"
+ icon="icons/eventb/ctx_obj.png"
+ id="de.prob.standalone.editor.eventb.context"
+ name="Event-B Context Editor">
+ </editor>
+ <editor
+ class="org.eclipse.ui.editors.text.TextEditor"
+ contributorClass="org.eclipse.ui.editors.text.TextEditorActionContributor"
+ default="true"
+ extensions="mch"
+ icon="icons/icon16.png"
+ id="de.prob.standalone.editor.classicalb.machine"
+ name="Classical-B Machine Editor">
+ </editor>
+ </extension>
</plugin>
diff --git a/de.prob.standalone/src/de/prob/standalone/internal/ProBNavigatorLabelProvider.java b/de.prob.standalone/src/de/prob/standalone/internal/ProBNavigatorLabelProvider.java
index 3b7b6a4a..0b55b121 100644
--- a/de.prob.standalone/src/de/prob/standalone/internal/ProBNavigatorLabelProvider.java
+++ b/de.prob.standalone/src/de/prob/standalone/internal/ProBNavigatorLabelProvider.java
@@ -11,25 +11,9 @@ import org.eclipse.jface.viewers.ILabelProvider;
import org.eclipse.jface.viewers.ILabelProviderListener;
import org.eclipse.swt.graphics.Image;
-import de.prob.standalone.Activator;
-
public class ProBNavigatorLabelProvider implements ILabelProvider {
public Image getImage(final Object element) {
- // TODO: (LL) Needs to be improved
- if (element instanceof IFile) {
- IFile file = (IFile) element;
- if (file.getFileExtension().equals("bum")) {
- return Activator.getImageDescriptor("icons/eventb/mch_obj.png")
- .createImage();
- } else if (file.getFileExtension().equals("buc")) {
- return Activator.getImageDescriptor("icons/eventb/ctx_obj.png")
- .createImage();
- } else if (file.getFileExtension().equals("mch")) {
- return Activator.getImageDescriptor("icons/icon16.png")
- .createImage();
- }
- }
return null;
}
--
GitLab