41 references to ContractFailureKind
mscorlib (1)
src\libraries\shims\mscorlib\ref\mscorlib.cs (1)
156[assembly: System.Runtime.CompilerServices.TypeForwardedTo(typeof(System.Diagnostics.Contracts.ContractFailureKind))]
netstandard (1)
netstandard.cs (1)
637[assembly: System.Runtime.CompilerServices.TypeForwardedTo(typeof(System.Diagnostics.Contracts.ContractFailureKind))]
System.Diagnostics.Contracts (1)
artifacts\obj\System.Diagnostics.Contracts\Debug\net10.0\System.Diagnostics.Contracts.Forwards.cs (1)
9[assembly: System.Runtime.CompilerServices.TypeForwardedTo(typeof(System.Diagnostics.Contracts.ContractFailureKind))]
System.Private.CoreLib (38)
src\libraries\System.Private.CoreLib\src\System\Diagnostics\Contracts\ContractException.cs (4)
14private readonly ContractFailureKind _kind; 18public ContractFailureKind Kind => _kind; 29public ContractException(ContractFailureKind kind, string? failure, string? userMessage, string? condition, Exception? innerException) 42_kind = (ContractFailureKind)info.GetInt32("Kind");
src\libraries\System.Private.CoreLib\src\System\Diagnostics\Contracts\ContractFailedEventArgs.cs (4)
8private readonly ContractFailureKind _failureKind; 17public ContractFailedEventArgs(ContractFailureKind failureKind, string? message, string? condition, Exception? originalException) 19Debug.Assert(originalException == null || failureKind == ContractFailureKind.PostconditionOnException); 28public ContractFailureKind FailureKind => _failureKind;
src\libraries\System.Private.CoreLib\src\System\Diagnostics\Contracts\Contracts.cs (18)
229ReportFailure(ContractFailureKind.Assume, null, null, null); 248ReportFailure(ContractFailureKind.Assume, userMessage, null, null); 266ReportFailure(ContractFailureKind.Assert, null, null, null); 280ReportFailure(ContractFailureKind.Assert, userMessage, null, null); 300AssertMustUseRewriter(ContractFailureKind.Precondition, "Requires"); 317AssertMustUseRewriter(ContractFailureKind.Precondition, "Requires"); 332AssertMustUseRewriter(ContractFailureKind.Precondition, "Requires<TException>"); 348AssertMustUseRewriter(ContractFailureKind.Precondition, "Requires<TException>"); 368AssertMustUseRewriter(ContractFailureKind.Postcondition, "Ensures"); 385AssertMustUseRewriter(ContractFailureKind.Postcondition, "Ensures"); 402AssertMustUseRewriter(ContractFailureKind.PostconditionOnException, "EnsuresOnThrow"); 420AssertMustUseRewriter(ContractFailureKind.PostconditionOnException, "EnsuresOnThrow"); 479AssertMustUseRewriter(ContractFailureKind.Invariant, "Invariant"); 496AssertMustUseRewriter(ContractFailureKind.Invariant, "Invariant"); 619private static void AssertMustUseRewriter(ContractFailureKind kind, string contractKind) 651private static void ReportFailure(ContractFailureKind failureKind, string? userMessage, string? conditionText, Exception? innerException) 653if (failureKind < ContractFailureKind.Precondition || failureKind > ContractFailureKind.Assume)
src\libraries\System.Private.CoreLib\src\System\Runtime\CompilerServices\ContractHelper.cs (12)
33public static string? RaiseContractFailedEvent(ContractFailureKind failureKind, string? userMessage, string? conditionText, Exception? innerException) 35if (failureKind < ContractFailureKind.Precondition || failureKind > ContractFailureKind.Assume) 88public static void TriggerFailure(ContractFailureKind kind, string? displayMessage, string? userMessage, string? conditionText, Exception? innerException) 98private static string GetFailureMessage(ContractFailureKind failureKind, string? conditionText) 103case ContractFailureKind.Assert: 106case ContractFailureKind.Assume: 109case ContractFailureKind.Precondition: 112case ContractFailureKind.Postcondition: 115case ContractFailureKind.Invariant: 118case ContractFailureKind.PostconditionOnException: 127private static string GetDisplayMessage(ContractFailureKind failureKind, string? userMessage, string? conditionText)