(IntArrayBuffer other, int markOfOther)
| 31 | final class ReadWriteIntArrayBuffer extends IntArrayBuffer { |
| 32 | |
| 33 | static ReadWriteIntArrayBuffer copy(IntArrayBuffer other, int markOfOther) { |
| 34 | ReadWriteIntArrayBuffer buf = new ReadWriteIntArrayBuffer(other |
| 35 | .capacity(), other.backingArray, other.offset); |
| 36 | buf.limit = other.limit(); |
| 37 | buf.position = other.position(); |
| 38 | buf.mark = markOfOther; |
| 39 | return buf; |
| 40 | } |
| 41 | |
| 42 | ReadWriteIntArrayBuffer(int[] array) { |
| 43 | super(array); |