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