changeset 12924:63ddd8dea0ff

8138938: Clarify javadoc for java.util.Collections.copy() Reviewed-by: smarks
author igerasim
date Thu, 15 Oct 2015 13:56:39 +0300
parents d97306dd54cd
children 91fc3c3826e6
files src/java.base/share/classes/java/util/Collections.java
diffstat 1 files changed, 3 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/src/java.base/share/classes/java/util/Collections.java	Thu Oct 15 09:33:03 2015 +0100
+++ b/src/java.base/share/classes/java/util/Collections.java	Thu Oct 15 13:56:39 2015 +0300
@@ -537,8 +537,9 @@
      * Copies all of the elements from one list into another.  After the
      * operation, the index of each copied element in the destination list
      * will be identical to its index in the source list.  The destination
-     * list must be at least as long as the source list.  If it is longer, the
-     * remaining elements in the destination list are unaffected. <p>
+     * list's size must be greater than or equal to the source list's size.
+     * If it is greater, the remaining elements in the destination list are
+     * unaffected. <p>
      *
      * This method runs in linear time.
      *