(spec) BitSet.nextClearBit missing spec for case when index is outside int range

Name: rmT116609 Date: 02/10/2003


DESCRIPTION OF THE PROBLEM :
The java doc for java.util.BitSet's nextClearBit doesn't include the case where there is no nextClearBit. Recall that in Java, int's are finite. Presumably, the behavior is like nextSetBit and returns -1 in that case.

This bug was found in writing a JML specification for the method.

STEPS TO FOLLOW TO REPRODUCE THE PROBLEM :
1. Open your browser on the javadoc for java.util.BitSet
2. Look at the nextClearBit method's description.
3. Compare to the description for nextSetBit.

REPRODUCIBILITY :
This bug can be reproduced always.
(Review ID: 181012)
======================================================================