diff options
| author | adaussy | 2012-10-18 10:47:21 +0000 |
|---|---|---|
| committer | adaussy | 2012-10-18 10:47:21 +0000 |
| commit | 91456e140d79ed897094eacaf39e185b283f9a4a (patch) | |
| tree | c46bf254e4dad64910f8e140a5662e234d872311 /plugins/uml/org.eclipse.papyrus.uml.profile | |
| parent | 635a3dbb1dcd26c15aff35be32345ed39a66fdbe (diff) | |
| download | org.eclipse.papyrus-91456e140d79ed897094eacaf39e185b283f9a4a.tar.gz org.eclipse.papyrus-91456e140d79ed897094eacaf39e185b283f9a4a.tar.xz org.eclipse.papyrus-91456e140d79ed897094eacaf39e185b283f9a4a.zip | |
Bug 392305 - The method size DerivedEObjectEList do not work correctly
https://bugs.eclipse.org/bugs/show_bug.cgi?id=392305
Backport from 0.8.X
Diffstat (limited to 'plugins/uml/org.eclipse.papyrus.uml.profile')
| -rw-r--r-- | plugins/uml/org.eclipse.papyrus.uml.profile/src/org/eclipse/papyrus/uml/profile/tree/ProfileElementLabelProvider.java | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/plugins/uml/org.eclipse.papyrus.uml.profile/src/org/eclipse/papyrus/uml/profile/tree/ProfileElementLabelProvider.java b/plugins/uml/org.eclipse.papyrus.uml.profile/src/org/eclipse/papyrus/uml/profile/tree/ProfileElementLabelProvider.java index 2dfe7cc3014..fe9ad32b6df 100644 --- a/plugins/uml/org.eclipse.papyrus.uml.profile/src/org/eclipse/papyrus/uml/profile/tree/ProfileElementLabelProvider.java +++ b/plugins/uml/org.eclipse.papyrus.uml.profile/src/org/eclipse/papyrus/uml/profile/tree/ProfileElementLabelProvider.java @@ -237,10 +237,9 @@ public class ProfileElementLabelProvider extends LabelProvider { @SuppressWarnings("unchecked") List<Object> values = (List<Object>) currentPropValue; ArrayList<String> baseElements = new ArrayList<String>(); - - for(int i = 0; i < values.size(); i++) { + for (Object value : values){ // display the base element's qualified name - Element baseElement = (Element)UMLUtil.getBaseElement((EObject)values.get(i)); + Element baseElement = (Element)UMLUtil.getBaseElement((EObject)value); String name = Util.getLabel(baseElement, true); if(name != null) { baseElements.add(name); |