Uploaded image for project: 'JDK'
  1. JDK
  2. JDK-4816253

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

    XMLWordPrintable

    Details

    • Type: Enhancement
    • Status: Open
    • Priority: P5
    • Resolution: Unresolved
    • Affects Version/s: 1.2.1, 1.4.1
    • Fix Version/s: None
    • Component/s: core-libs
    • Labels:
    • Subcomponent:
    • Understanding:
      Fix Understood
    • CPU:
      x86, sparc
    • OS:
      solaris_7, windows_xp

      Description



      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)
      ======================================================================

        Attachments

          Issue Links

            Activity

              People

              Assignee:
              Unassigned Unassigned
              Reporter:
              rmandalasunw Ranjith Mandala (Inactive)
              Votes:
              0 Vote for this issue
              Watchers:
              0 Start watching this issue

                Dates

                Created:
                Updated:
                Imported:
                Indexed: