Skip to content
Snippets Groups Projects
Commit 799ca685 authored by Lukas Ladenberger's avatar Lukas Ladenberger
Browse files

improved prob navigator

parent d9568531
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
de.prob.standalone/plugin.xml
+ 48
− 104
View file @ 799ca685
......@@ -70,11 +70,18 @@
<instanceof
value="org.eclipse.core.resources.IResource">
</instanceof>
<or>
<test
forcePluginActivation="true"
property="org.eclipse.core.resources.extension"
value="mch">
</test>
<test
forcePluginActivation="true"
property="org.eclipse.core.resources.extension"
value="ref">
</test>
</or>
</and>
</iterate>
</with>
......@@ -323,117 +330,54 @@
point="org.eclipse.ui.navigator.navigatorContent">
<navigatorContent
activeByDefault="true"
contentProvider="de.prob.standalone.internal.FormalModelContentProvider"
id="de.prob.standalone.navigatorContent.formalModelContent"
labelProvider="de.prob.standalone.internal.FormalModelLabelProvider"
name="Formal Model Content"
contentProvider="de.prob.standalone.internal.ProBNavigatorContentProvider"
id="de.prob.standalone.navigatorContent.probContent"
labelProvider="de.prob.standalone.internal.ProBNavigatorLabelProvider"
name="ProB Navigation Content Provider"
priority="normal">
<triggerPoints>
<or>
<and>
<instanceof
value="org.eclipse.core.resources.IResource">
</instanceof>
<test
forcePluginActivation="true"
property="org.eclipse.core.resources.extension"
value="bum">
</test>
</and>
<and>
<instanceof
value="org.eclipse.core.resources.IResource">
</instanceof>
<test
forcePluginActivation="true"
property="org.eclipse.core.resources.extension"
value="buc">
</test>
</and>
<and>
<instanceof
value="org.eclipse.core.resources.IResource">
</instanceof>
<test
forcePluginActivation="true"
property="org.eclipse.core.resources.extension"
value="mch">
</test>
</and>
<and>
<instanceof
value="org.eclipse.core.resources.IResource">
</instanceof>
<test
forcePluginActivation="true"
property="org.eclipse.core.resources.extension"
value="bmso">
</test>
</and>
</or>
</triggerPoints>
</navigatorContent>
<commonFilter
activeByDefault="true"
id="de.prob.standalone.commonFilter.probFileFilter"
name="ProB File Filter">
name="ProB Navigation Filter">
<filterExpression>
<or>
<instanceof
value="org.eclipse.core.resources.IFolder">
</instanceof>
<and>
<instanceof
value="org.eclipse.core.resources.IFile">
</instanceof>
<not>
<and>
<instanceof
value="org.eclipse.core.resources.IFile">
value="org.eclipse.core.resources.IResource">
</instanceof>
<or>
<test
forcePluginActivation="true"
property="org.eclipse.core.resources.extension"
value="buc">
value="bcc">
</test>
</and>
</not>
<not>
<and>
<instanceof
value="org.eclipse.core.resources.IFile">
</instanceof>
<test
forcePluginActivation="true"
property="org.eclipse.core.resources.extension"
value="bum">
value="bpo">
</test>
</and>
</not>
<not>
<and>
<instanceof
value="org.eclipse.core.resources.IFile">
</instanceof>
<test
forcePluginActivation="true"
property="org.eclipse.core.resources.extension"
value="bmso">
value="bpr">
</test>
</and>
</not>
<not>
<and>
<instanceof
value="org.eclipse.core.resources.IFile">
</instanceof>
<test
forcePluginActivation="true"
property="org.eclipse.core.resources.extension"
value="mch">
value="bps">
</test>
</and>
</not>
<test
forcePluginActivation="true"
property="org.eclipse.core.resources.extension"
value="bcm">
</test>
</or>
</and>
</or>
</filterExpression>
......
de.prob.standalone/src/de/prob/standalone/internal/FormalModelContentProvider.java → de.prob.standalone/src/de/prob/standalone/internal/ProBNavigatorContentProvider.java
+ 39
− 39
View file @ 799ca685
......@@ -9,7 +9,7 @@ package de.prob.standalone.internal;
import org.eclipse.jface.viewers.ITreeContentProvider;
import org.eclipse.jface.viewers.Viewer;
public class FormalModelContentProvider implements ITreeContentProvider {
public class ProBNavigatorContentProvider implements ITreeContentProvider {
public Object getParent(final Object element) {
return null;
......
de.prob.standalone/src/de/prob/standalone/internal/FormalModelLabelProvider.java → de.prob.standalone/src/de/prob/standalone/internal/ProBNavigatorLabelProvider.java
+ 60
− 59
View file @ 799ca685
......@@ -13,9 +13,10 @@ import org.eclipse.swt.graphics.Image;
import de.prob.standalone.Activator;
public class FormalModelLabelProvider implements ILabelProvider {
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")) {
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment