2
// SeekableStreamReader.cs
5
// Mike Krüger <mkrueger@xamarin.com>
7
// Copyright (c) 2012 Xamarin Inc. (http://xamarin.com)
9
// Permission is hereby granted, free of charge, to any person obtaining a copy
10
// of this software and associated documentation files (the "Software"), to deal
11
// in the Software without restriction, including without limitation the rights
12
// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
13
// copies of the Software, and to permit persons to whom the Software is
14
// furnished to do so, subject to the following conditions:
16
// The above copyright notice and this permission notice shall be included in
17
// all copies or substantial portions of the Software.
19
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
20
// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
21
// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
22
// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
23
// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
24
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
27
using ICSharpCode.NRefactory.Editor;
33
public class SeekableStreamReader : IDisposable
35
public const int DefaultReadAheadSize = 2048;
37
readonly ITextSource textSource;
41
static string GetAllText(Stream stream, Encoding encoding) {
42
using (var rdr = new StreamReader(stream, encoding)) {
43
return rdr.ReadToEnd();
47
public SeekableStreamReader (Stream stream, Encoding encoding, char[] sharedBuffer = null) : this(new StringTextSource(GetAllText(stream, encoding)))
51
public SeekableStreamReader (ITextSource source)
53
this.textSource = source;
57
public void Dispose ()
62
/// This value corresponds to the current position in a stream of characters.
63
/// The StreamReader hides its manipulation of the underlying byte stream and all
64
/// character set/decoding issues. Thus, we cannot use this position to guess at
65
/// the corresponding position in the underlying byte stream even though there is
66
/// a correlation between them.
78
public char GetChar (int position)
80
return textSource.GetCharAt (position);
83
public char[] ReadChars (int fromPosition, int toPosition)
85
return textSource.GetText (fromPosition, toPosition - fromPosition).ToCharArray ();
90
if (pos >= textSource.TextLength)
92
return textSource.GetCharAt (pos);
97
if (pos >= textSource.TextLength)
99
return textSource.GetCharAt (pos++);