4 references to PostconditionOnException
mscorlib (4)
system\diagnostics\contracts\contracts.cs (2)
514AssertMustUseRewriter(ContractFailureKind.PostconditionOnException, "EnsuresOnThrow"); 536AssertMustUseRewriter(ContractFailureKind.PostconditionOnException, "EnsuresOnThrow");
system\diagnostics\contracts\contractsbcl.cs (2)
164Contract.Requires(originalException == null || failureKind == ContractFailureKind.PostconditionOnException); 463case ContractFailureKind.PostconditionOnException: