@Override public void push_back(int word) { resizeBuffer(1); this.buffer[this.actualSizeInWords++] = word; }
@Override public void push_back(int word) { resizeBuffer(1); this.buffer[this.actualSizeInWords++] = word; }
@Override public void ensureCapacity(int capacity) { resizeBuffer(capacity - this.actualSizeInWords); }
@Override public void ensureCapacity(int capacity) { resizeBuffer(capacity - this.actualSizeInWords); }
@Override public void expand(int position, int length) { resizeBuffer(length); System.arraycopy(this.buffer, position, this.buffer, position + length, this.actualSizeInWords - position); this.actualSizeInWords += length; }
@Override public void expand(int position, int length) { resizeBuffer(length); System.arraycopy(this.buffer, position, this.buffer, position + length, this.actualSizeInWords - position); this.actualSizeInWords += length; }
@Override public void negative_push_back(Buffer32 buffer, int start, int number) { resizeBuffer(number); for (int i = 0; i < number; ++i) { this.buffer[this.actualSizeInWords + i] = ~buffer.getWord(start + i); } this.actualSizeInWords += number; }
@Override public void negative_push_back(Buffer32 buffer, int start, int number) { resizeBuffer(number); for (int i = 0; i < number; ++i) { this.buffer[this.actualSizeInWords + i] = ~buffer.getWord(start + i); } this.actualSizeInWords += number; }
@Override public void push_back(Buffer32 buffer, int start, int number) { resizeBuffer(number); if(buffer instanceof IntArray) { int[] data = ((IntArray)buffer).buffer; System.arraycopy(data, start, this.buffer, this.actualSizeInWords, number); } else { for(int i = 0; i < number; ++i) { this.buffer[this.actualSizeInWords + i] = buffer.getWord(start + i); } } this.actualSizeInWords += number; }
@Override public void push_back(Buffer32 buffer, int start, int number) { resizeBuffer(number); if(buffer instanceof IntArray) { int[] data = ((IntArray)buffer).buffer; System.arraycopy(data, start, this.buffer, this.actualSizeInWords, number); } else { for(int i = 0; i < number; ++i) { this.buffer[this.actualSizeInWords + i] = buffer.getWord(start + i); } } this.actualSizeInWords += number; }