public static string GetText(this SourceRange range)
{
Requires.NotNull(range, nameof(range));
var start = range.GetStart();
var end = range.GetEnd();
string text = File.ReadAllText(start.SourceFile.GetName());
return(text.Substring((int)start.Offset, (int)(end.Offset - start.Offset)));
}