7 references to Precondition
System.Private.CoreLib (7)
src\libraries\System.Private.CoreLib\src\System\Diagnostics\Contracts\Contracts.cs (5)
300AssertMustUseRewriter(ContractFailureKind.Precondition, "Requires"); 317AssertMustUseRewriter(ContractFailureKind.Precondition, "Requires"); 332AssertMustUseRewriter(ContractFailureKind.Precondition, "Requires<TException>"); 348AssertMustUseRewriter(ContractFailureKind.Precondition, "Requires<TException>"); 653if (failureKind < ContractFailureKind.Precondition || failureKind > ContractFailureKind.Assume)
src\libraries\System.Private.CoreLib\src\System\Runtime\CompilerServices\ContractHelper.cs (2)
35if (failureKind < ContractFailureKind.Precondition || failureKind > ContractFailureKind.Assume) 109case ContractFailureKind.Precondition: