Beispiel #1
0
 public static void Invariant(bool condition, string userMessage)
 {
     Contract.AssertMustUseRewriter(ContractFailureKind.Invariant, "Invariant");
 }
Beispiel #2
0
 public static void EnsuresOnThrow <TException>(bool condition, string userMessage) where TException : Exception
 {
     Contract.AssertMustUseRewriter(ContractFailureKind.PostconditionOnException, "EnsuresOnThrow");
 }
Beispiel #3
0
 public static void Requires <TException>(bool condition, string userMessage) where TException : Exception
 {
     Contract.AssertMustUseRewriter(ContractFailureKind.Precondition, "Requires<TException>");
 }
Beispiel #4
0
 public static void Ensures(bool condition, string userMessage)
 {
     Contract.AssertMustUseRewriter(ContractFailureKind.Postcondition, "Ensures");
 }
Beispiel #5
0
 public static void Requires(bool condition, string userMessage)
 {
     Contract.AssertMustUseRewriter(ContractFailureKind.Precondition, "Requires");
 }