public TextChange(int oldPosition, int oldLength, ITextBuffer oldBuffer, int newPosition, int newLength, ITextBuffer newBuffer) : this() { if (oldPosition < 0) { throw new ArgumentOutOfRangeException("oldPosition", CommonResources.FormatArgument_Must_Be_GreaterThanOrEqualTo(0)); } if (newPosition < 0) { throw new ArgumentOutOfRangeException("newPosition", CommonResources.FormatArgument_Must_Be_GreaterThanOrEqualTo(0)); } if (oldLength < 0) { throw new ArgumentOutOfRangeException("oldLength", CommonResources.FormatArgument_Must_Be_GreaterThanOrEqualTo(0)); } if (newLength < 0) { throw new ArgumentOutOfRangeException("newLength", CommonResources.FormatArgument_Must_Be_GreaterThanOrEqualTo(0)); } if (oldBuffer == null) { throw new ArgumentNullException("oldBuffer"); } if (newBuffer == null) { throw new ArgumentNullException("newBuffer"); } OldPosition = oldPosition; NewPosition = newPosition; OldLength = oldLength; NewLength = newLength; NewBuffer = newBuffer; OldBuffer = oldBuffer; }