public static void Write_analysis_start_announcement(string analysisName)
 {
     Report_class.WriteLine("-------------------------------------------------------------------------------");
     Report_class.WriteLine("-------------------------------------------------------------------------------");
     Report_class.WriteLine("Analysis start of {0}", analysisName);
     Report_class.WriteLine("-------------------------------------------------------------------------------");
     Report_class.WriteLine();
 }
        public static void Write_notation_line(string text)
        {
            Console.ForegroundColor = ConsoleColor.Blue;
            Report_class.WriteLine(text);
            Console.ResetColor();
            StreamWriter writer = new StreamWriter(Error_file_name, true);

            writer.WriteLine(text);
            writer.Close();
        }
 public static void Write_major_line(string text)
 {
     Report_class.WriteLine();
     Report_class.WriteLine("*******************************************************************************");
     Report_class.WriteLine(text);
     for (int i = 0; i < text.Length; i++)
     {
         Report_class.Write("*");
     }
     Report_class.WriteLine();
 }
        public static void Write_code_imperfect_line(string text)
        {
            Console.ForegroundColor = ConsoleColor.DarkGreen;
            Report_class.WriteLine("!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!");
            Report_class.WriteLine(text);
            Report_class.WriteLine("!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!");
            Console.ResetColor();
            StreamWriter writer = new StreamWriter(Imperfect_code_file_name, true);

            writer.WriteLine(text);
            writer.Close();
        }
        public static void Write_error_line(string text, params object[] add)
        {
            Console.ForegroundColor = ConsoleColor.Red;
            Report_class.WriteLine("!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!");
            Report_class.WriteLine(text, add);
            Report_class.WriteLine("!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!");
            Console.ResetColor();
            StreamWriter writer = new StreamWriter(Error_file_name, true);

            writer.WriteLine(text, add);
            writer.Close();
        }
        public static void Write_major_line(string text, params object[] add)
        {
            Report_class.WriteLine();
            Report_class.WriteLine("*******************************************************************************");
            Report_class.WriteLine(text, add);
            int object_length = 0;

            foreach (object add_object in add)
            {
                object_length = +add_object.ToString().Length;
            }
            for (int i = 0; i < text.Length + object_length; i++)
            {
                Report_class.Write("*");
            }
            Report_class.WriteLine();
        }
 public static void Write_analysis_end()
 {
     Report_class.WriteLine("Analysis finished, {0}, {1}", DateTime.Now.ToString("yyyy.MM.dd"), string.Format("{0:HH:mm:ss tt}", DateTime.Now));
     Report_class.WriteLine("-------------------------------------------------------------------------------");
     Report_class.WriteLine("-------------------------------------------------------------------------------");
 }