// Copyright (c) 2014 AlphaSierraPapa for the SharpDevelop Team // // Permission is hereby granted, free of charge, to any person obtaining a copy of this // software and associated documentation files (the "Software"), to deal in the Software // without restriction, including without limitation the rights to use, copy, modify, merge, // publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons // to whom the Software is furnished to do so, subject to the following conditions: // // The above copyright notice and this permission notice shall be included in all copies or // substantial portions of the Software. // // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, // INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR // PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE // FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR // OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER // DEALINGS IN THE SOFTWARE. using System.Collections.Generic; using System; using System.IO; namespace ICSharpCode.AvalonEdit.Document { #if !NREFACTORY /// /// A read-only view on a (potentially mutable) text source. /// The IDocument interface derives from this interface. /// public interface ITextSource { /// /// Gets a version identifier for this text source. /// Returns null for unversioned text sources. /// ITextSourceVersion Version { get; } /// /// Creates an immutable snapshot of this text source. /// Unlike all other methods in this interface, this method is thread-safe. /// ITextSource CreateSnapshot(); /// /// Creates an immutable snapshot of a part of this text source. /// Unlike all other methods in this interface, this method is thread-safe. /// ITextSource CreateSnapshot(int offset, int length); /// /// Creates a new TextReader to read from this text source. /// TextReader CreateReader(); /// /// Creates a new TextReader to read from this text source. /// TextReader CreateReader(int offset, int length); /// /// Gets the total text length. /// /// The length of the text, in characters. /// This is the same as Text.Length, but is more efficient because /// it doesn't require creating a String object. int TextLength { get; } /// /// Gets the whole text as string. /// [System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Naming", "CA1721:PropertyNamesShouldNotMatchGetMethods")] string Text { get; } /// /// Gets a character at the specified position in the document. /// /// The index of the character to get. /// Offset is outside the valid range (0 to TextLength-1). /// The character at the specified position. /// This is the same as Text[offset], but is more efficient because /// it doesn't require creating a String object. char GetCharAt(int offset); /// /// Retrieves the text for a portion of the document. /// /// offset or length is outside the valid range. /// This is the same as Text.Substring, but is more efficient because /// it doesn't require creating a String object for the whole document. string GetText(int offset, int length); /// /// Retrieves the text for a portion of the document. /// /// offset or length is outside the valid range. string GetText(ISegment segment); /// /// Writes the text from this document into the TextWriter. /// void WriteTextTo(TextWriter writer); /// /// Writes the text from this document into the TextWriter. /// void WriteTextTo(TextWriter writer, int offset, int length); /// /// Gets the index of the first occurrence of the character in the specified array. /// /// Character to search for /// Start index of the area to search. /// Length of the area to search. /// The first index where the character was found; or -1 if no occurrence was found. int IndexOf(char c, int startIndex, int count); /// /// Gets the index of the first occurrence of any character in the specified array. /// /// Characters to search for /// Start index of the area to search. /// Length of the area to search. /// The first index where any character was found; or -1 if no occurrence was found. int IndexOfAny(char[] anyOf, int startIndex, int count); /// /// Gets the index of the first occurrence of the specified search text in this text source. /// /// The search text /// Start index of the area to search. /// Length of the area to search. /// String comparison to use. /// The first index where the search term was found; or -1 if no occurrence was found. int IndexOf(string searchText, int startIndex, int count, StringComparison comparisonType); /// /// Gets the index of the last occurrence of the specified character in this text source. /// /// The search character /// Start index of the area to search. /// Length of the area to search. /// The last index where the search term was found; or -1 if no occurrence was found. /// The search proceeds backwards from (startIndex+count) to startIndex. /// This is different than the meaning of the parameters on string.LastIndexOf! int LastIndexOf(char c, int startIndex, int count); /// /// Gets the index of the last occurrence of the specified search text in this text source. /// /// The search text /// Start index of the area to search. /// Length of the area to search. /// String comparison to use. /// The last index where the search term was found; or -1 if no occurrence was found. /// The search proceeds backwards from (startIndex+count) to startIndex. /// This is different than the meaning of the parameters on string.LastIndexOf! int LastIndexOf(string searchText, int startIndex, int count, StringComparison comparisonType); /* What about: void Insert (int offset, string value); void Remove (int offset, int count); void Remove (ISegment segment); void Replace (int offset, int count, string value); Or more search operations: IEnumerable SearchForward (string pattern, int startIndex); IEnumerable SearchForwardIgnoreCase (string pattern, int startIndex); IEnumerable SearchBackward (string pattern, int startIndex); IEnumerable SearchBackwardIgnoreCase (string pattern, int startIndex); */ } /// /// Represents a version identifier for a text source. /// /// /// Verions can be used to efficiently detect whether a document has changed and needs reparsing; /// or even to implement incremental parsers. /// It is a separate class from ITextSource to allow the GC to collect the text source while /// the version checkpoint is still in use. /// public interface ITextSourceVersion { /// /// Gets whether this checkpoint belongs to the same document as the other checkpoint. /// /// /// Returns false when given null. /// bool BelongsToSameDocumentAs(ITextSourceVersion other); /// /// Compares the age of this checkpoint to the other checkpoint. /// /// This method is thread-safe. /// Raised if 'other' belongs to a different document than this version. /// -1 if this version is older than . /// 0 if this version instance represents the same version as . /// 1 if this version is newer than . int CompareAge(ITextSourceVersion other); /// /// Gets the changes from this checkpoint to the other checkpoint. /// If 'other' is older than this checkpoint, reverse changes are calculated. /// /// This method is thread-safe. /// Raised if 'other' belongs to a different document than this checkpoint. IEnumerable GetChangesTo(ITextSourceVersion other); /// /// Calculates where the offset has moved in the other buffer version. /// /// Raised if 'other' belongs to a different document than this checkpoint. int MoveOffsetTo(ITextSourceVersion other, int oldOffset, AnchorMovementType movement = AnchorMovementType.Default); } /// /// Implements the ITextSource interface using a string. /// [Serializable] public class StringTextSource : ITextSource { /// /// Gets a text source containing the empty string. /// public static readonly StringTextSource Empty = new StringTextSource(string.Empty); readonly string text; readonly ITextSourceVersion version; /// /// Creates a new StringTextSource with the given text. /// public StringTextSource(string text) { if (text == null) throw new ArgumentNullException("text"); this.text = text; } /// /// Creates a new StringTextSource with the given text. /// public StringTextSource(string text, ITextSourceVersion version) { if (text == null) throw new ArgumentNullException("text"); this.text = text; this.version = version; } /// public ITextSourceVersion Version { get { return version; } } /// public int TextLength { get { return text.Length; } } /// public string Text { get { return text; } } /// public ITextSource CreateSnapshot() { return this; // StringTextSource is immutable } /// public ITextSource CreateSnapshot(int offset, int length) { return new StringTextSource(text.Substring(offset, length)); } /// public TextReader CreateReader() { return new StringReader(text); } /// public TextReader CreateReader(int offset, int length) { return new StringReader(text.Substring(offset, length)); } /// public void WriteTextTo(TextWriter writer) { writer.Write(text); } /// public void WriteTextTo(TextWriter writer, int offset, int length) { writer.Write(text.Substring(offset, length)); } /// public char GetCharAt(int offset) { return text[offset]; } /// public string GetText(int offset, int length) { return text.Substring(offset, length); } /// public string GetText(ISegment segment) { if (segment == null) throw new ArgumentNullException("segment"); return text.Substring(segment.Offset, segment.Length); } /// public int IndexOf(char c, int startIndex, int count) { return text.IndexOf(c, startIndex, count); } /// public int IndexOfAny(char[] anyOf, int startIndex, int count) { return text.IndexOfAny(anyOf, startIndex, count); } /// public int IndexOf(string searchText, int startIndex, int count, StringComparison comparisonType) { return text.IndexOf(searchText, startIndex, count, comparisonType); } /// public int LastIndexOf(char c, int startIndex, int count) { return text.LastIndexOf(c, startIndex + count - 1, count); } /// public int LastIndexOf(string searchText, int startIndex, int count, StringComparison comparisonType) { return text.LastIndexOf(searchText, startIndex + count - 1, count, comparisonType); } } #endif }