public string sourceLine(SourceLineInfo s)
{
// This is the sourceLine after removal of comments
// The position in this line is s.charPosition
// If you want the comments as well, then you should re-read the source file
// and the position in the line is s.rawCharPosition
return m_buf.Substring(s.startOfLine,s.endOfLine-s.startOfLine);
}