Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorBenoit Maggi2015-03-06 11:37:16 +0000
committerGerrit Code Review @ Eclipse.org2015-03-06 11:37:17 +0000
commit7e625965910374da4360f696be484e8242fe48cd (patch)
treeff9062bc0254c67af562f5ff62522b625270aa2e
parenta0e17c371811b3309a2266e03c34fe02673be5d7 (diff)
parent5f35d49a9f5a22e3938a1a8099f6326f8a4ee123 (diff)
downloadorg.eclipse.papyrus-7e625965910374da4360f696be484e8242fe48cd.tar.gz
org.eclipse.papyrus-7e625965910374da4360f696be484e8242fe48cd.tar.xz
org.eclipse.papyrus-7e625965910374da4360f696be484e8242fe48cd.zip
Merge "Bug 461375 - [Element Type Set] No warning on duplicate registered id - add a warning message"archive/team.collaborative
-rw-r--r--plugins/infra/org.eclipse.papyrus.infra.elementtypesconfigurations/src/org/eclipse/papyrus/infra/elementtypesconfigurations/registries/ElementTypeSetConfigurationRegistry.java3
1 files changed, 3 insertions, 0 deletions
diff --git a/plugins/infra/org.eclipse.papyrus.infra.elementtypesconfigurations/src/org/eclipse/papyrus/infra/elementtypesconfigurations/registries/ElementTypeSetConfigurationRegistry.java b/plugins/infra/org.eclipse.papyrus.infra.elementtypesconfigurations/src/org/eclipse/papyrus/infra/elementtypesconfigurations/registries/ElementTypeSetConfigurationRegistry.java
index 5ac76508533..5b4580458aa 100644
--- a/plugins/infra/org.eclipse.papyrus.infra.elementtypesconfigurations/src/org/eclipse/papyrus/infra/elementtypesconfigurations/registries/ElementTypeSetConfigurationRegistry.java
+++ b/plugins/infra/org.eclipse.papyrus.infra.elementtypesconfigurations/src/org/eclipse/papyrus/infra/elementtypesconfigurations/registries/ElementTypeSetConfigurationRegistry.java
@@ -352,6 +352,9 @@ public class ElementTypeSetConfigurationRegistry {
}
ElementTypeSetConfiguration set = getElementTypeSetConfiguration(elementTypeSetId, modelPath, contributorID);
if (set != null && !workspaceDefinitions.contains(elementTypeSetId)) { // do not add if it is locally redefined
+ if (platformElementTypeSets.containsKey(elementTypeSetId)){
+ Activator.log.warn("An element type set is already registered with the id : " + elementTypeSetId);
+ }
platformElementTypeSets.put(elementTypeSetId, set);
}
}

Back to the top