internal static void VerifyProtocol(bool condition, string unformattedMessage, params object[] args)
{
Requires.NotNull(args, "args");
Assumes.True(unformattedMessage != null);
if (!condition)
{
var exception = new ProtocolException(string.Format(CultureInfo.CurrentCulture, unformattedMessage, args));
if (Logger.Messaging.IsErrorEnabled)
{
Logger.Messaging.Error(
string.Format(
CultureInfo.CurrentCulture,
"Protocol error: {0}{1}{2}",
exception.Message,
Environment.NewLine,
new StackTrace()));
}
throw exception;
}
}
internal static void VerifyProtocol(bool condition, string message, params object[] args)
{
Contract.Requires <ArgumentNullException>(args != null);
Contract.Ensures(condition);
Contract.EnsuresOnThrow <ProtocolException>(!condition);
Contract.Assume(message != null);
if (!condition)
{
var exception = new ProtocolException(string.Format(CultureInfo.CurrentCulture, message, args));
if (Logger.Messaging.IsErrorEnabled)
{
Logger.Messaging.Error(
string.Format(
CultureInfo.CurrentCulture,
"Protocol error: {0}{1}{2}",
exception.Message,
Environment.NewLine,
new StackTrace()));
}
throw exception;
}
}
