diff options
| author | Benoit Maggi | 2015-03-06 11:37:16 +0000 |
|---|---|---|
| committer | Gerrit Code Review @ Eclipse.org | 2015-03-06 11:37:17 +0000 |
| commit | 7e625965910374da4360f696be484e8242fe48cd (patch) | |
| tree | ff9062bc0254c67af562f5ff62522b625270aa2e | |
| parent | a0e17c371811b3309a2266e03c34fe02673be5d7 (diff) | |
| parent | 5f35d49a9f5a22e3938a1a8099f6326f8a4ee123 (diff) | |
| download | org.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.java | 3 |
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); } } |