Skip to content
Snippets Groups Projects

Compare revisions

Changes are shown as if the source revision was being merged into the target revision. Learn more about comparing revisions.

Source

Select target project
No results found

Target

Select target project
  • af3/af3-rcp
1 result
Show changes
Commits on Source (38)
Expand all Hide whitespace changes
Inline Side-by-side
Showing
with 30588 additions and 34355 deletions
org.fortiss.af3.rcp.application/.classpath
View file @ 67e7dc24
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11">
<attributes>
<attribute name="module" value="true"/>
</attributes>
</classpathentry>
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
<classpathentry kind="src" path="src"/>
<classpathentry kind="src" path="test-src"/>
<classpathentry kind="output" path="build"/>
</classpath>
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11">
<attributes>
<attribute name="module" value="true"/>
</attributes>
</classpathentry>
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
<classpathentry kind="src" path="src"/>
<classpathentry kind="output" path="build"/>
</classpath>
.settings @ 310d1c04
Compare d117b3db...310d1c04
Subproject commit d117b3db1742a745f515d2b6c52cc9a02e57c299
Subproject commit 310d1c04f28f6252d5a02dd8fde1b76ae4a4da51
org.fortiss.af3.rcp.application/META-INF/MANIFEST.MF
View file @ 67e7dc24
Manifest-Version: 1.0
Automatic-Module-Name: org.fortiss.af3.rcp.application
Bundle-ManifestVersion: 2
Bundle-Name: AF3 RCP
Bundle-SymbolicName: org.fortiss.af3.rcp.application;singleton:=true
Bundle-Version: 2.16.0.qualifier
Bundle-Activator: org.fortiss.af3.rcp.application.AF3ApplicationActivator
Bundle-Vendor: fortiss GmbH
Bundle-RequiredExecutionEnvironment: JavaSE-11
Bundle-ActivationPolicy: lazy
Export-Package: org.fortiss.af3.rcp.application;
uses:="org.eclipse.jface.action,
org.eclipse.core.runtime,
org.eclipse.jface.resource,
org.eclipse.ui.application,
org.eclipse.ui,
org.eclipse.ui.plugin,
org.eclipse.equinox.app,
org.osgi.framework",
org.fortiss.af3.rcp.application.example,
test.org.fortiss.af3.rcp.application
Require-Bundle: org.fortiss.af3.rcp.help;bundle-version="2.16.0",
eu.fbk.af3.tools.diagram.ui;bundle-version="2.16.0",
org.fortiss.af3.cosimulation.ui;bundle-version="2.16.0",
org.fortiss.af3.exploration.ui;bundle-version="2.16.0",
org.fortiss.af3.mira.ui;bundle-version="2.16.0",
org.fortiss.af3.mode.ui;bundle-version="2.16.0",
org.fortiss.af3.msc.ui;bundle-version="2.16.0",
org.fortiss.af3.operatorpanel.ui;bundle-version="2.16.0",
org.fortiss.af3.platform.beagle.ui;bundle-version="2.16.0",
org.fortiss.af3.partition.ui;bundle-version="2.16.0",
org.fortiss.af3.platform.hierarchic.ui;bundle-version="2.16.0",
org.fortiss.af3.platform.ui;bundle-version="2.16.0",
org.fortiss.af3.project;bundle-version="2.16.0",
org.fortiss.af3.project.ui;bundle-version="2.16.0",
org.fortiss.af3.refinement.ui;bundle-version="2.16.0",
org.fortiss.af3.safety.ui;bundle-version="2.16.0",
org.fortiss.af3.safetycases.ui;bundle-version="2.16.0",
org.fortiss.af3.task.ui;bundle-version="2.16.0",
org.fortiss.af3.schedule.ui;bundle-version="2.16.0",
org.fortiss.af3.specification.ui;bundle-version="2.16.0",
org.fortiss.af3.state.ui;bundle-version="2.16.0",
org.fortiss.af3.testing.ui;bundle-version="2.16.0",
org.fortiss.af3.testing;bundle-version="2.16.0",
org.fortiss.af3.timing.ui;bundle-version="2.16.0",
org.fortiss.tooling.kernel.ui;bundle-version="2.16.0",
javax.servlet,
javax.servlet.jsp,
org.apache.commons.logging,
org.eclipse.core.variables,
org.eclipse.equinox.http.jetty,
org.eclipse.equinox.http.registry,
org.eclipse.equinox.http.servlet,
org.eclipse.equinox.p2.director,
org.eclipse.osgi.services,
org.eclipse.swtbot.eclipse.finder;bundle-version="2.0.5";resolution:=optional,
org.eclipse.swtbot.forms.finder;bundle-version="2.0.5";resolution:=optional,
org.eclipse.swtbot.junit4_x;bundle-version="2.0.5";resolution:=optional,
org.eclipse.ui,
org.eclipse.ui.intro;bundle-version="3.4.100",
org.eclipse.ui.intro.universal;bundle-version="3.3.500"
Manifest-Version: 1.0
Automatic-Module-Name: org.fortiss.af3.rcp.application
Bundle-ManifestVersion: 2
Bundle-Name: AF3 RCP
Bundle-SymbolicName: org.fortiss.af3.rcp.application;singleton:=true
Bundle-Version: 2.16.0.qualifier
Bundle-Activator: org.fortiss.af3.rcp.application.AF3ApplicationActivator
Bundle-Vendor: fortiss GmbH
Bundle-RequiredExecutionEnvironment: JavaSE-11
Bundle-ActivationPolicy: lazy
Export-Package: org.fortiss.af3.rcp.application;
uses:="org.eclipse.jface.action,
org.eclipse.core.runtime,
org.eclipse.jface.resource,
org.eclipse.ui.application,
org.eclipse.ui,
org.eclipse.ui.plugin,
org.eclipse.equinox.app,
org.osgi.framework",
org.fortiss.af3.rcp.application.example
Require-Bundle: org.fortiss.af3.rcp.help;bundle-version="2.16.0",
eu.fbk.af3.tools.diagram.ui;bundle-version="2.16.0",
org.fortiss.af3.cosimulation.ui;bundle-version="2.16.0",
org.fortiss.af3.exploration.ui;bundle-version="2.16.0",
org.fortiss.af3.mira.ui;bundle-version="2.16.0",
org.fortiss.af3.mode.ui;bundle-version="2.16.0",
org.fortiss.af3.operatorpanel.ui;bundle-version="2.16.0",
org.fortiss.af3.partition.ui;bundle-version="2.16.0",
org.fortiss.af3.platform.hierarchic.ui;bundle-version="2.16.0",
org.fortiss.af3.platform.ui;bundle-version="2.16.0",
org.fortiss.af3.project;bundle-version="2.16.0",
org.fortiss.af3.project.ui;bundle-version="2.16.0",
org.fortiss.af3.safety.ui;bundle-version="2.16.0",
org.fortiss.af3.safetycases.ui;bundle-version="2.16.0",
org.fortiss.af3.task.ui;bundle-version="2.16.0",
org.fortiss.af3.schedule.ui;bundle-version="2.16.0",
org.fortiss.af3.state.ui;bundle-version="2.16.0",
org.fortiss.af3.timing.ui;bundle-version="2.16.0",
org.fortiss.tooling.kernel.ui;bundle-version="2.16.0",
javax.servlet,
javax.servlet.jsp,
org.apache.commons.logging,
org.eclipse.core.variables,
org.eclipse.equinox.http.jetty,
org.eclipse.equinox.http.registry,
org.eclipse.equinox.http.servlet,
org.eclipse.equinox.p2.director,
org.eclipse.osgi.services,
org.eclipse.swtbot.eclipse.finder;bundle-version="2.0.5";resolution:=optional,
org.eclipse.swtbot.forms.finder;bundle-version="2.0.5";resolution:=optional,
org.eclipse.swtbot.junit4_x;bundle-version="2.0.5";resolution:=optional,
org.eclipse.ui,
org.eclipse.ui.intro;bundle-version="3.4.100",
org.eclipse.ui.intro.universal;bundle-version="3.3.500",
org.eclipse.ui.ide.application;bundle-version="1.3.300"
org.fortiss.af3.rcp.application/build.properties
View file @ 67e7dc24
# (c) 2011 fortiss GmbH
source.. = src/,\
test-src/
source.. = src/
output.. = build/
bin.includes = plugin.xml,\
META-INF/,\
......@@ -10,4 +9,6 @@ bin.includes = plugin.xml,\
splash.bmp,\
html/,\
plugin_customization.ini,\
test-data/
test-data/,\
introdata.xml,\
intro/
org.fortiss.af3.rcp.application/intro/introContent.xml
View file @ 67e7dc24
......@@ -115,9 +115,6 @@
<link label="Load Operator Panel Example" url="http://org.eclipse.ui.intro/runAction?class=org.fortiss.af3.rcp.application.actions.LoadOperatorPanelExampleAction&#38;pluginId=org.fortiss.af3.rcp.application" id="orgfortissaf3rcpapplication-introLinkExample" style-id="content-link">
<text>Operator Panel Example</text>
</link>
<link label="Load STLC Beagle Java Deployment Example" url="http://org.eclipse.ui.intro/runAction?class=org.fortiss.af3.rcp.application.actions.LoadSimpleTrafficLightsBeagleBoneJavaDeploymentAction&#38;pluginId=org.fortiss.af3.rcp.application" id="orgfortissaf3rcpapplication-introLinkExample" style-id="content-link">
<text>Simple Traffic Lights Beagle Java Deployment</text>
</link>
</group>
</extensionContent>
......
org.fortiss.af3.rcp.application/plugin.xml
View file @ 67e7dc24
......@@ -19,14 +19,10 @@
<product
application="org.fortiss.af3.rcp.application.af3app"
description="AutoFOCUS 3 - &quot;Phoenix&quot; Release"
name="AutoFOCUS 3 - &quot;Phoenix&quot;">
name="AutoFOCUS 3 - &quot;Phoenix&quot; 2.16">
<property
name="appName"
value="AutoFOCUS 3 - &quot;Phoenix&quot;">
</property>
<property
name="preferenceCustomization"
value="plugin_customization.ini">
value="AutoFOCUS 3 - &quot;Phoenix&quot; 2.16">
</property>
<property
name="aboutImage"
......@@ -38,7 +34,7 @@
</property>
<property
name="aboutText"
value="AutoFOCUS 3 - &quot;Phoenix&quot;&#x0A;&#x0A;Version: 2.16.0&#x0A;&#x0A;Copyright 2011-present fortiss GmbH&#x0A;&#x0A;Licensed under the Apache License, Version 2.0 (the &quot;License&quot;);&#x0A;you may not use this file except in compliance with the License.&#x0A;You may obtain a copy of the License at&#x0A;&#x0A; http://www.apache.org/licenses/LICENSE-2.0&#x0A;&#x0A;Unless required by applicable law or agreed to in writing, software&#x0A;distributed under the License is distributed on an &quot;AS IS&quot; BASIS,&#x0A;WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either &#x0A;express or implied. See the License for the specific language &#x0A;governing permissions and limitations under the License.">
value="AutoFOCUS 3 - &quot;Phoenix&quot;&#x0A;&#x0A;Version: 2.16.0&#x0A;&#x0A;Copyright 2011-2018 fortiss GmbH&#x0A;&#x0A;Licensed under the Apache License, Version 2.0 (the &quot;License&quot;);&#x0A;you may not use this file except in compliance with the License.&#x0A;You may obtain a copy of the License at&#x0A;&#x0A; http://www.apache.org/licenses/LICENSE-2.0&#x0A;&#x0A;Unless required by applicable law or agreed to in writing, software&#x0A;distributed under the License is distributed on an &quot;AS IS&quot; BASIS,&#x0A;WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either&#x0A;express or implied. See the License for the specific language&#x0A;governing permissions and limitations under the License.">
</property>
<property
name="startupProgressRect"
......@@ -64,6 +60,10 @@
name="introBrandingImageText"
value="Welcome page">
</property>
<property
name="preferenceCustomization"
value="plugin_customization.ini">
</property>
</product>
</extension>
......@@ -190,12 +190,6 @@
id="org.fortiss.af3.rcp.application.loadOperatorPanelExample"
name="LoadOperatorPanelExample">
</command>
<command
categoryId="org.eclipse.ui.category.file"
defaultHandler="org.fortiss.af3.rcp.application.handler.ApplicationCommandHandler$LoadSTLCBeagleJavaDeploymentExampleCommandHandler"
id="org.fortiss.af3.rcp.application.loadSTLCBeagleJavaDeploymentExample"
name="LoadSTLCBeagleJavaDeploymentExample">
</command>
<command
categoryId="org.eclipse.ui.category.file"
defaultHandler="org.fortiss.af3.rcp.application.handler.ApplicationCommandHandler$NewAF3LibraryCommandHandler"
......
org.fortiss.af3.rcp.application/src/org/fortiss/af3/rcp/application/actions/.ratings
View file @ 67e7dc24
LoadACCExampleAction.java fd88330c3685e1b0aea6efab9231ecc122e0d932 GREEN
LoadECarExampleAction.java 3b6bdac54a65878a58a6443616403ea8fa3bd702 GREEN
LoadEmergencyStopExampleAction.java 181729c59bcb64d5fa3790482613b3cfc1a10522 GREEN
LoadEmergencyStopWeaklyCausalExampleAction.java 5ceb5396ecf202312956158c6bef06f383a05402 GREEN
LoadExampleActionBase.java e96dab785e50a85e5f7ca00fc4e16c85b8ecea3b GREEN
LoadMotorManagementExampleAction.java 6ff16ff5ae315aa0b777448ffb69a0471f0b7e04 GREEN
LoadOperatorPanelExampleAction.java f77d32db422df0a9d913ad09f537ca8a99ee4cef GREEN
LoadSimpleTrafficLightsAF3TourExampleAction.java 849f1009f041a2edbdbc03db8e8db5e2f2eb9963 GREEN
LoadSimpleTrafficLightsBeagleBoneJavaDeploymentAction.java 429a2634cec90f774eb07f4b983f9cfc96aaab46 GREEN
LoadSimpleTrafficLightsCodeGenerationExampleAction.java 36e9f1ed5f035c336efe01a60809867abe77c339 GREEN
LoadSimpleTrafficLightsExampleAction.java 8f7461217a7030cf32cf575472a150593c73575d GREEN
LoadSimpleTrafficLightsModesExampleAction.java 28760780aa3112e3dba39da5a618f66ee0baad1a GREEN
LoadACCExampleAction.java fd88330c3685e1b0aea6efab9231ecc122e0d932 GREEN
LoadECarExampleAction.java 3b6bdac54a65878a58a6443616403ea8fa3bd702 GREEN
LoadEmergencyStopExampleAction.java 181729c59bcb64d5fa3790482613b3cfc1a10522 GREEN
LoadEmergencyStopWeaklyCausalExampleAction.java 5ceb5396ecf202312956158c6bef06f383a05402 GREEN
LoadExampleActionBase.java e96dab785e50a85e5f7ca00fc4e16c85b8ecea3b GREEN
LoadMotorManagementExampleAction.java 6ff16ff5ae315aa0b777448ffb69a0471f0b7e04 GREEN
LoadOperatorPanelExampleAction.java f77d32db422df0a9d913ad09f537ca8a99ee4cef GREEN
LoadSimpleTrafficLightsAF3TourExampleAction.java 849f1009f041a2edbdbc03db8e8db5e2f2eb9963 GREEN
LoadSimpleTrafficLightsCodeGenerationExampleAction.java 36e9f1ed5f035c336efe01a60809867abe77c339 GREEN
LoadSimpleTrafficLightsExampleAction.java 8f7461217a7030cf32cf575472a150593c73575d GREEN
LoadSimpleTrafficLightsModesExampleAction.java 28760780aa3112e3dba39da5a618f66ee0baad1a GREEN
org.fortiss.af3.rcp.application/src/org/fortiss/af3/rcp/application/actions/LoadSimpleTrafficLightsBeagleBoneJavaDeploymentAction.java deleted 100644 → 0
View file @ f6f2dd0b
/*-------------------------------------------------------------------------+
| Copyright 2019 fortiss GmbH |
| |
| Licensed under the Apache License, Version 2.0 (the "License"); |
| you may not use this file except in compliance with the License. |
| You may obtain a copy of the License at |
| |
| http://www.apache.org/licenses/LICENSE-2.0 |
| |
| Unless required by applicable law or agreed to in writing, software |
| distributed under the License is distributed on an "AS IS" BASIS, |
| WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| See the License for the specific language governing permissions and |
| limitations under the License. |
+--------------------------------------------------------------------------*/
package org.fortiss.af3.rcp.application.actions;
import org.fortiss.af3.rcp.application.AF3ApplicationActivator;
/**
* Action to load the TLC for beaglebone.
*
* @author barner
*/
public class LoadSimpleTrafficLightsBeagleBoneJavaDeploymentAction extends LoadExampleActionBase {
/** {@inheritDoc} */
@Override
protected void loadExample(String suffix) {
loadExistingModel(AF3ApplicationActivator.PLUGIN_ID,
"test-data/STLCBeagleJavaDeployment.af3_23", "STLC Beagle Java Deployment", suffix);
}
}
org.fortiss.af3.rcp.application/src/org/fortiss/af3/rcp/application/advisors/.ratings
View file @ 67e7dc24
ApplicationActionBarAdvisor.java 3e7c0fd992586e6ca7724b871eb0b2cf59244028 GREEN
ApplicationWorkbenchAdvisor.java ef25d5783a4f75e88334fd679834a6e0421f8c2f GREEN
ApplicationWorkbenchWindowAdvisor.java da5cb38300b384579532c678fbc9faa961c2ca6b GREEN
CurrentObjectiveContributionItem.java f5d2504cc9fd548037440da32405a28d77f40283 RED
UpcomingObjectiveContributionItem.java 5721c93ac6ea39842af09703ebc2b0f841bc9ed5 RED
ApplicationActionBarAdvisor.java 881198ff05ab14110efef1673f0914725348442b GREEN
ApplicationWorkbenchAdvisor.java 5d1792809c752bedc08b6d9d993ecbf70b40982c GREEN
ApplicationWorkbenchWindowAdvisor.java da5cb38300b384579532c678fbc9faa961c2ca6b GREEN
org.fortiss.af3.rcp.application/src/org/fortiss/af3/rcp/application/advisors/ApplicationActionBarAdvisor.java
View file @ 67e7dc24
......@@ -125,12 +125,6 @@ public class ApplicationActionBarAdvisor extends ActionBarAdvisor {
/** AF3-Specific Export Action. */
private static WorkbenchCommandAction exportAF3ProjectsAction;
/** The current objective combo box. */
private static CurrentObjectiveContributionItem currentObjective;
/** The upcoming objective combo box. */
private static UpcomingObjectiveContributionItem upcomingObjective;
// Actions to open Examples.
/** AF3-Specific Action to open the SimpleTrafficLights-Example. */
......@@ -160,9 +154,6 @@ public class ApplicationActionBarAdvisor extends ActionBarAdvisor {
/** AF3-Specific Action to open the EmergencyStopWeaklyCausal-Example. */
private static WorkbenchCommandAction openEmergencyStopWeaklyCausalExampleAction;
/** AF3-Specific Action to open the Beagle Java Deployment Example. */
private static WorkbenchCommandAction openSTLCBeagleJavaDeploymentExampleAction;
/** AF3-Specific Action to open the operator panel example. */
private static WorkbenchCommandAction openOperatorPanelExampleAction;
......@@ -230,7 +221,6 @@ public class ApplicationActionBarAdvisor extends ActionBarAdvisor {
registerEmergencyStopExample(window);
registerEmergencyStopWeaklyCausalExample(window);
registerLoadOperatorPanelExample(window);
registerLoadSTLCBeagleJavaDeploymentExample(window);
registerImportAF3Project(window);
registerExportAF3Project(window);
registerExit(window);
......@@ -242,8 +232,6 @@ public class ApplicationActionBarAdvisor extends ActionBarAdvisor {
registerAboutAction(window);
registerGoBack(window);
registerGoForward(window);
createCurrentObjective();
createUpcomingObjective();
}
/**
......@@ -456,16 +444,6 @@ public class ApplicationActionBarAdvisor extends ActionBarAdvisor {
"org.fortiss.af3.rcp.application.loadOperatorPanelExample", window);
}
/**
* Registers the "Load STLC Beagle Java Deployment Example" action and attaches it to the
* corresponding button.
*/
private void registerLoadSTLCBeagleJavaDeploymentExample(IWorkbenchWindow window) {
openSTLCBeagleJavaDeploymentExampleAction = createAndRegisterWorkBenchCommandAction(
"Load STLC Beagle Java Deployment Example",
"org.fortiss.af3.rcp.application.loadSTLCBeagleJavaDeploymentExample", window);
}
/**
* Registers the "Import AF3-Project" action and attaches it to the corresponding button.
*/
......@@ -546,21 +524,6 @@ public class ApplicationActionBarAdvisor extends ActionBarAdvisor {
register(goBack);
}
/**
* Creates the "current objective" label by loading the text from a file
*/
private void createCurrentObjective() {
currentObjective = new CurrentObjectiveContributionItem();
}
/**
* Creates the "upcoming objective" label by loading the text from a file
* (for better alignment with the other toolbar elements)
*/
private void createUpcomingObjective() {
upcomingObjective = new UpcomingObjectiveContributionItem();
}
/** {@inheritDoc} */
@Override
protected void fillCoolBar(ICoolBarManager coolBar) {
......@@ -574,10 +537,6 @@ public class ApplicationActionBarAdvisor extends ActionBarAdvisor {
toolBarManager.add(goBack);
toolBarManager.add(goForward);
toolBarManager.add(new Separator());
toolBarManager.add(currentObjective);
toolBarManager.add(upcomingObjective);
upcomingObjective.setCurrentObjective(currentObjective);
}
/** {@inheritDoc} */
......@@ -603,7 +562,6 @@ public class ApplicationActionBarAdvisor extends ActionBarAdvisor {
openAF3ExampleMenuManager.add(openEmergencyStopExampleAction);
openAF3ExampleMenuManager.add(openEmergencyStopWeaklyCausalExampleAction);
openAF3ExampleMenuManager.add(openOperatorPanelExampleAction);
openAF3ExampleMenuManager.add(openSTLCBeagleJavaDeploymentExampleAction);
fileMenu.add(new Separator());
fileMenu.add(refreshWorkspaceAction);
fileMenu.add(saveAction);
......
org.fortiss.af3.rcp.application/src/org/fortiss/af3/rcp/application/advisors/ApplicationWorkbenchAdvisor.java
View file @ 67e7dc24
......@@ -30,7 +30,6 @@ import org.fortiss.af3.exploration.service.IDSEBackendService;
import org.fortiss.af3.exploration.smt.backend.Z3Backend;
import org.fortiss.af3.exploration.ui.AF3ExplorationUIActivator;
import org.fortiss.af3.project.AF3Project;
import org.fortiss.af3.project.ui.AF3ProjectUI;
import org.fortiss.af3.timing.ITimingSpecificationService;
import org.fortiss.tooling.base.ToolingBase;
import org.fortiss.tooling.kernel.ToolingKernel;
......@@ -69,8 +68,6 @@ public class ApplicationWorkbenchAdvisor extends WorkbenchAdvisor {
ToolingKernel.start();
ToolingBase.start();
ToolingKernelUI.start();
AF3Project.start();
AF3ProjectUI.start();
IAllocationService.getInstance().startService();
ITimingSpecificationService.getInstance().startService();
IDSEBackendService.getInstance().startService();
......
org.fortiss.af3.rcp.application/src/org/fortiss/af3/rcp/application/advisors/CurrentObjectiveContributionItem.java deleted 100644 → 0
View file @ f6f2dd0b
/*--------------------------------------------------------------------------+
| |
| |
| Copyright 2017 fortiss GmbH |
| |
| Licensed under the Apache License, Version 2.0 (the "License"); |
| you may not use this file except in compliance with the License. |
| You may obtain a copy of the License at |
| |
| http://www.apache.org/licenses/LICENSE-2.0 |
| |
| Unless required by applicable law or agreed to in writing, software |
| distributed under the License is distributed on an "AS IS" BASIS, |
| WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| See the License for the specific language governing permissions and |
| limitations under the License. |
+--------------------------------------------------------------------------*/
package org.fortiss.af3.rcp.application.advisors;
import static java.util.stream.Collectors.toList;
import static org.eclipse.core.resources.ResourcesPlugin.getWorkspace;
import static org.eclipse.wb.swt.SWTResourceManager.getColor;
import static org.fortiss.tooling.base.ui.utils.ConstraintsBaseUIUtils.activateConfiguration;
import static org.fortiss.tooling.base.ui.utils.ConstraintsBaseUIUtils.deactivateConfiguration;
import static org.fortiss.tooling.base.utils.ConstraintsBaseUtils.getActiveConfigurationsTransitively;
import static org.fortiss.tooling.kernel.utils.EcoreUtils.getFirstParentWithType;
import java.text.DecimalFormat;
import java.util.List;
import org.eclipse.core.resources.IResourceChangeEvent;
import org.eclipse.core.resources.IResourceChangeListener;
import org.eclipse.emf.common.util.EList;
import org.eclipse.emf.ecore.EObject;
import org.eclipse.jface.action.ContributionItem;
import org.eclipse.jface.viewers.ISelection;
import org.eclipse.jface.viewers.ITreeSelection;
import org.eclipse.swt.SWT;
import org.eclipse.swt.custom.CCombo;
import org.eclipse.swt.events.SelectionAdapter;
import org.eclipse.swt.events.SelectionEvent;
import org.eclipse.swt.graphics.Point;
import org.eclipse.swt.graphics.RGB;
import org.eclipse.swt.layout.GridLayout;
import org.eclipse.swt.widgets.Composite;
import org.eclipse.swt.widgets.Control;
import org.eclipse.swt.widgets.Display;
import org.eclipse.swt.widgets.Label;
import org.eclipse.ui.ISelectionListener;
import org.eclipse.ui.ISelectionService;
import org.eclipse.ui.IWorkbenchPart;
import org.eclipse.ui.PlatformUI;
import org.eclipse.ui.menus.WorkbenchWindowControlContribution;
import org.fortiss.af3.project.model.FileProject;
import org.fortiss.af3.project.model.IProjectConfigurationElement;
import org.fortiss.af3.project.model.configuration.DevelopmentProcessConfiguration;
import org.fortiss.af3.project.model.development.ConstraintBasedDevelopmentProcess;
import org.fortiss.af3.project.model.development.DummyDevelopmentProcess;
import org.fortiss.af3.project.model.impl.ProjectConfigurationImpl;
import org.fortiss.tooling.base.model.element.ConstraintConfiguration;
import org.fortiss.tooling.kernel.extension.data.ITopLevelElement;
import org.fortiss.tooling.kernel.model.IProjectRootElement;
import org.fortiss.tooling.kernel.model.constraints.ConstraintInstance;
import org.fortiss.tooling.kernel.model.constraints.IConstraintInstanceContainer;
import org.fortiss.tooling.kernel.model.constraints.IConstraintInstanceStatus;
import org.fortiss.tooling.kernel.model.constraints.SuccessConstraintInstanceStatus;
import org.fortiss.tooling.kernel.service.IPersistencyService;
import org.fortiss.tooling.kernel.ui.service.IConstraintUIService;
/**
* {@link ContributionItem} to select current development process objective.
*
* @author rahman
*
*/
class CurrentObjectiveContributionItem extends WorkbenchWindowControlContribution
implements ISelectionListener, IResourceChangeListener {
/** Helper to align the upcoming objective combo with the current objective combo. */
public class SizedComposite extends Composite {
/** Constructor. */
public SizedComposite(Composite parent, int style) {
super(parent, style);
}
/** {@inheritDoc} */
@Override
public void setSize(Point size) {
super.setSize(computeSize(SWT.DEFAULT, SWT.DEFAULT, true));
}
/** {@inheritDoc} */
@Override
public void setSize(int width, int height) {
Point size = computeSize(SWT.DEFAULT, SWT.DEFAULT, true);
super.setSize(size.x, size.y);
}
}
/** The initial objectives. */
private String[] initialSetOfObjectives = {};
/** Placeholder string for when no objective is selected. */
private String initialObjective = "No modeling objective selected";
/** The Combo holding the time between the simulation steps. */
private CCombo currentObjectiveCombo;
/** The control object holding the combo. */
// private ToolItem toolitem;
/** Composite instance to hold several controls */
private Composite composite;
/** Configuration of the current project selected in the combo box. */
private ConstraintBasedDevelopmentProcess currentDevelopmentProcess = null;
/** Constructor. */
public CurrentObjectiveContributionItem() {
super("CurrentObjectiveContributionItem");
// TODO (SB, 12): See
// org.fortiss.tooling.kernel.ui.util.EObjectSelectionUtils.getSelectionService()
ISelectionService ss =
PlatformUI.getWorkbench().getActiveWorkbenchWindow().getSelectionService();
ss.addSelectionListener(this);
getWorkspace().addResourceChangeListener(this);
}
/** {@inheritDoc} */
@Override
public boolean isDynamic() {
return true;
}
/** {@inheritDoc} */
@Override
protected Control createControl(Composite parent) {
composite = new SizedComposite(parent, SWT.NONE);
GridLayout layout = new GridLayout(2, false);
layout.marginWidth = 0;
composite.setLayout(layout);
Label label = new Label(composite, SWT.TRANSPARENT);
label.setText("Current Objective");
// Objective Combo
currentObjectiveCombo = new CCombo(composite, SWT.DROP_DOWN);
currentObjectiveCombo.setItems(initialSetOfObjectives);
currentObjectiveCombo.setText(initialObjective);
currentObjectiveCombo.setToolTipText("Set the next modelling objective.");
currentObjectiveCombo.addSelectionListener(new SelectionAdapter() {
@Override
public void widgetSelected(SelectionEvent e) {
String textInCombo = ((CCombo)e.getSource()).getText();
if(!textInCombo.isEmpty()) {
updateObjectiveByName(textInCombo);
}
}
});
parent.setSize(composite.computeSize(parent.getSize().x, SWT.DEFAULT, true));
return composite;
}
/** Compute Combo width. */
@Override
protected int computeWidth(Control control) {
return control.computeSize(SWT.DEFAULT, SWT.DEFAULT, true).x;
}
/**
* Get the pointer to the configuration having a given name.
*
* @param constraintName
* The name of the constraint to look for.
* @return The real configuration.
*/
private ConstraintConfiguration getConstraintConfigByName(String constraintName) {
ConstraintConfiguration ret = null;
if(currentDevelopmentProcess != null) {
EList<ConstraintConfiguration> configs = currentDevelopmentProcess.getConfigurations();
for(ConstraintConfiguration constraintConfiguration : configs) {
if(constraintConfiguration.getName().equals(constraintName)) {
ret = constraintConfiguration;
}
}
}
return ret;
}
/** {@inheritDoc} */
@Override
public void selectionChanged(IWorkbenchPart part, ISelection selection) {
// Updates the current objective if any object is selected on the navigator window.
EList<ConstraintConfiguration> configs = null;
if(selection instanceof ITreeSelection) {
if(((ITreeSelection)selection).getFirstElement() != null) {
Object objectChosenElement = ((ITreeSelection)selection).getFirstElement();
if(objectChosenElement instanceof EObject) {
EObject chosenElement = (EObject)objectChosenElement;
FileProject fileProject = null;
if(chosenElement instanceof FileProject) {
fileProject = (FileProject)chosenElement;
} else {
fileProject = getFirstParentWithType(chosenElement, FileProject.class);
if(fileProject == null) {
// We are in the context of a Library.
return;
}
}
EList<IProjectRootElement> rootElems = fileProject.getRootElements();
// TODO (SB, 14): Test and justify that list is not empty
// there only exists one root for each project
ProjectConfigurationImpl config = (ProjectConfigurationImpl)rootElems.get(0);
EList<IProjectConfigurationElement> configElements =
config.getConfigurationElements();
// TODO (SB, 14): Test and justify that list contains at least two elements (or
// exactly two elements, what-ever makes more sense)
DevelopmentProcessConfiguration processConfig =
(DevelopmentProcessConfiguration)configElements.get(1);
if(!(processConfig.getDevelopment() instanceof DummyDevelopmentProcess)) {
ConstraintBasedDevelopmentProcess process =
(ConstraintBasedDevelopmentProcess)processConfig.getDevelopment();
configs = process.getConfigurations();
currentDevelopmentProcess = process;
List<String> configNames =
configs.stream().map(c -> c.getName()).collect(toList());
String[] configNamesArray = new String[configNames.size()];
configNames.toArray(configNamesArray);
currentObjectiveCombo.setItems(configNamesArray);
String currObjName = currentDevelopmentProcess != null
? currentDevelopmentProcess.getCurrentObjective().getName() : null;
currentObjectiveCombo.setText(currObjName);
updateObjectiveByName(currObjName);
}
}
}
}
}
/**
* Helper structure to keep the number of instances of a constraint that are satisfied
* versus the total number of instances of that constraint.
*/
private class ConstraintResultHolder {
// TODO(SB, 4): Use text from Constructor parameter documentation
// TODO(SB, do you really need a Float object here?)
/** successful constraints count */
private Float successCount;
// TODO(SB, 4): Use text from Constructor parameter documentation
// TODO(SB, do you really need a Float object here?)
/** total constraints count */
private Float totalCount;
// TODO: Just document with /** Constructor. */
/**
* Getter and setter for the number of instances of a constraint that are satisfied
* versus the total number of instances of that constraint.
*
* @param satisfiedConstraintCount
* the count of constraints that are satisfied
* @param totalConstraintCount
* the total number of constraints to be considered
*/
public ConstraintResultHolder(float satisfiedConstraintCount, float totalConstraintCount) {
this.successCount = satisfiedConstraintCount;
this.totalCount = totalConstraintCount;
}
}
/**
* Calculate the scores for the current objectives and all objectives it depends on, display it
* in the tool tip and set the background color of the current objective accordingly.
*/
private void generateScoresAndUpdateUI(ConstraintBasedDevelopmentProcess process) {
float successPercentage = -1f;
ConstraintResultHolder resultHolder = generateScoresForConfig(process);
if(resultHolder.totalCount == 0) {
currentObjectiveCombo.setBackground(null);
currentObjectiveCombo.setToolTipText(
new DecimalFormat("##").format(0 * 100) + "% of the constraints are satisfied");
} else {
successPercentage = resultHolder.successCount / resultHolder.totalCount;
if(successPercentage == 0) {
RGB color = new RGB(0, .5f, 1);
currentObjectiveCombo.setBackground(getColor(color));
} else if(successPercentage < 1f && successPercentage > 0f) {
RGB color = new RGB(20, .5f, 1);
currentObjectiveCombo.setBackground(getColor(color));
} else if(successPercentage == 1f) {
RGB color = new RGB(130, .5f, 1);
currentObjectiveCombo.setBackground(getColor(color));
}
String tooltiptext = new DecimalFormat("##").format(successPercentage * 100) +
"% of the constraints are satisfied";
currentObjectiveCombo.setToolTipText(tooltiptext);
}
}
/**
* Updates the current objective to the objective having the name passed as a parameter.
*
* @param newObjectiveName
* The name of the objective to update to.
*/
public void updateObjectiveByName(String newObjectiveName) {
ConstraintConfiguration newObjective = getConstraintConfigByName(newObjectiveName);
ConstraintConfiguration currentObjective = currentDevelopmentProcess.getCurrentObjective();
final ConstraintConfiguration oldObjective = currentObjective;
if(newObjective != null) {
IPersistencyService ps = IPersistencyService.getInstance();
ITopLevelElement modelContext = ps.getTopLevelElementFor(currentDevelopmentProcess);
modelContext.runAsNonDirtyingCommand(() -> {
currentDevelopmentProcess.setCurrentObjective(newObjective);
List<ConstraintConfiguration> activeConfigs =
getActiveConfigurationsTransitively(newObjective, null);
if(!activeConfigs.contains(oldObjective)) {
IConstraintInstanceContainer constraintInstanceContainer =
currentDevelopmentProcess.getConstraintInstanceContainer();
deactivateConfiguration(oldObjective, constraintInstanceContainer,
newObjective);
}
// TODO(SB, 11): Can't you just shift the definition of
// constraintInstanceContainer in the above if one level up? Or can
// deactivateConfiguration() influence the result of
// currentDevelopmentProcess.getConstraintInstanceContainer()?
IConstraintInstanceContainer constraintInstanceContainer =
currentDevelopmentProcess.getConstraintInstanceContainer();
activateConfiguration(newObjective, constraintInstanceContainer);
});
String currentObjectiveName = currentDevelopmentProcess.getCurrentObjective().getName();
currentObjectiveCombo.setText(currentObjectiveName);
generateScoresAndUpdateUI(currentDevelopmentProcess);
List<String> configNames = currentDevelopmentProcess.getConfigurations().stream()
.map(c -> c.getName()).collect(toList());
String[] configNamesArray = new String[configNames.size()];
configNames.toArray(configNamesArray);
currentObjectiveCombo.removeAll();
for(String comboString : configNamesArray) {
currentObjectiveCombo.add(comboString);
}
String currentObjectiveNewName =
currentDevelopmentProcess.getCurrentObjective().getName();
currentObjectiveCombo.setText(currentObjectiveNewName);
// toolitem.setWidth(computeWidth(composite));
}
}
/**
* Generates an object containing how many instances of a given constraints are satisfied and
* how many constraints in all exist in the given objective.
*/
private ConstraintResultHolder getConstraintValueObjectByName(String constraintName) {
Integer success = 0;
Integer total = 0;
EList<ConstraintInstance> instances =
currentDevelopmentProcess.getConstraintInstanceContainer().getConstraintInstances();
IConstraintUIService cs = IConstraintUIService.getInstance();
for(ConstraintInstance ci : instances) {
if(constraintName.equalsIgnoreCase(ci.getConstraintName())) {
IConstraintInstanceStatus status = cs.getStatus(ci);
if(status instanceof SuccessConstraintInstanceStatus) {
success++;
}
total++;
}
}
return new ConstraintResultHolder(success, total);
}
/** Generates scores for configuration. */
private ConstraintResultHolder
generateScoresForConfig(ConstraintBasedDevelopmentProcess process) {
float totalConstraintCount = 0;
float satisfiedConstraintCount = 0;
EList<String> activeConstraints = process.getCurrentObjective().getActiveConstraints();
for(String activeConstraintName : activeConstraints) {
ConstraintResultHolder constraintValueObjectByName =
getConstraintValueObjectByName(activeConstraintName);
satisfiedConstraintCount += constraintValueObjectByName.successCount;
totalConstraintCount += constraintValueObjectByName.totalCount;
}
return new ConstraintResultHolder(satisfiedConstraintCount, totalConstraintCount);
}
/** {@inheritDoc} */
@Override
public void resourceChanged(IResourceChangeEvent event) {
Display display = Display.getCurrent();
if(event.getType() == IResourceChangeEvent.POST_CHANGE &&
currentDevelopmentProcess != null && display != null) {
display.syncExec(() -> {
generateScoresAndUpdateUI(currentDevelopmentProcess);
EList<ConstraintConfiguration> configurations =
currentDevelopmentProcess.getConfigurations();
List<String> configNames =
configurations.stream().map(c -> c.getName()).collect(toList());
String[] configNamesArray = new String[configNames.size()];
configNames.toArray(configNamesArray);
currentObjectiveCombo.removeAll();
for(String comboString : configNamesArray) {
currentObjectiveCombo.add(comboString);
}
currentObjectiveCombo
.setText(currentDevelopmentProcess.getCurrentObjective().getName());
});
}
}
}
org.fortiss.af3.rcp.application/src/org/fortiss/af3/rcp/application/advisors/UpcomingObjectiveContributionItem.java deleted 100644 → 0
View file @ f6f2dd0b
/*-------------------------------------------------------------------------+
| Copyright 2017 fortiss GmbH |
| |
| Licensed under the Apache License, Version 2.0 (the "License"); |
| you may not use this file except in compliance with the License. |
| You may obtain a copy of the License at |
| |
| http://www.apache.org/licenses/LICENSE-2.0 |
| |
| Unless required by applicable law or agreed to in writing, software |
| distributed under the License is distributed on an "AS IS" BASIS, |
| WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| See the License for the specific language governing permissions and |
| limitations under the License. |
+--------------------------------------------------------------------------*/
package org.fortiss.af3.rcp.application.advisors;
import static java.util.Collections.emptyList;
import static org.fortiss.tooling.base.ui.utils.ConstraintsBaseUIUtils.activateConfiguration;
import static org.fortiss.tooling.base.ui.utils.ConstraintsBaseUIUtils.activateOneConfiguration;
import static org.fortiss.tooling.base.ui.utils.ConstraintsBaseUIUtils.deactivateConfiguration;
import static org.fortiss.tooling.base.ui.utils.ConstraintsBaseUIUtils.deactivateOneConfiguration;
import java.util.ArrayList;
import java.util.List;
import org.eclipse.core.resources.IResourceChangeEvent;
import org.eclipse.core.resources.IResourceChangeListener;
import org.eclipse.core.resources.IWorkspace;
import org.eclipse.emf.common.util.EList;
import org.eclipse.emf.ecore.EObject;
import org.eclipse.jface.viewers.ISelection;
import org.eclipse.jface.viewers.ITreeSelection;
import org.eclipse.swt.SWT;
import org.eclipse.swt.custom.CCombo;
import org.eclipse.swt.events.FocusEvent;
import org.eclipse.swt.events.FocusListener;
import org.eclipse.swt.events.SelectionEvent;
import org.eclipse.swt.events.SelectionListener;
import org.eclipse.swt.graphics.Point;
import org.eclipse.swt.layout.GridLayout;
import org.eclipse.swt.widgets.Composite;
import org.eclipse.swt.widgets.Control;
import org.eclipse.swt.widgets.Display;
import org.eclipse.swt.widgets.Label;
import org.eclipse.ui.ISelectionListener;
import org.eclipse.ui.ISelectionService;
import org.eclipse.ui.IWorkbenchPart;
import org.eclipse.ui.menus.WorkbenchWindowControlContribution;
import org.fortiss.af3.project.model.IProjectConfigurationElement;
import org.fortiss.af3.project.model.configuration.DevelopmentProcessConfiguration;
import org.fortiss.af3.project.model.development.ConstraintBasedDevelopmentProcess;
import org.fortiss.af3.project.model.development.impl.DummyDevelopmentProcessImpl;
import org.fortiss.af3.project.model.impl.FileProjectImpl;
import org.fortiss.af3.project.model.impl.ProjectConfigurationImpl;
import org.fortiss.tooling.base.model.element.ConstraintConfiguration;
import org.fortiss.tooling.common.util.LambdaUtils;
import org.fortiss.tooling.kernel.extension.data.ITopLevelElement;
import org.fortiss.tooling.kernel.model.IProjectRootElement;
import org.fortiss.tooling.kernel.model.constraints.ConstraintInstance;
import org.fortiss.tooling.kernel.model.constraints.IConstraintInstanceContainer;
import org.fortiss.tooling.kernel.model.constraints.IConstraintInstanceStatus;
import org.fortiss.tooling.kernel.model.constraints.SuccessConstraintInstanceStatus;
import org.fortiss.tooling.kernel.ui.service.IConstraintUIService;
import org.fortiss.tooling.kernel.utils.EcoreUtils;
// TODO (SB, 3)
// TODO (SB, 24): There seem to be many commonalities with CurrentObjectiveContributionItem -> derive base class and/or utility methods. Transfer my review and cleanup in CurrentObjectiveContributionItem also to this class!
/**
* @author levilucio
*/
public class UpcomingObjectiveContributionItem extends WorkbenchWindowControlContribution
implements ISelectionListener, IResourceChangeListener {
/** Helper to align the upcoming objective combo with the current objective combo. */
public class SizedComposite extends Composite {
/** Constructor. */
public SizedComposite(Composite parent, int style) {
super(parent, style);
}
/** {@inheritDoc} */
@Override
public void setSize(Point size) {
super.setSize(computeSize(SWT.DEFAULT, SWT.DEFAULT, true));
}
/** {@inheritDoc} */
@Override
public void setSize(int width, int height) {
Point size = computeSize(SWT.DEFAULT, SWT.DEFAULT, true);
super.setSize(size.x, size.y);
}
}
/** The initial upcoming objectives. */
private String[] initialSetOfObjectives = {};
/** Placeholder string for when no objective is selected. */
private String initialObjective = "No upcoming objective available";
/** The Combo holding the upcoming objectives. */
private CCombo upcomingObjectiveCombo;
/** Configuration of the current project selected in the combo box. */
private ConstraintBasedDevelopmentProcess currentDevelopmentProcess = null;
/** The current objective combo box. */
CurrentObjectiveContributionItem currentObjective;
/** Composite instance to hold several controls */
private Composite composite;
/** Constructor. */
public UpcomingObjectiveContributionItem() {
ISelectionService ww = org.eclipse.ui.PlatformUI.getWorkbench().getActiveWorkbenchWindow()
.getSelectionService();
ww.addSelectionListener(this);
IWorkspace workspace = org.eclipse.core.resources.ResourcesPlugin.getWorkspace();
workspace.addResourceChangeListener(this);
}
/** {@inheritDoc} */
@Override
public boolean isDynamic() {
return true;
}
/** {@inheritDoc} */
@Override
protected Control createControl(Composite parent) {
// This extra composite is only required here...
composite = new SizedComposite(parent, SWT.NONE);
GridLayout layout = new GridLayout(3, false);
layout.marginWidth = 0;
composite.setLayout(layout);
// Add a separator to the current objective combo.
new Label(composite, SWT.HORIZONTAL);
Label label = new Label(composite, SWT.TRANSPARENT);
label.setText("Upcoming Objective");
// Objective Combo
upcomingObjectiveCombo = new CCombo(composite, SWT.DROP_DOWN);
upcomingObjectiveCombo.setItems(initialSetOfObjectives);
upcomingObjectiveCombo.setText(initialObjective);
upcomingObjectiveCombo.setToolTipText("Set the next modelling objective.");
upcomingObjectiveCombo.addSelectionListener(new SelectionListener() {
@Override
public void widgetSelected(SelectionEvent e) {
currentObjective.updateObjectiveByName(((CCombo)e.getSource()).getText());
}
@Override
public void widgetDefaultSelected(SelectionEvent e) {
// do nothing
}
});
upcomingObjectiveCombo.addFocusListener(new FocusListener() {
@Override
public void focusGained(FocusEvent e) {
if(currentDevelopmentProcess != null) {
List<ConstraintConfiguration> upcomingConfigs = getUpcomingObjectives();
if(upcomingConfigs.size() != 0) {
List<String> configNames = new ArrayList<String>();
for(ConstraintConfiguration constraintConfiguration : upcomingConfigs) {
configNames.add(constraintConfiguration.getName());
}
String[] configNamesArray = new String[configNames.size()];
configNames.toArray(configNamesArray);
upcomingObjectiveCombo.setItems(configNamesArray);
upcomingObjectiveCombo.setText(configNamesArray[0]);
} else {
upcomingObjectiveCombo.setItems(new String[0]);
upcomingObjectiveCombo.setText(initialObjective);
}
}
}
@Override
public void focusLost(FocusEvent e) {
// do nothing
}
});
parent.setSize(composite.computeSize(parent.getSize().x, SWT.DEFAULT));
return composite;
}
/** Compute Combo Width */
@Override
protected int computeWidth(Control control) {
return control.computeSize(SWT.DEFAULT, SWT.DEFAULT, true).x;
}
/** {@inheritDoc} */
@Override
public void selectionChanged(IWorkbenchPart part, ISelection selection) {
// set the current project to the one selected on the navigation tree
if(selection instanceof ITreeSelection) {
if(((ITreeSelection)selection).getFirstElement() != null) {
Object objectChosenElement = ((ITreeSelection)selection).getFirstElement();
if(objectChosenElement instanceof EObject) {
EObject chosenElement = (EObject)objectChosenElement;
FileProjectImpl fileProject = null;
if(chosenElement instanceof FileProjectImpl) {
fileProject = (FileProjectImpl)chosenElement;
} else {
fileProject = EcoreUtils.getFirstParentWithType(chosenElement,
FileProjectImpl.class);
if(fileProject == null) {
// We are in the context of a Library.
return;
}
}
EList<IProjectRootElement> rootElems = fileProject.getRootElements();
// there only exists one root for each project
ProjectConfigurationImpl config = (ProjectConfigurationImpl)rootElems.get(0);
EList<IProjectConfigurationElement> configElements =
config.getConfigurationElements();
DevelopmentProcessConfiguration processConfig =
(DevelopmentProcessConfiguration)configElements.get(1);
if(!(processConfig.getDevelopment() instanceof DummyDevelopmentProcessImpl)) {
ConstraintBasedDevelopmentProcess process =
(ConstraintBasedDevelopmentProcess)processConfig.getDevelopment();
currentDevelopmentProcess = process;
}
}
setUpcomingComboBasedOnCrieterion();
}
}
}
/**
* Find the upcoming objectives. These are the objectives following the ones in the
* dependence tree that have already been completely fulfilled (for which all the
* constraints are satisfied).
*
* @return List of configurations not yet satisfied.
*/
private List<ConstraintConfiguration> getUpcomingObjectives() {
// TODO: See #3246, 3248: This may or may not be the right solution
if(currentDevelopmentProcess == null) {
return emptyList();
}
EList<ConstraintConfiguration> configs = currentDevelopmentProcess.getConfigurations();
List<ConstraintConfiguration> atomicConfigs =
LambdaUtils.filterList(configs, c -> c.getIncludedConfigurations().isEmpty());
List<ConstraintConfiguration> satisfiedObjectives = new ArrayList<>();
List<ConstraintConfiguration> upcomingObjectives = new ArrayList<>();
for(ConstraintConfiguration constraintConfiguration : atomicConfigs) {
if(isConfigurationSatisfied(constraintConfiguration)) {
satisfiedObjectives.add(constraintConfiguration);
} else {
upcomingObjectives.add(constraintConfiguration);
}
}
boolean newSatisfiedAddedObjectives = !satisfiedObjectives.isEmpty();
List<ConstraintConfiguration> newConfigsToTreat;
while(newSatisfiedAddedObjectives) {
newSatisfiedAddedObjectives = false;
newConfigsToTreat = getDependentConfigurations(satisfiedObjectives);
newConfigsToTreat.removeAll(upcomingObjectives);
for(ConstraintConfiguration cstr : newConfigsToTreat) {
if(isConfigurationSatisfied(cstr)) {
satisfiedObjectives.add(cstr);
newSatisfiedAddedObjectives = true;
} else
upcomingObjectives.add(cstr);
}
}
return upcomingObjectives;
}
/**
* Find all configurations that depend on a set of given configurations.
*
* @param configs
* The configurations for which dependent configurations will be searched for.
* @return the configurations that depend on the input set of configuration.
*/
private List<ConstraintConfiguration>
getDependentConfigurations(List<ConstraintConfiguration> configs) {
List<ConstraintConfiguration> allConfigs = currentDevelopmentProcess.getConfigurations();
ArrayList<ConstraintConfiguration> res = new ArrayList<ConstraintConfiguration>();
for(ConstraintConfiguration cstr : allConfigs) {
if(cstr.getIncludedConfigurations().size() != 0) {
if(!configs.contains(cstr) &&
configs.containsAll(cstr.getIncludedConfigurations())) {
res.add(cstr);
}
}
}
return res;
}
/**
* Find if a given configuration is satisfied by the current state of the model.
*
* @param constraintConfiguration
* The configuration to check
* @return true if the configuration is satisfied, false otherwise
*/
private boolean isConfigurationSatisfied(ConstraintConfiguration constraintConfiguration) {
ITopLevelElement modelContext = org.fortiss.tooling.kernel.service.IPersistencyService
.getInstance().getTopLevelElementFor(currentDevelopmentProcess);
boolean result = true;
if(modelContext == null) {
return result;
}
EList<String> activeConstraints = constraintConfiguration.getActiveConstraints();
if(!activeConstraints.isEmpty()) {
ConstraintConfiguration currentObjective =
currentDevelopmentProcess.getCurrentObjective();
IConstraintInstanceContainer constraintInstanceContainer =
currentDevelopmentProcess.getConstraintInstanceContainer();
modelContext.runAsNonDirtyingCommand(() -> {
// deactivate current configurations
deactivateConfiguration(currentObjective, constraintInstanceContainer);
// activate configuration to be checked
activateOneConfiguration(constraintConfiguration, constraintInstanceContainer);
});
for(String constraintName : activeConstraints) {
EList<ConstraintInstance> instances =
constraintInstanceContainer.getConstraintInstances();
for(ConstraintInstance ci : instances) {
if(constraintName.equalsIgnoreCase(ci.getConstraintName())) {
IConstraintInstanceStatus status =
IConstraintUIService.getInstance().getStatus(ci);
if(!(status instanceof SuccessConstraintInstanceStatus)) {
result = false;
break;
}
}
}
}
modelContext.runAsNonDirtyingCommand(() -> {
// deactivate configuration to be checked
deactivateOneConfiguration(constraintConfiguration, constraintInstanceContainer);
// reactivate current configuration
activateConfiguration(currentObjective, constraintInstanceContainer);
});
}
return result;
}
/** Sets currentObjective. */
public void setCurrentObjective(CurrentObjectiveContributionItem currentObjective) {
this.currentObjective = currentObjective;
}
/** listener for resource changes */
@Override
public void resourceChanged(IResourceChangeEvent event) {
if(event.getType() == org.eclipse.core.resources.IResourceChangeEvent.POST_CHANGE &&
currentDevelopmentProcess != null && Display.getCurrent() != null) {
setUpcomingComboBasedOnCrieterion();
}
}
/**
* shows and hides the upcoming objective panel based on the number of upcoming objective
*/
private void setUpcomingComboBasedOnCrieterion() {
if(getUpcomingObjectives().isEmpty() && composite != null) {
upcomingObjectiveCombo.setEnabled(false);
} else {
upcomingObjectiveCombo.setEnabled(true);
upcomingObjectiveCombo.setFocus();
}
upcomingObjectiveCombo.redraw();
}
}
org.fortiss.af3.rcp.application/src/org/fortiss/af3/rcp/application/handler/.ratings
View file @ 67e7dc24
ApplicationCommandHandler.java 13f8996a0b388aa316a940147a50317bad47f5c0 GREEN
ApplicationCommandHandler.java 579327ec9cf27f09bfcfc110afde4d25503e8b6c GREEN
org.fortiss.af3.rcp.application/src/org/fortiss/af3/rcp/application/handler/ApplicationCommandHandler.java
View file @ 67e7dc24
......@@ -223,10 +223,7 @@ public class ApplicationCommandHandler {
}
}
/**
* Handles the command action to create the standard
* SimpleTrafficLightsExample project.
*/
/** Handles the command action to create the standard SimpleTrafficLightsExample project. */
public static final class LoadSimpleTrafficLightsExampleCommandHandler extends AbstractHandler {
/**
......@@ -290,9 +287,7 @@ public class ApplicationCommandHandler {
}
}
/**
* Handles the command action to create the SimpleTrafficLights_AF3Tour project.
*/
/** Handles the command action to create the SimpleTrafficLights_AF3Tour project. */
public static final class LoadSimpleTrafficLights_AF3TourCommandHandler
extends AbstractHandler {
......@@ -308,9 +303,7 @@ public class ApplicationCommandHandler {
}
}
/**
* Handles the command action to create the MotorManagement-Example project.
*/
/** Handles the command action to create the MotorManagement-Example project. */
public static final class LoadMotorManagementExampleCommandHandler extends AbstractHandler {
/**
......@@ -325,9 +318,7 @@ public class ApplicationCommandHandler {
}
}
/**
* Handles the command action to create the ACC-Example project.
*/
/** Handles the command action to create the ACC-Example project. */
public static final class LoadACCExampleCommandHandler extends AbstractHandler {
/**
......@@ -341,9 +332,7 @@ public class ApplicationCommandHandler {
}
}
/**
* Handles the command action to create the ACC-Refinement-Example project.
*/
/** Handles the command action to create the ACC-Refinement-Example project. */
public static final class LoadACCRefinementExampleCommandHandler extends AbstractHandler {
/**
......@@ -358,9 +347,7 @@ public class ApplicationCommandHandler {
}
}
/**
* Handles the command action to create the eCar-Example project.
*/
/** Handles the command action to create the eCar-Example project. */
public static final class LoadECarExampleCommandHandler extends AbstractHandler {
/**
......@@ -374,9 +361,7 @@ public class ApplicationCommandHandler {
}
}
/**
* Handles the command action to create the EmergencyStop-Example project.
*/
/** Handles the command action to create the EmergencyStop-Example project. */
public static final class LoadEmergencyStopExampleCommandHandler extends AbstractHandler {
/**
......@@ -391,9 +376,7 @@ public class ApplicationCommandHandler {
}
}
/**
* Handles the command action to create the EmergencyStopWeaklyCausal-Example project.
*/
/** Handles the command action to create the EmergencyStopWeaklyCausal-Example project. */
public static final class LoadEmergencyStopWeaklyCausalExampleCommandHandler
extends AbstractHandler {
......@@ -410,9 +393,7 @@ public class ApplicationCommandHandler {
}
}
/**
* Handles the command action to create the Operator-Panel-Example project.
*/
/** Handles the command action to create the Operator-Panel-Example project. */
public static final class LoadOperatorPanelExampleCommandHandler extends AbstractHandler {
/**
......@@ -427,27 +408,7 @@ public class ApplicationCommandHandler {
}
}
/**
* Handles the command action to create the beagle java example project.
*/
public static final class LoadSTLCBeagleJavaDeploymentExampleCommandHandler
extends AbstractHandler {
/**
* Execute definition that creates the beagle java example project and, if
* required, a new general project directory.
*/
@Override
public Object execute(ExecutionEvent event) {
loadExistingModel(AF3ApplicationActivator.PLUGIN_ID,
"test-data/STLCBeagleJavaDeployment.af3_23", "STLC Beagle Java Deployment");
return null;
}
}
/**
* Handles the command action to import an existing AF3-Project.
*/
/** Handles the command action to import an existing AF3-Project. */
public static final class ImportAF3ProjectCommandHandler extends AbstractHandler {
/** Execute definition that imports an existing AF3-Project. */
......@@ -489,7 +450,6 @@ public class ApplicationCommandHandler {
if(exportFileLocation != null) {
// Use copy to avoid error 'Cannot modify resource set
// without a write transaction'.
exportProject(copy(selectedProject), selectedProject.eResource().getURI(),
createFileURI(exportFileLocation));
}
......