public static string RaiseContractFailedEvent(System.Diagnostics.Contracts.ContractFailureKind kind, string user, string condition, Exception inner)
{
FailureCount++;
if (condition != null)
{
if (user != null)
{
return(String.Format("{0} failed: {1}: {2}", kind, condition, user));
}
else
{
return(String.Format("{0} failed: {1}", kind, condition));
}
}
else
{
if (user != null)
{
return(String.Format("{0} failed: {1}", kind, user));
}
else
{
return(String.Format("{0} failed.", kind));
}
}
}
public static void TriggerFailure(System.Diagnostics.Contracts.ContractFailureKind kind, string message, string user, string condition, Exception inner)
{
switch (kind)
{
case System.Diagnostics.Contracts.ContractFailureKind.Assert:
throw new AssertException(user, condition);
case System.Diagnostics.Contracts.ContractFailureKind.Assume:
throw new AssumeException(user, condition);
case System.Diagnostics.Contracts.ContractFailureKind.Invariant:
throw new InvariantException(user, condition);
case System.Diagnostics.Contracts.ContractFailureKind.Postcondition:
throw new PostconditionException(user, condition);
case System.Diagnostics.Contracts.ContractFailureKind.PostconditionOnException:
throw new PostconditionOnThrowException(user, condition);
case System.Diagnostics.Contracts.ContractFailureKind.Precondition:
throw new PreconditionException(user, condition);
}
}
public static void TriggerFailure(System.Diagnostics.Contracts.ContractFailureKind kind, string displayMessage, string userMessage, string conditionText, System.Exception innerException)
{
}
public static string RaiseContractFailedEvent(System.Diagnostics.Contracts.ContractFailureKind failureKind, string userMessage, string conditionText, System.Exception innerException)
{
throw null;
}
public ContractFailedEventArgs(System.Diagnostics.Contracts.ContractFailureKind failureKind, string message, string condition, System.Exception originalException)
{
}
public ContractException(System.Diagnostics.Contracts.ContractFailureKind kind, string?failure, string?userMessage, string?condition, System.Exception?innerException)
{
}
public static string RaiseContractFailedEvent(System.Diagnostics.Contracts.ContractFailureKind failureKind, string userMessage, string conditionText, System.Exception innerException)
{
return(default(string));
}
