private void WritePhysicalLocation(Location location)
{
Debug.Assert(HasPath(location));
FileLinePositionSpan span = location.GetLineSpan();
_writer.WriteObjectStart();
_writer.Write("uri", GetUri(span.Path));
// Note that SARIF lines and columns are 1-based, but FileLinePositionSpan is 0-based
_writer.WriteObjectStart("region");
_writer.Write("startLine", span.StartLinePosition.Line + 1);
_writer.Write("startColumn", span.StartLinePosition.Character + 1);
_writer.Write("endLine", span.EndLinePosition.Line + 1);
_writer.Write("endColumn", span.EndLinePosition.Character + 1);
_writer.WriteObjectEnd(); // region
_writer.WriteObjectEnd();
}
internal ExternalFileLocation(string filePath, TextSpan sourceSpan, LinePositionSpan lineSpan)
{
_sourceSpan = sourceSpan;
_lineSpan = new FileLinePositionSpan(filePath, lineSpan);
}
