|
public CreateAnchor ( int offset ) : |
||
| offset | int | |
| return | ||
public TextAnchor CreateAnchor(int offset)
{
VerifyAccess();
if (offset < 0 || offset > rope.Length) {
throw new ArgumentOutOfRangeException("offset", offset, "0 <= offset <= " + rope.Length.ToString(CultureInfo.InvariantCulture));
}
return anchorTree.CreateAnchor(offset);
}
public AnchorSegment(TextDocument document, int offset, int length)
{
Debug.Assert(document != null);
this.start = document.CreateAnchor(offset);
this.start.SurviveDeletion = true;
this.end = document.CreateAnchor(offset + length);
this.end.SurviveDeletion = true;
}