public override void WriteId(System.IO.TextWriter trapFile) { trapFile.Write("loc,"); trapFile.WriteSubId(FileEntity); trapFile.Write(','); trapFile.Write(Position.Span.Start.Line + 1); trapFile.Write(','); trapFile.Write(Position.Span.Start.Character + 1); trapFile.Write(','); trapFile.Write(Position.Span.End.Line + 1); trapFile.Write(','); trapFile.Write(Position.Span.End.Character); }
public override void WriteId(System.IO.TextWriter trapFile) { FileLinePositionSpan l = symbol.GetLineSpan(); FileEntity = Entities.File.Create(Context, l.Path); trapFile.Write("loc,"); trapFile.WriteSubId(FileEntity); trapFile.Write(','); trapFile.Write(l.Span.Start.Line + 1); trapFile.Write(','); trapFile.Write(l.Span.Start.Character + 1); trapFile.Write(','); trapFile.Write(l.Span.End.Line + 1); trapFile.Write(','); trapFile.Write(l.Span.End.Character); }