private void InsertCodeSpan(LexSpan span)
{
if (span != null)
{
int lNum = span.startLine;
string code = span.ToString();
string format = null;
if (GPCG.Lines)
format = String.Format(CultureInfo.InvariantCulture, "#line {{0}} \"{0}\"", grammar.InputFileName);
StringReader reader = new StringReader(code);
while (true)
{
string line = reader.ReadLine();
if (line == null)
break;
if (format != null)
Console.WriteLine(format, lNum++);
Console.WriteLine(line);
}
}
}