public static void Invariant(bool condition, string userMessage) { Contract.AssertMustUseRewriter(ContractFailureKind.Invariant, "Invariant"); }
public static void EnsuresOnThrow <TException>(bool condition, string userMessage) where TException : Exception { Contract.AssertMustUseRewriter(ContractFailureKind.PostconditionOnException, "EnsuresOnThrow"); }
public static void Requires <TException>(bool condition, string userMessage) where TException : Exception { Contract.AssertMustUseRewriter(ContractFailureKind.Precondition, "Requires<TException>"); }
public static void Ensures(bool condition, string userMessage) { Contract.AssertMustUseRewriter(ContractFailureKind.Postcondition, "Ensures"); }
public static void Requires(bool condition, string userMessage) { Contract.AssertMustUseRewriter(ContractFailureKind.Precondition, "Requires"); }