diff options
author | Alex Panchenko | 2016-04-29 06:20:30 +0000 |
---|---|---|
committer | Gerrit Code Review @ Eclipse.org | 2016-04-29 06:20:30 +0000 |
commit | af18c32f49b4a6b9b722c86c794ba7600f942f85 (patch) | |
tree | da6cb705e21f149ed9bfbdac14fbcc22f19794dd | |
parent | afb8a9023d3c67e4617463078d1b9a3decc37ef9 (diff) | |
parent | f5b60c45dc7433ba09328460ce0791feb10322f6 (diff) | |
download | org.eclipse.dltk.core-af18c32f49b4a6b9b722c86c794ba7600f942f85.tar.gz org.eclipse.dltk.core-af18c32f49b4a6b9b722c86c794ba7600f942f85.tar.xz org.eclipse.dltk.core-af18c32f49b4a6b9b722c86c794ba7600f942f85.zip |
Merge "generics in BPUserLibraryElement"
-rw-r--r-- | core/plugins/org.eclipse.dltk.ui/src/org/eclipse/dltk/internal/ui/wizards/buildpath/BPUserLibraryElement.java | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/core/plugins/org.eclipse.dltk.ui/src/org/eclipse/dltk/internal/ui/wizards/buildpath/BPUserLibraryElement.java b/core/plugins/org.eclipse.dltk.ui/src/org/eclipse/dltk/internal/ui/wizards/buildpath/BPUserLibraryElement.java index 44c60a888..da73086fa 100644 --- a/core/plugins/org.eclipse.dltk.ui/src/org/eclipse/dltk/internal/ui/wizards/buildpath/BPUserLibraryElement.java +++ b/core/plugins/org.eclipse.dltk.ui/src/org/eclipse/dltk/internal/ui/wizards/buildpath/BPUserLibraryElement.java @@ -145,12 +145,13 @@ public class BPUserLibraryElement { } } - private List moveUp(List elements, List move) { + private List<BPListElement> moveUp(List<BPListElement> elements, + List<BPListElement> move) { int nElements = elements.size(); - List res = new ArrayList(nElements); - Object floating = null; + List<BPListElement> res = new ArrayList<BPListElement>(nElements); + BPListElement floating = null; for (int i = 0; i < nElements; i++) { - Object curr = elements.get(i); + BPListElement curr = elements.get(i); if (move.contains(curr)) { res.add(curr); } else { @@ -166,13 +167,13 @@ public class BPUserLibraryElement { return res; } - public void moveUp(List toMoveUp) { + public void moveUp(List<BPListElement> toMoveUp) { if (toMoveUp.size() > 0) { fChildren = moveUp(fChildren, toMoveUp); } } - public void moveDown(List toMoveDown) { + public void moveDown(List<BPListElement> toMoveDown) { if (toMoveDown.size() > 0) { Collections.reverse(fChildren); fChildren = moveUp(fChildren, toMoveDown); |