(BoolList that)
| 48 | } |
| 49 | |
| 50 | public void addAll(BoolList that) { |
| 51 | int p = pos; |
| 52 | int s = that.size(); |
| 53 | setPos(p + s); |
| 54 | System.arraycopy(that.buffer, 0, this.buffer, p, s); |
| 55 | } |
| 56 | |
| 57 | public void arrayCopy(int srcPos, int dstPos, int length) { |
| 58 | System.arraycopy(buffer, srcPos, buffer, dstPos, length); |