48 references to ContractFailureKind
mscorlib (48)
system\diagnostics\contracts\contracts.cs (22)
306ReportFailure(ContractFailureKind.Assume, null, null, null); 327ReportFailure(ContractFailureKind.Assume, userMessage, null, null); 348ReportFailure(ContractFailureKind.Assert, null, null, null); 365ReportFailure(ContractFailureKind.Assert, userMessage, null, null); 388AssertMustUseRewriter(ContractFailureKind.Precondition, "Requires"); 408AssertMustUseRewriter(ContractFailureKind.Precondition, "Requires"); 428AssertMustUseRewriter(ContractFailureKind.Precondition, "Requires<TException>"); 450AssertMustUseRewriter(ContractFailureKind.Precondition, "Requires<TException>"); 473AssertMustUseRewriter(ContractFailureKind.Postcondition, "Ensures"); 493AssertMustUseRewriter(ContractFailureKind.Postcondition, "Ensures"); 514AssertMustUseRewriter(ContractFailureKind.PostconditionOnException, "EnsuresOnThrow"); 536AssertMustUseRewriter(ContractFailureKind.PostconditionOnException, "EnsuresOnThrow"); 610AssertMustUseRewriter(ContractFailureKind.Invariant, "Invariant"); 630AssertMustUseRewriter(ContractFailureKind.Invariant, "Invariant"); 893static partial void ReportFailure(ContractFailureKind failureKind, String userMessage, String conditionText, Exception innerException); 899static partial void AssertMustUseRewriter(ContractFailureKind kind, String contractKind); 940public static string RaiseContractFailedEvent(ContractFailureKind failureKind, String userMessage, String conditionText, Exception innerException) 952public static void TriggerFailure(ContractFailureKind kind, String displayMessage, String userMessage, String conditionText, Exception innerException) 979public static string RaiseContractFailedEvent(ContractFailureKind failureKind, String userMessage, String conditionText, Exception innerException) 994public static void TriggerFailure(ContractFailureKind kind, String displayMessage, String userMessage, String conditionText, Exception innerException) 1014static partial void RaiseContractFailedEventImplementation(ContractFailureKind failureKind, String userMessage, String conditionText, Exception innerException, ref string resultFailureMessage); 1019static partial void TriggerFailureImplementation(ContractFailureKind kind, String displayMessage, String userMessage, String conditionText, Exception innerException);
system\diagnostics\contracts\contractsbcl.cs (25)
58static partial void AssertMustUseRewriter(ContractFailureKind kind, String contractKind) 102static partial void ReportFailure(ContractFailureKind failureKind, String userMessage, String conditionText, Exception innerException) 104if (failureKind < ContractFailureKind.Precondition || failureKind > ContractFailureKind.Assume) 150private ContractFailureKind _failureKind; 162public ContractFailedEventArgs(ContractFailureKind failureKind, String message, String condition, Exception originalException) 164Contract.Requires(originalException == null || failureKind == ContractFailureKind.PostconditionOnException); 173public ContractFailureKind FailureKind { get { return _failureKind; } } 216readonly ContractFailureKind _Kind; 221public ContractFailureKind Kind { get { return _Kind; } } 235public ContractException(ContractFailureKind kind, string failure, string userMessage, string condition, Exception innerException) 248_Kind = (ContractFailureKind)info.GetInt32("Kind"); 340static partial void RaiseContractFailedEventImplementation(ContractFailureKind failureKind, String userMessage, String conditionText, Exception innerException, ref string resultFailureMessage) 342if (failureKind < ContractFailureKind.Precondition || failureKind > ContractFailureKind.Assume) 408static partial void TriggerFailureImplementation(ContractFailureKind kind, String displayMessage, String userMessage, String conditionText, Exception innerException) 438private static String GetResourceNameForFailure(ContractFailureKind failureKind) 443case ContractFailureKind.Assert: 447case ContractFailureKind.Assume: 451case ContractFailureKind.Precondition: 455case ContractFailureKind.Postcondition: 459case ContractFailureKind.Invariant: 463case ContractFailureKind.PostconditionOnException: 478private static String GetDisplayMessage(ContractFailureKind failureKind, String userMessage, String conditionText) 520private static void TriggerCodeContractEscalationPolicy(ContractFailureKind failureKind, String message, String conditionText, Exception innerException)
system\environment.cs (1)
345internal static extern void TriggerCodeContractFailure(ContractFailureKind failureKind, String message, String condition, String exceptionAsString);