7 references to Precondition
mscorlib (7)
system\diagnostics\contracts\contracts.cs (4)
388AssertMustUseRewriter(ContractFailureKind.Precondition, "Requires"); 408AssertMustUseRewriter(ContractFailureKind.Precondition, "Requires"); 428AssertMustUseRewriter(ContractFailureKind.Precondition, "Requires<TException>"); 450AssertMustUseRewriter(ContractFailureKind.Precondition, "Requires<TException>");
system\diagnostics\contracts\contractsbcl.cs (3)
104if (failureKind < ContractFailureKind.Precondition || failureKind > ContractFailureKind.Assume) 342if (failureKind < ContractFailureKind.Precondition || failureKind > ContractFailureKind.Assume) 451case ContractFailureKind.Precondition: