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("-------------------------------------------------------------------------------");
}