1 |
/* BitSet.java -- A vector of bits. |
/* BitSet.java -- A vector of bits. |
2 |
Copyright (C) 1998, 1999, 2000, 2001 Free Software Foundation, Inc. |
Copyright (C) 1998, 1999, 2000, 2001, 2004 Free Software Foundation, Inc. |
3 |
|
|
4 |
This file is part of GNU Classpath. |
This file is part of GNU Classpath. |
5 |
|
|
732 |
* |
* |
733 |
* @param lastElt the size needed for the bits array |
* @param lastElt the size needed for the bits array |
734 |
*/ |
*/ |
735 |
private final void ensure(int lastElt) |
private void ensure(int lastElt) |
736 |
{ |
{ |
737 |
if (lastElt >= bits.length) |
if (lastElt >= bits.length) |
738 |
{ |
{ |