diff options
| author | Benoit Maggi | 2015-03-04 10:32:20 +0000 |
|---|---|---|
| committer | Benoit maggi | 2015-03-06 10:16:24 +0000 |
| commit | 5f35d49a9f5a22e3938a1a8099f6326f8a4ee123 (patch) | |
| tree | a0080cd44471310b3cd320b39d2ed8dbe6211af5 | |
| parent | fb4a20095c177937df4d8537c1de67d1de08904e (diff) | |
| download | org.eclipse.papyrus-5f35d49a9f5a22e3938a1a8099f6326f8a4ee123.tar.gz org.eclipse.papyrus-5f35d49a9f5a22e3938a1a8099f6326f8a4ee123.tar.xz org.eclipse.papyrus-5f35d49a9f5a22e3938a1a8099f6326f8a4ee123.zip | |
Bug 461375 - [Element Type Set] No warning on duplicate registered id
- add a warning message
Change-Id: I3b0fe30de5ca8043afefcedcd31f9c805e981965
Signed-off-by: Benoit Maggi <benoit.maggi@cea.fr>
| -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); } } |