@Override public void setLength(int length) { synchronized (fLock) { super.setLength(length); } }
@Override public void setLength(int length) { synchronized (fLock) { super.setLength(length); } }
/** * Manipulates the length of the referenced position. * * @param length the new length of the referenced position */ protected void setLength(int length) { fPosition.setLength(length); }
/** * Sets the completion length. * * @param newLength the new completion length */ protected void setCompletionLength(int newLength) { fOriginalLength= newLength; fPosition.setLength(newLength); }
@Override public void setLength(int length) { synchronized (fLock) { super.setLength(length); } }
public void setLength(int length) { synchronized (fLock) { super.setLength(length); } }
/** * Sets the completion length. * * @param newLength the new completion length */ protected void setCompletionLength(int newLength) { fOriginalLength= newLength; fPosition.setLength(newLength); }
/** * Manipulates the length of the referenced position. * * @param length the new length of the referenced position */ protected void setLength(int length) { fPosition.setLength(length); }
/** * Sets the length of the range of this node. * * @param length the length of the range */ public void setLength(int length) { getRange().setLength(length); }
public void update(int off, int len) { synchronized (fLock) { super.setOffset(off); super.setLength(len); } }
public void update(int off, int len) { synchronized (fLock) { super.setOffset(off); super.setLength(len); } }
public void update(int off, int len) { synchronized (fLock) { super.setOffset(off); super.setLength(len); } }
public void update(int off, int len) { synchronized (fLock) { super.setOffset(off); super.setLength(len); } }
/** * Sets the length of the range of this node. * * @param length the length of the range */ public void setLength(int length) { getRange().setLength(length); }
/** * Updates a position with the given information and clears its deletion state. * * @param position the position to update * @param offset the new selection offset * @param length the new selection length */ private void updatePosition(Position position, int offset, int length) { position.setOffset(offset); position.setLength(length); // http://bugs.eclipse.org/bugs/show_bug.cgi?id=32795 position.isDeleted= false; }
/** * Updates a position with the given information and clears its deletion state. * * @param position the position to update * @param offset the new selection offset * @param length the new selection length */ private void updatePosition(Position position, int offset, int length) { position.setOffset(offset); position.setLength(length); // http://bugs.eclipse.org/bugs/show_bug.cgi?id=32795 position.isDeleted= false; }
position.setLength(argument.length());
@Override public void update(DocumentEvent event) { int offset= event.getOffset(); int length= event.getLength(); int delta= event.getText().length() - length; if (offset < fPosition.getOffset()) fPosition.setOffset(fPosition.getOffset() + delta); else if (offset < fPosition.getOffset() + fPosition.getLength()) fPosition.setLength(fPosition.getLength() + delta); } }
@Override public void update(DocumentEvent event) { int offset= event.getOffset(); int length= event.getLength(); int delta= event.getText().length() - length; if (offset < fPosition.getOffset()) fPosition.setOffset(fPosition.getOffset() + delta); else if (offset < fPosition.getOffset() + fPosition.getLength()) fPosition.setLength(fPosition.getLength() + delta); } }