Thank you Chris!

It is System.arraycopy() method, where checking is performed and the exception is thrown.
Here's this code:
if ( (((unsigned int) length + (unsigned int) src_pos) > (unsigned int) s->length()) || (((unsigned int) length + (unsigned int) dst_pos) > (unsigned int) d->length()) ) {
THROW(vmSymbols::java_lang_ArrayIndexOutOfBoundsException());
  }

This confirms that size() is a valid value for fromIndex.

Another way to think of it is that fromIndex <= toIndex, and toIndex can be equal to size().
Therefore, fromIndex can be equal to size() too.

The documentation also says that 'If toIndex==fromIndex, this operation has no effect.', so removeRange(size(), size()) is a valid expression and should not cause an exception be thrown (and it actually does not).

Sincerely yours,
Ivan

On 13.03.2014 19:47, Chris Hegarty wrote:
Ivan,

This does look a little odd, but since fromIndex is inclusive I would think 
that it should throw if passed a value of size() ??

-Chris.

On 13 Mar 2014, at 15:29, Ivan Gerasimov <ivan.gerasi...@oracle.com> wrote:

Hello!

Would you please review a simple fix of the javadoc for ArrayList#removeRange() 
method?

The doc says that IndexOutOfBoundsException is thrown if fromIndex or toIndex is out of 
range (fromIndex < 0 || fromIndex >= size() || toIndex > size() || toIndex < 
fromIndex).

The condition 'fromIndex >= size()' isn't true and should be removed from the 
doc.

For example, the code list.removeRange(size(), size()) does not throw any 
exception.

BUGURL: https://bugs.openjdk.java.net/browse/JDK-8014066
WEBREV: http://cr.openjdk.java.net/~igerasim/8014066/0/webrev/

Sincerely yours,
Ivan



Reply via email to