private Span NoteRange( Span span, SourceRange range) { if (span == null || range.fileName == null) return span; span.WriteLine("{0}{1}", startSourceRange, range); var subSpan = span.InsertSpan(); span.WriteLine(endSourceRange); return subSpan; }