/* Print a string to the file and keep the linenumber up to date */ internal static void Write(StreamWriter w, Context ctx, string value, ref int lineno, string filePath) { if (value == null) return; w.CheckedWrite(ref lineno, value); if (!value.EndsWith("\n")) w.WriteLine(ref lineno); if (!ctx.NoShowLinenos) WriteLineInfo(ref lineno, w, lineno, filePath); }