/** * Rewrites the value at the current cursor position. */ public LineRange _set(final LineRange v) { Cursor c = copy(); LineRange old = c.next(); int oldSize = c.pos - pos; int newSize = sizeOf(v); adjust(newSize - oldSize); write(v); return old; }
/** * Inserts the value at the current cursor position. */ public void add(final LineRange v) { int newSize = sizeOf(v); adjust(newSize); write(v); }
/** * Inserts the value at the current cursor position. */ public void add(final LineRange v) { int newSize = sizeOf(v); adjust(newSize); write(v); }
/** * Rewrites the value at the current cursor position. */ public LineRange _set(final LineRange v) { Cursor c = copy(); LineRange old = c.next(); int oldSize = c.pos - pos; int newSize = sizeOf(v); adjust(newSize - oldSize); write(v); return old; }