C# (CSharp) System.IO TextWriter.WriteSubId Examples

Example #1

File: SourceLocation.cs Project: lapolinarweb/supreme-tribble

 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

File: SourceLocation.cs Project: stjordanis/codeql

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