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));
}