476 B
476 B
System.Diagnostics.Contracts.Internal
+namespace System.Diagnostics.Contracts.Internal {
+ public static class ContractHelper {
+ public static string RaiseContractFailedEvent(ContractFailureKind failureKind, string userMessage, string conditionText, Exception innerException);
+ public static void TriggerFailure(ContractFailureKind kind, string displayMessage, string userMessage, string conditionText, Exception innerException);
+ }
+}