////////////////////////////////////////////////////////////////////////////////////////////////////
        // 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);
        }