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