// Copyright (c) AlphaSierraPapa for the SharpDevelop Team (for details please see \doc\copyright.txt)
// This code is distributed under the GNU LGPL (for details please see \doc\license.txt)
using System;
using ICSharpCode.AvalonEdit.Utils;
namespace ICSharpCode.AvalonEdit.Document
{
///
/// The TextAnchor class references an offset (a position between two characters).
/// It automatically updates the offset when text is inserted/removed in front of the anchor.
///
///
/// Use the property to get the offset from a text anchor.
/// Use the method to create an anchor from an offset.
///
///
/// The document will automatically update all text anchors; and because it uses weak references to do so,
/// the garbage collector can simply collect the anchor object when you don't need it anymore.
///
/// Moreover, the document is able to efficiently update a large number of anchors without having to look
/// at each anchor object individually. Updating the offsets of all anchors usually only takes time logarithmic
/// to the number of anchors. Retrieving the property also runs in O(lg N).
///
///
/// If you want to track a segment, you can use the class which
/// implements using two text anchors.
///
///
/// Usage:
/// TextAnchor anchor = document.CreateAnchor(offset);
/// ChangeMyDocument();
/// int newOffset = anchor.Offset;
///
///
public sealed class TextAnchor
{
readonly TextDocument document;
internal TextAnchorNode node;
internal TextAnchor(TextDocument document)
{
this.document = document;
}
///
/// Gets the document owning the anchor.
///
public TextDocument Document {
get { return document; }
}
///
/// Controls how the anchor moves.
///
/// Anchor movement is ambiguous if text is inserted exactly at the anchor's location.
/// Does the anchor stay before the inserted text, or does it move after it?
/// The property will be used to determine which of these two options the anchor will choose.
/// The default value is .
public AnchorMovementType MovementType { get; set; }
///
///
/// Specifies whether the anchor survives deletion of the text containing it.
///
/// false: The anchor is deleted when the a selection that includes the anchor is deleted.
/// true: The anchor is not deleted.
///
///
///
public bool SurviveDeletion { get; set; }
///
/// Gets whether the anchor was deleted.
///
///
/// When a piece of text containing an anchor is removed, then that anchor will be deleted.
/// First, the property is set to true on all deleted anchors,
/// then the events are raised.
/// You cannot retrieve the offset from an anchor that has been deleted.
/// This deletion behavior might be useful when using anchors for building a bookmark feature,
/// but in other cases you want to still be able to use the anchor. For those cases, set = true.
///
public bool IsDeleted {
get {
document.DebugVerifyAccess();
return node == null;
}
}
///
/// Occurs after the anchor was deleted.
///
///
///
/// Due to the 'weak reference' nature of TextAnchor, you will receive the Deleted event only
/// while your code holds a reference to the TextAnchor object.
///
public event EventHandler Deleted;
internal void OnDeleted(DelayedEvents delayedEvents)
{
node = null;
delayedEvents.DelayedRaise(Deleted, this, EventArgs.Empty);
}
///
/// Gets the offset of the text anchor.
///
/// Thrown when trying to get the Offset from a deleted anchor.
public int Offset {
get {
document.DebugVerifyAccess();
TextAnchorNode n = this.node;
if (n == null)
throw new InvalidOperationException();
int offset = n.length;
if (n.left != null)
offset += n.left.totalLength;
while (n.parent != null) {
if (n == n.parent.right) {
if (n.parent.left != null)
offset += n.parent.left.totalLength;
offset += n.parent.length;
}
n = n.parent;
}
return offset;
}
}
///
/// Gets the line number of the anchor.
///
/// Thrown when trying to get the Offset from a deleted anchor.
public int Line {
get {
return document.GetLineByOffset(this.Offset).LineNumber;
}
}
///
/// Gets the column number of this anchor.
///
/// Thrown when trying to get the Offset from a deleted anchor.
public int Column {
get {
int offset = this.Offset;
return offset - document.GetLineByOffset(offset).Offset + 1;
}
}
///
/// Gets the text location of this anchor.
///
/// Thrown when trying to get the Offset from a deleted anchor.
public TextLocation Location {
get {
return document.GetLocation(this.Offset);
}
}
///
public override string ToString()
{
return "[TextAnchor Offset=" + Offset + "]";
}
}
///
/// Defines how a text anchor moves.
///
public enum AnchorMovementType
{
///
/// When text is inserted at the anchor position, the type of the insertion
/// determines where the caret moves to. For normal insertions, the anchor will stay
/// behind the inserted text.
///
Default,
///
/// When text is inserted at the anchor position, the anchor will stay
/// before the inserted text.
///
BeforeInsertion,
///
/// When text is insered at the anchor position, the anchor will move
/// after the inserted text.
///
AfterInsertion
}
}