From 7f6c286e55dc9fa922d61704b6bf23769c5dfbad Mon Sep 17 00:00:00 2001
From: Alberto Debiasi <adebiasi@fbk.eu>
Date: Thu, 16 Nov 2017 08:53:16 +0100
Subject: [PATCH] Renamed some methods
Change-Id: I93b8c36709206e89e09eaf9a2be3a2c8bc3694f3
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>
---
.../util/ContractEntityUtil.java | 15 +-
.../chesscontract/util/EntityUtil.java | 7 +-
.../.classpath | 15 +-
.../tasks/generate.xml | 152 ++++++++++--------
.../tasks/generateErrorModel.xml | 152 ++++++++++--------
.../tasks/generateFaultExtensions.xml | 152 ++++++++++--------
.../service/internal/utils/SelectionUtil.java | 8 +
7 files changed, 292 insertions(+), 209 deletions(-)
diff --git a/plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/util/ContractEntityUtil.java b/plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/util/ContractEntityUtil.java
index 80b92c6c6..159da789e 100644
--- a/plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/util/ContractEntityUtil.java
+++ b/plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/util/ContractEntityUtil.java
@@ -55,8 +55,19 @@ public class ContractEntityUtil {
}
- public String convertContractPropertyInStr(ContractProperty contractProperty) {
- Class umlContract = (Class) contractProperty.getBase_Property().getType();
+ public String convertContractPropertyInStr(ContractProperty contractProperty) throws Exception {
+
+
+
+ Property baseProperty = contractProperty.getBase_Property();
+
+ String basePropertyName = baseProperty.getName();
+ Class umlContract = (Class) baseProperty.getType();
+
+ if(umlContract == null){
+ throw new Exception("The contract instance "+basePropertyName+" of "+((Class)entityUtil.getOwner(baseProperty)).getName()+" does not have a contract.");
+ }
+
String contractName = umlContract.getName();
String assume = getAssumeStrFromUmlContract(umlContract);
String guarantee = getGuaranteeStrFromUmlContract(umlContract);
diff --git a/plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/util/EntityUtil.java b/plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/util/EntityUtil.java
index 5eac0c941..441703dc1 100644
--- a/plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/util/EntityUtil.java
+++ b/plugins/contracts/org.polarsys.chess.contracts.profile/src/org/polarsys/chess/contracts/profile/chesscontract/util/EntityUtil.java
@@ -91,7 +91,7 @@ public class EntityUtil {
return null;
}
- public Set<Property> getSubComponents(Class umlComponent) {
+ public Set<Property> getSubComponentsInstances(Class umlComponent) {
Set<Property> subComponents = new HashSet<Property>();
for (Property umlProperty : ((Class) umlComponent).getAttributes()) {
if (isComponentInstance(umlProperty)) {
@@ -124,7 +124,7 @@ public class EntityUtil {
public Set<String> getSubComponentsNames(Class umlComponent) {
Set<String> subComponentsNames = new HashSet<String>();
- for (Property umlProperty : getSubComponents(umlComponent)) {
+ for (Property umlProperty : getSubComponentsInstances(umlComponent)) {
subComponentsNames.add((umlProperty).getName());
}
return subComponentsNames;
@@ -285,7 +285,6 @@ public class EntityUtil {
if (umlProperty.getType() != null) {
if (UMLUtil.getAppliedStereotype(umlProperty.getType(), BOUNDED_TYPE, false) != null) {
- System.out.println("true");
return true;
}
}
@@ -324,9 +323,7 @@ public class EntityUtil {
public Set<String> getListValuesForEnumeratorType(Property umlProperty) {
Set<String> enumValuesNames = new HashSet<String>();
- System.out.println("getValuesForEnumeratorType");
if(umlProperty.getType() instanceof Enumeration){
- System.out.println("is enumerator!!!");
for(EnumerationLiteral enumLit : ((Enumeration)umlProperty.getType()).getOwnedLiterals()){
enumValuesNames.add(enumLit.getName());
}
diff --git a/plugins/contracts/org.polarsys.chess.contracts.transformations/.classpath b/plugins/contracts/org.polarsys.chess.contracts.transformations/.classpath
index 304e86186..1512bf4e0 100644
--- a/plugins/contracts/org.polarsys.chess.contracts.transformations/.classpath
+++ b/plugins/contracts/org.polarsys.chess.contracts.transformations/.classpath
@@ -1,7 +1,8 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<classpath>
- <classpathentry kind="src" path="src"/>
- <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/J2SE-1.5"/>
- <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
- <classpathentry kind="output" path="bin"/>
-</classpath>
+<?xml version="1.0" encoding="UTF-8"?>
+<classpath>
+ <classpathentry kind="src" path="src"/>
+ <classpathentry kind="src" path="icons"/>
+ <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/J2SE-1.5"/>
+ <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
+ <classpathentry kind="output" path="bin"/>
+</classpath>
diff --git a/plugins/contracts/org.polarsys.chess.contracts.transformations/tasks/generate.xml b/plugins/contracts/org.polarsys.chess.contracts.transformations/tasks/generate.xml
index a3ac3d6ff..8ae2e1828 100644
--- a/plugins/contracts/org.polarsys.chess.contracts.transformations/tasks/generate.xml
+++ b/plugins/contracts/org.polarsys.chess.contracts.transformations/tasks/generate.xml
@@ -1,76 +1,98 @@
<?xml version="1.0" encoding="UTF-8"?>
<project default="generate" name="org.polarsys.chess.contracts.transformations">
- <property name="ECLIPSE_HOME" value="../../../../eclipse-modeling-luna-SR2-win32-x86_64/eclipse"/>
- <property name="ECLIPSE_WORKSPACE" value="../.."/>
+ <property name="ECLIPSE_HOME" value="../../../../../../../Google Drive/AMASS Project/ARTA_p1/eclipse"/>
+ <property name="ECLIPSE_WORKSPACE" value="../../../../../../../Google Drive/AMASS Project/ARTA_p1/eclipse/workspace"/>
<!-- The classpath with only the dependencies used by the project -->
<path id="org.polarsys.chess.contracts.transformations.libraryclasspath">
<pathelement location="${ECLIPSE_WORKSPACE}/org.polarsys.chess.contracts.transformations/bin"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.runtime_3.10.0.v20140318-2214.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/javax.annotation_1.2.0.v201401042248.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.runtime_3.12.0.v20160606-1342.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/javax.inject_1.0.0.v20091030.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.osgi_3.10.2.v20150203-1939.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.osgi.compatibility.state_1.0.1.v20140709-1414.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.equinox.common_3.6.200.v20130402-1505.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.jobs_3.6.1.v20141014-1248.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.runtime.compatibility.registry_3.5.300.v20140128-0851/runtime_registry_compatibility.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.equinox.registry_3.5.400.v20140428-1507.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.equinox.preferences_3.5.200.v20140224-1527.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.contenttype_3.4.200.v20140207-1251.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.equinox.app_1.3.200.v20130910-1609.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.ecore_2.10.2.v20150123-0348.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.common_2.10.1.v20150123-0348.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.ecore.xmi_2.10.2.v20150123-0348.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.uml2.common_2.0.1.v20150202-0947.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.uml2.types_2.0.0.v20150202-0947.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.mapping.ecore2xml_2.8.0.v20150123-0452.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ocl_3.4.2.v20140725-2242.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.osgi_3.11.3.v20170209-1843.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.osgi.compatibility.state_1.0.200.v20160504-1419.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.wst.jsdt.nashorn.extension_1.0.2.v201610280128.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.equinox.common_3.8.0.v20160509-1230.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.jobs_3.8.0.v20160509-0411.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.equinox.registry_3.6.100.v20160223-2218.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.equinox.preferences_3.6.1.v20160815-1406.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.contenttype_3.5.100.v20160418-1621.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.equinox.app_1.3.400.v20150715-1528.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.uml2.uml_5.2.3.v20170227-0935.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.ecore_2.12.0.v20160420-0247.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.common_2.12.0.v20160420-0247.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.ecore.xmi_2.12.0.v20160420-0247.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.uml2.common_2.1.0.v20170227-0935.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.uml2.types_2.0.0.v20170227-0935.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.mapping.ecore2xml_2.9.0.v20160526-0356.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ocl_3.6.0.v20160523-1914.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/lpg.runtime.java_2.0.17.v201004271640.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ocl.common_1.2.0.v20140610-0641.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ocl.ecore_3.3.100.v20140610-0641.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.acceleo.common_3.5.1.201409021433.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.acceleo.parser_3.5.1.201409021433.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.acceleo.model_3.5.1.201409021433.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.acceleo.profiler_3.5.1.201409021433.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.acceleo.engine_3.5.1.201409021433.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.codegen.ecore_2.10.2.v20150123-0452.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.codegen_2.10.0.v20150123-0452.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui_3.106.1.v20141002-1150.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.swt_3.103.2.v20150203-1313.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.swt.win32.win32.x86_64_3.103.2.v20150203-1351.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.jface_3.10.2.v20141021-1035.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.commands_3.6.100.v20140528-1422.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui.workbench_3.106.2.v20150204-1030.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.e4.ui.workbench3_0.12.0.v20140227-2118.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.resources_3.9.1.v20140825-1431.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui.ide_3.10.2.v20141118-1227.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.uml2.uml.profile.standard_1.0.0.v20150202-0947.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.sysml_1.0.2.v201502181349.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.editor_1.0.2.v201502181349.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.marte.static.profile_1.0.2.v201504031223.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.debug.core_3.9.1.v20140805-1629.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.core_1.0.2.v201502181349.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.core.sasheditor_1.0.2.v201502181349.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.core.sasheditor.di_1.0.2.v201502181349.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.transaction_1.8.0.201405281451.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.edit_2.10.1.v20150123-0452.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.ecore.change_2.10.0.v20150123-0348.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.validation_1.8.0.201405281429.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.gmf.runtime.common.core_1.7.0.201408201453.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.services.decoration_1.0.2.v201502181349.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.services.validation_1.0.2.v201502181349.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.gmf.runtime.emf.commands.core_1.7.0.201408201453.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.workspace_1.5.1.201405281451.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.gmf.runtime.emf.core_1.7.0.201408201453.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.gmf.runtime.emf.clipboard.core_1.7.0.201408201453.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.edit.ui_2.10.2.v20150123-0452.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui.views_3.7.0.v20140408-0703.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.common.ui_2.9.0.v20150123-0452.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.m2m.qvt.oml.emf.util_3.4.0.v20140306-0718.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.gmfdiag.commands_1.0.2.v201502181349.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.services.markerlistener_1.0.2.v201502181349.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.uml.service.types_1.0.2.v201502181349.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.views.modelexplorer_1.0.2.v201502181349.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ocl.common_1.4.0.v20160521-2033.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ocl.ecore_3.6.0.v20160523-1914.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.acceleo.common_3.6.6.201610060831.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.acceleo.parser_3.6.6.201610060831.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.acceleo.model_3.6.6.201610060831.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.acceleo.profiler_3.6.6.201610060831.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.acceleo.engine_3.6.6.201610060831.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.codegen.ecore_2.12.0.v20160526-0356.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.codegen_2.11.0.v20160526-0356.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui_3.108.1.v20160929-1045.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.swt_3.105.3.v20170228-0512.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.swt.win32.win32.x86_64_3.105.3.v20170228-0512.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.jface_3.12.2.v20170113-2113.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.commands_3.8.1.v20161221-1651.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui.workbench_3.108.3.v20170216-1539.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.e4.ui.workbench3_0.13.100.v20160506-0759.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.resources_3.11.1.v20161107-2032.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui.ide_3.12.3.v20170119-0935.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.marte.static.profile_1.2.0.201703081153.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.uml2.uml.profile.standard_1.0.100.v20170227-0935.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.sysml_1.2.0.201703081153.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.editor_1.3.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.ui_1.3.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.core_2.1.1.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.tools_2.0.1.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.core.log_1.2.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/com.google.guava_15.0.0.v201403281430.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.databinding.observable_1.6.0.v20160511-1747.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.core.sashwindows.di_1.2.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.transaction_1.9.0.201606071900.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.edit_2.12.0.v20160526-0356.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.ecore.change_2.11.0.v20160420-0247.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.validation_1.8.0.201606071713.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.expressions_3.5.100.v20160418-1621.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.core.sasheditor.di_2.0.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.core.sasheditor_2.0.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.widgets_2.0.1.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.databinding_1.6.0.v20160412-0910.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui.views.properties.tabbed_3.7.0.v20160310-0903.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui.forms_3.7.1.v20161220-1635.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui.views_3.8.102.v20170111-0801.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.services.labelprovider_1.2.1.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.jface.text_3.11.2.v20170220-1911.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.text_3.6.0.v20160503-1849.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.debug.core_3.10.100.v20160419-1720.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.gmf.runtime.common.core_1.7.0.201606071959.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.services.decoration_1.2.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.services.markerlistener_1.2.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.gmf.runtime.common.ui_1.8.1.201606071959.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui.console_3.6.201.v20161107-0337.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui.workbench.texteditor_3.10.1.v20160818-1626.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.team.core_3.8.0.v20160418-1534.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.edit.ui_2.12.0.v20160526-0356.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.common.ui_2.11.0.v20160526-0356.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.services.validation_2.0.1.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.gmf.runtime.emf.commands.core_1.7.0.201606071959.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.workspace_1.5.1.201606071900.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.gmf.runtime.emf.core_1.7.0.201606071959.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.gmf.runtime.emf.clipboard.core_1.7.0.201606071959.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.widgets.toolbox_1.2.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.draw2d_3.10.100.201606061308.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.emf.facet.custom.metamodel_1.2.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.emf.facet.efacet.metamodel_1.2.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.emf.facet.util.emf.catalog_1.2.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.m2m.qvt.oml.emf.util_3.6.0.v20160606-1156.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.gmfdiag.commands_2.0.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.views.modelexplorer_2.1.0.201703080851.jar"/>
</path>
<path id="org.polarsys.chess.contracts.transformations.classpath">
diff --git a/plugins/contracts/org.polarsys.chess.contracts.transformations/tasks/generateErrorModel.xml b/plugins/contracts/org.polarsys.chess.contracts.transformations/tasks/generateErrorModel.xml
index 4064fa06e..1c0d0f70d 100644
--- a/plugins/contracts/org.polarsys.chess.contracts.transformations/tasks/generateErrorModel.xml
+++ b/plugins/contracts/org.polarsys.chess.contracts.transformations/tasks/generateErrorModel.xml
@@ -1,76 +1,98 @@
<?xml version="1.0" encoding="UTF-8"?>
<project default="generateErrorModel" name="org.polarsys.chess.contracts.transformations">
- <property name="ECLIPSE_HOME" value="../../../../eclipse-modeling-luna-SR2-win32-x86_64/eclipse"/>
- <property name="ECLIPSE_WORKSPACE" value="../.."/>
+ <property name="ECLIPSE_HOME" value="../../../../../../../Google Drive/AMASS Project/ARTA_p1/eclipse"/>
+ <property name="ECLIPSE_WORKSPACE" value="../../../../../../../Google Drive/AMASS Project/ARTA_p1/eclipse/workspace"/>
<!-- The classpath with only the dependencies used by the project -->
<path id="org.polarsys.chess.contracts.transformations.libraryclasspath">
<pathelement location="${ECLIPSE_WORKSPACE}/org.polarsys.chess.contracts.transformations/bin"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.runtime_3.10.0.v20140318-2214.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/javax.annotation_1.2.0.v201401042248.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.runtime_3.12.0.v20160606-1342.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/javax.inject_1.0.0.v20091030.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.osgi_3.10.2.v20150203-1939.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.osgi.compatibility.state_1.0.1.v20140709-1414.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.equinox.common_3.6.200.v20130402-1505.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.jobs_3.6.1.v20141014-1248.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.runtime.compatibility.registry_3.5.300.v20140128-0851/runtime_registry_compatibility.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.equinox.registry_3.5.400.v20140428-1507.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.equinox.preferences_3.5.200.v20140224-1527.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.contenttype_3.4.200.v20140207-1251.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.equinox.app_1.3.200.v20130910-1609.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.ecore_2.10.2.v20150123-0348.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.common_2.10.1.v20150123-0348.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.ecore.xmi_2.10.2.v20150123-0348.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.uml2.common_2.0.1.v20150202-0947.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.uml2.types_2.0.0.v20150202-0947.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.mapping.ecore2xml_2.8.0.v20150123-0452.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ocl_3.4.2.v20140725-2242.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.osgi_3.11.3.v20170209-1843.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.osgi.compatibility.state_1.0.200.v20160504-1419.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.wst.jsdt.nashorn.extension_1.0.2.v201610280128.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.equinox.common_3.8.0.v20160509-1230.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.jobs_3.8.0.v20160509-0411.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.equinox.registry_3.6.100.v20160223-2218.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.equinox.preferences_3.6.1.v20160815-1406.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.contenttype_3.5.100.v20160418-1621.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.equinox.app_1.3.400.v20150715-1528.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.uml2.uml_5.2.3.v20170227-0935.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.ecore_2.12.0.v20160420-0247.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.common_2.12.0.v20160420-0247.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.ecore.xmi_2.12.0.v20160420-0247.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.uml2.common_2.1.0.v20170227-0935.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.uml2.types_2.0.0.v20170227-0935.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.mapping.ecore2xml_2.9.0.v20160526-0356.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ocl_3.6.0.v20160523-1914.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/lpg.runtime.java_2.0.17.v201004271640.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ocl.common_1.2.0.v20140610-0641.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ocl.ecore_3.3.100.v20140610-0641.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.acceleo.common_3.5.1.201409021433.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.acceleo.parser_3.5.1.201409021433.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.acceleo.model_3.5.1.201409021433.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.acceleo.profiler_3.5.1.201409021433.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.acceleo.engine_3.5.1.201409021433.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.codegen.ecore_2.10.2.v20150123-0452.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.codegen_2.10.0.v20150123-0452.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui_3.106.1.v20141002-1150.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.swt_3.103.2.v20150203-1313.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.swt.win32.win32.x86_64_3.103.2.v20150203-1351.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.jface_3.10.2.v20141021-1035.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.commands_3.6.100.v20140528-1422.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui.workbench_3.106.2.v20150204-1030.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.e4.ui.workbench3_0.12.0.v20140227-2118.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.resources_3.9.1.v20140825-1431.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui.ide_3.10.2.v20141118-1227.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.uml2.uml.profile.standard_1.0.0.v20150202-0947.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.sysml_1.0.2.v201502181349.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.editor_1.0.2.v201502181349.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.marte.static.profile_1.0.2.v201504031223.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.debug.core_3.9.1.v20140805-1629.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.core_1.0.2.v201502181349.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.core.sasheditor_1.0.2.v201502181349.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.core.sasheditor.di_1.0.2.v201502181349.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.transaction_1.8.0.201405281451.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.edit_2.10.1.v20150123-0452.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.ecore.change_2.10.0.v20150123-0348.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.validation_1.8.0.201405281429.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.gmf.runtime.common.core_1.7.0.201408201453.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.services.decoration_1.0.2.v201502181349.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.services.validation_1.0.2.v201502181349.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.gmf.runtime.emf.commands.core_1.7.0.201408201453.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.workspace_1.5.1.201405281451.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.gmf.runtime.emf.core_1.7.0.201408201453.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.gmf.runtime.emf.clipboard.core_1.7.0.201408201453.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.edit.ui_2.10.2.v20150123-0452.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui.views_3.7.0.v20140408-0703.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.common.ui_2.9.0.v20150123-0452.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.m2m.qvt.oml.emf.util_3.4.0.v20140306-0718.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.gmfdiag.commands_1.0.2.v201502181349.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.services.markerlistener_1.0.2.v201502181349.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.uml.service.types_1.0.2.v201502181349.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.views.modelexplorer_1.0.2.v201502181349.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ocl.common_1.4.0.v20160521-2033.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ocl.ecore_3.6.0.v20160523-1914.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.acceleo.common_3.6.6.201610060831.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.acceleo.parser_3.6.6.201610060831.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.acceleo.model_3.6.6.201610060831.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.acceleo.profiler_3.6.6.201610060831.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.acceleo.engine_3.6.6.201610060831.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.codegen.ecore_2.12.0.v20160526-0356.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.codegen_2.11.0.v20160526-0356.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui_3.108.1.v20160929-1045.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.swt_3.105.3.v20170228-0512.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.swt.win32.win32.x86_64_3.105.3.v20170228-0512.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.jface_3.12.2.v20170113-2113.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.commands_3.8.1.v20161221-1651.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui.workbench_3.108.3.v20170216-1539.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.e4.ui.workbench3_0.13.100.v20160506-0759.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.resources_3.11.1.v20161107-2032.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui.ide_3.12.3.v20170119-0935.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.marte.static.profile_1.2.0.201703081153.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.uml2.uml.profile.standard_1.0.100.v20170227-0935.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.sysml_1.2.0.201703081153.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.editor_1.3.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.ui_1.3.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.core_2.1.1.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.tools_2.0.1.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.core.log_1.2.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/com.google.guava_15.0.0.v201403281430.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.databinding.observable_1.6.0.v20160511-1747.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.core.sashwindows.di_1.2.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.transaction_1.9.0.201606071900.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.edit_2.12.0.v20160526-0356.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.ecore.change_2.11.0.v20160420-0247.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.validation_1.8.0.201606071713.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.expressions_3.5.100.v20160418-1621.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.core.sasheditor.di_2.0.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.core.sasheditor_2.0.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.widgets_2.0.1.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.databinding_1.6.0.v20160412-0910.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui.views.properties.tabbed_3.7.0.v20160310-0903.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui.forms_3.7.1.v20161220-1635.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui.views_3.8.102.v20170111-0801.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.services.labelprovider_1.2.1.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.jface.text_3.11.2.v20170220-1911.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.text_3.6.0.v20160503-1849.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.debug.core_3.10.100.v20160419-1720.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.gmf.runtime.common.core_1.7.0.201606071959.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.services.decoration_1.2.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.services.markerlistener_1.2.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.gmf.runtime.common.ui_1.8.1.201606071959.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui.console_3.6.201.v20161107-0337.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui.workbench.texteditor_3.10.1.v20160818-1626.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.team.core_3.8.0.v20160418-1534.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.edit.ui_2.12.0.v20160526-0356.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.common.ui_2.11.0.v20160526-0356.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.services.validation_2.0.1.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.gmf.runtime.emf.commands.core_1.7.0.201606071959.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.workspace_1.5.1.201606071900.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.gmf.runtime.emf.core_1.7.0.201606071959.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.gmf.runtime.emf.clipboard.core_1.7.0.201606071959.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.widgets.toolbox_1.2.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.draw2d_3.10.100.201606061308.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.emf.facet.custom.metamodel_1.2.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.emf.facet.efacet.metamodel_1.2.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.emf.facet.util.emf.catalog_1.2.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.m2m.qvt.oml.emf.util_3.6.0.v20160606-1156.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.gmfdiag.commands_2.0.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.views.modelexplorer_2.1.0.201703080851.jar"/>
</path>
<path id="org.polarsys.chess.contracts.transformations.classpath">
diff --git a/plugins/contracts/org.polarsys.chess.contracts.transformations/tasks/generateFaultExtensions.xml b/plugins/contracts/org.polarsys.chess.contracts.transformations/tasks/generateFaultExtensions.xml
index 588954073..9e8fb36ef 100644
--- a/plugins/contracts/org.polarsys.chess.contracts.transformations/tasks/generateFaultExtensions.xml
+++ b/plugins/contracts/org.polarsys.chess.contracts.transformations/tasks/generateFaultExtensions.xml
@@ -1,76 +1,98 @@
<?xml version="1.0" encoding="UTF-8"?>
<project default="generateFaultExtensions" name="org.polarsys.chess.contracts.transformations">
- <property name="ECLIPSE_HOME" value="../../../../eclipse-modeling-luna-SR2-win32-x86_64/eclipse"/>
- <property name="ECLIPSE_WORKSPACE" value="../.."/>
+ <property name="ECLIPSE_HOME" value="../../../../../../../Google Drive/AMASS Project/ARTA_p1/eclipse"/>
+ <property name="ECLIPSE_WORKSPACE" value="../../../../../../../Google Drive/AMASS Project/ARTA_p1/eclipse/workspace"/>
<!-- The classpath with only the dependencies used by the project -->
<path id="org.polarsys.chess.contracts.transformations.libraryclasspath">
<pathelement location="${ECLIPSE_WORKSPACE}/org.polarsys.chess.contracts.transformations/bin"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.runtime_3.10.0.v20140318-2214.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/javax.annotation_1.2.0.v201401042248.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.runtime_3.12.0.v20160606-1342.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/javax.inject_1.0.0.v20091030.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.osgi_3.10.2.v20150203-1939.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.osgi.compatibility.state_1.0.1.v20140709-1414.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.equinox.common_3.6.200.v20130402-1505.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.jobs_3.6.1.v20141014-1248.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.runtime.compatibility.registry_3.5.300.v20140128-0851/runtime_registry_compatibility.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.equinox.registry_3.5.400.v20140428-1507.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.equinox.preferences_3.5.200.v20140224-1527.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.contenttype_3.4.200.v20140207-1251.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.equinox.app_1.3.200.v20130910-1609.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.ecore_2.10.2.v20150123-0348.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.common_2.10.1.v20150123-0348.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.ecore.xmi_2.10.2.v20150123-0348.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.uml2.common_2.0.1.v20150202-0947.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.uml2.types_2.0.0.v20150202-0947.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.mapping.ecore2xml_2.8.0.v20150123-0452.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ocl_3.4.2.v20140725-2242.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.osgi_3.11.3.v20170209-1843.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.osgi.compatibility.state_1.0.200.v20160504-1419.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.wst.jsdt.nashorn.extension_1.0.2.v201610280128.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.equinox.common_3.8.0.v20160509-1230.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.jobs_3.8.0.v20160509-0411.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.equinox.registry_3.6.100.v20160223-2218.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.equinox.preferences_3.6.1.v20160815-1406.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.contenttype_3.5.100.v20160418-1621.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.equinox.app_1.3.400.v20150715-1528.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.uml2.uml_5.2.3.v20170227-0935.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.ecore_2.12.0.v20160420-0247.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.common_2.12.0.v20160420-0247.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.ecore.xmi_2.12.0.v20160420-0247.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.uml2.common_2.1.0.v20170227-0935.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.uml2.types_2.0.0.v20170227-0935.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.mapping.ecore2xml_2.9.0.v20160526-0356.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ocl_3.6.0.v20160523-1914.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/lpg.runtime.java_2.0.17.v201004271640.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ocl.common_1.2.0.v20140610-0641.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ocl.ecore_3.3.100.v20140610-0641.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.acceleo.common_3.5.1.201409021433.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.acceleo.parser_3.5.1.201409021433.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.acceleo.model_3.5.1.201409021433.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.acceleo.profiler_3.5.1.201409021433.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.acceleo.engine_3.5.1.201409021433.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.codegen.ecore_2.10.2.v20150123-0452.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.codegen_2.10.0.v20150123-0452.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui_3.106.1.v20141002-1150.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.swt_3.103.2.v20150203-1313.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.swt.win32.win32.x86_64_3.103.2.v20150203-1351.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.jface_3.10.2.v20141021-1035.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.commands_3.6.100.v20140528-1422.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui.workbench_3.106.2.v20150204-1030.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.e4.ui.workbench3_0.12.0.v20140227-2118.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.resources_3.9.1.v20140825-1431.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui.ide_3.10.2.v20141118-1227.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.uml2.uml.profile.standard_1.0.0.v20150202-0947.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.sysml_1.0.2.v201502181349.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.editor_1.0.2.v201502181349.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.marte.static.profile_1.0.2.v201504031223.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.debug.core_3.9.1.v20140805-1629.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.core_1.0.2.v201502181349.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.core.sasheditor_1.0.2.v201502181349.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.core.sasheditor.di_1.0.2.v201502181349.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.transaction_1.8.0.201405281451.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.edit_2.10.1.v20150123-0452.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.ecore.change_2.10.0.v20150123-0348.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.validation_1.8.0.201405281429.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.gmf.runtime.common.core_1.7.0.201408201453.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.services.decoration_1.0.2.v201502181349.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.services.validation_1.0.2.v201502181349.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.gmf.runtime.emf.commands.core_1.7.0.201408201453.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.workspace_1.5.1.201405281451.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.gmf.runtime.emf.core_1.7.0.201408201453.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.gmf.runtime.emf.clipboard.core_1.7.0.201408201453.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.edit.ui_2.10.2.v20150123-0452.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui.views_3.7.0.v20140408-0703.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.common.ui_2.9.0.v20150123-0452.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.m2m.qvt.oml.emf.util_3.4.0.v20140306-0718.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.gmfdiag.commands_1.0.2.v201502181349.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.services.markerlistener_1.0.2.v201502181349.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.uml.service.types_1.0.2.v201502181349.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.views.modelexplorer_1.0.2.v201502181349.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ocl.common_1.4.0.v20160521-2033.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ocl.ecore_3.6.0.v20160523-1914.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.acceleo.common_3.6.6.201610060831.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.acceleo.parser_3.6.6.201610060831.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.acceleo.model_3.6.6.201610060831.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.acceleo.profiler_3.6.6.201610060831.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.acceleo.engine_3.6.6.201610060831.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.codegen.ecore_2.12.0.v20160526-0356.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.codegen_2.11.0.v20160526-0356.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui_3.108.1.v20160929-1045.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.swt_3.105.3.v20170228-0512.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.swt.win32.win32.x86_64_3.105.3.v20170228-0512.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.jface_3.12.2.v20170113-2113.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.commands_3.8.1.v20161221-1651.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui.workbench_3.108.3.v20170216-1539.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.e4.ui.workbench3_0.13.100.v20160506-0759.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.resources_3.11.1.v20161107-2032.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui.ide_3.12.3.v20170119-0935.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.marte.static.profile_1.2.0.201703081153.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.uml2.uml.profile.standard_1.0.100.v20170227-0935.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.sysml_1.2.0.201703081153.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.editor_1.3.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.ui_1.3.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.core_2.1.1.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.tools_2.0.1.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.core.log_1.2.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/com.google.guava_15.0.0.v201403281430.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.databinding.observable_1.6.0.v20160511-1747.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.core.sashwindows.di_1.2.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.transaction_1.9.0.201606071900.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.edit_2.12.0.v20160526-0356.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.ecore.change_2.11.0.v20160420-0247.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.validation_1.8.0.201606071713.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.expressions_3.5.100.v20160418-1621.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.core.sasheditor.di_2.0.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.core.sasheditor_2.0.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.widgets_2.0.1.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.databinding_1.6.0.v20160412-0910.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui.views.properties.tabbed_3.7.0.v20160310-0903.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui.forms_3.7.1.v20161220-1635.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui.views_3.8.102.v20170111-0801.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.services.labelprovider_1.2.1.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.jface.text_3.11.2.v20170220-1911.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.text_3.6.0.v20160503-1849.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.debug.core_3.10.100.v20160419-1720.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.gmf.runtime.common.core_1.7.0.201606071959.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.services.decoration_1.2.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.services.markerlistener_1.2.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.gmf.runtime.common.ui_1.8.1.201606071959.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui.console_3.6.201.v20161107-0337.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui.workbench.texteditor_3.10.1.v20160818-1626.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.team.core_3.8.0.v20160418-1534.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.edit.ui_2.12.0.v20160526-0356.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.common.ui_2.11.0.v20160526-0356.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.services.validation_2.0.1.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.gmf.runtime.emf.commands.core_1.7.0.201606071959.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.workspace_1.5.1.201606071900.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.gmf.runtime.emf.core_1.7.0.201606071959.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.gmf.runtime.emf.clipboard.core_1.7.0.201606071959.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.widgets.toolbox_1.2.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.draw2d_3.10.100.201606061308.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.emf.facet.custom.metamodel_1.2.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.emf.facet.efacet.metamodel_1.2.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.emf.facet.util.emf.catalog_1.2.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.m2m.qvt.oml.emf.util_3.6.0.v20160606-1156.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.gmfdiag.commands_2.0.0.201703080851.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.views.modelexplorer_2.1.0.201703080851.jar"/>
</path>
<path id="org.polarsys.chess.contracts.transformations.classpath">
diff --git a/plugins/org.polarsys.chess.service/src/org/polarsys/chess/service/internal/utils/SelectionUtil.java b/plugins/org.polarsys.chess.service/src/org/polarsys/chess/service/internal/utils/SelectionUtil.java
index e8c28b5ff..5d6cd134d 100644
--- a/plugins/org.polarsys.chess.service/src/org/polarsys/chess/service/internal/utils/SelectionUtil.java
+++ b/plugins/org.polarsys.chess.service/src/org/polarsys/chess/service/internal/utils/SelectionUtil.java
@@ -73,8 +73,13 @@ public class SelectionUtil {
}
public GraphicalEditPart getSelectedGraphicalObject(ExecutionEvent event) {
+
+ System.out.println("ExecutionEvent: "+event);
+
ISelection selection = HandlerUtil.getActiveWorkbenchWindow(event).getActivePage()
.getSelection();
+
+ System.out.println("selection: "+selection);
return getSelectedGraphicalObject(selection);
}
@@ -99,6 +104,9 @@ public class SelectionUtil {
System.out.println("current selection: " + selection);
Object selectedUmlElement = getUmlSelectedObject(selection);
+
+ System.out.println("selectedUmlElement: "+selectedUmlElement);
+
if (selectedUmlElement instanceof Property) {
if (entityUtil.isComponentInstance((Property) selectedUmlElement)) {
selectedUmlElement = entityUtil.getUmlType((Property) selectedUmlElement);
--
GitLab