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);
 }
Example #2
0
        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);
        }