private static void ErrorWriteLine(string locInfo, string message, ErrorMsgType msgtype) { Contract.Requires(message != null); if (!String.IsNullOrEmpty(locInfo)) { Console.Error.Write(locInfo + " "); } switch (msgtype) { case ErrorMsgType.Error: Console.Error.Write("error: "); break; case ErrorMsgType.Note: Console.Error.Write("note: "); break; case ErrorMsgType.NoError: default: break; } Console.Error.WriteLine(message); }
private static void ErrorWriteLine(string locInfo, string message, ErrorMsgType msgtype) { Contract.Requires(message != null); ConsoleColor col = Console.ForegroundColor; if (!string.IsNullOrEmpty(locInfo)) { Console.Error.Write(locInfo + " "); } switch (msgtype) { case ErrorMsgType.Error: Console.ForegroundColor = ConsoleColor.Red; Console.Error.Write("error: "); break; case ErrorMsgType.Note: Console.ForegroundColor = ConsoleColor.DarkYellow; Console.Error.Write("note: "); break; case ErrorMsgType.NoError: default: break; } Console.ForegroundColor = col; Console.Error.WriteLine(message); }