system\diagnostics\contracts\contracts.cs (10)
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");