//////////////////////////////////////////////////////////////////////////////////////////////////// // ParseText //////////////////////////////////////////////////////////////////////////////////////////////////// private static void ParseText(PdeText text, StreamWriter file, bool eof) { string text_buffer = text.GetText(); file.Write(text_buffer); if (eof) { file.Write("\n"); } }
//////////////////////////////////////////////////////////////////////////////////////////////////// // ParseText //////////////////////////////////////////////////////////////////////////////////////////////////// private static void ParseText(PdeText text, StreamWriter file) { string text_buffer = text.GetText(); file.WriteLine(text_buffer); }
//////////////////////////////////////////////////////////////////////////////////////////////////// // ParseText //////////////////////////////////////////////////////////////////////////////////////////////////// private static void ParseText(PdeText text) { string text_buffer = text.GetText(); Console.WriteLine(text_buffer); }