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