//[Pure]
public static TextPosition ToPosition(this TextOffset offset, string data)
{
if (string.IsNullOrEmpty(data))
{
throw new ArgumentNullException(data);
}
var lines = data.Replace("\r", "").Split('\n');
var numLinesBeforeOffset = 0;
var pos = 0;
for (var i = 0; i < lines.Length; ++i)
{
if (offset < pos + lines[i].Length + 1)
{
break;
}
++numLinesBeforeOffset;
pos += lines[i].Length + 1;
}
var character = offset - pos;
return(new TextPosition(
new LineNumber(numLinesBeforeOffset + 1),
new CharacterNumber(character + 1)));
}
public bool Equals(TextOffset other)
{
return(_offset == other._offset);
}
