internal override void Write(CILWriter output)
{
if (output.Debug) {
string lineDetails = startLine + ", " + startCol;
if (hasEnd) {
lineDetails += ", " + endLine + ", " + endCol;
if (sourceFile != null) {
lineDetails += ", " + sourceFile.Name;
}
}
output.WriteLine(".line " + lineDetails);
}
}