public FileLinePositionSpan(string path, LinePositionSpan span, bool hasMappedPath) { _path = path; _span = span; _hasMappedPath = hasMappedPath; }
public ExternalFileLocation(string filePath, TextSpan sourceSpan, LinePositionSpan lineSpan) { _sourceSpan = sourceSpan; _lineSpan = new FileLinePositionSpan(filePath, lineSpan); }
public virtual string FormatSourceSpan(LinePositionSpan span) { return(string.Format("({0},{1})", span.Start.Line + 1, span.Start.Character + 1)); }