Added jetbrain contract

shouldly · Aug 18, 2016 · 522e30e · 522e30e
1 parent 24ac873
commit 522e30e
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/Shouldly/ShouldlyExtensionMethods/ShouldBeNullExtensions.cs b/src/Shouldly/ShouldlyExtensionMethods/ShouldBeNullExtensions.cs
@@ -24,16 +24,19 @@ public static void ShouldBeNull<T>(this T actual, [InstantHandle]Func<string> cu
                 throw new ShouldAssertException(new ExpectedShouldlyMessage(actual, customMessage).ToString());
         }
 
+        [ContractAnnotation("actual:null => halt")]
         public static void ShouldNotBeNull<T>(this T actual)
         {
             ShouldNotBeNull(actual, () => null);
         }
 
+        [ContractAnnotation("actual:null => halt")]
         public static void ShouldNotBeNull<T>(this T actual, string customMessage)
         {
             ShouldNotBeNull(actual, () => customMessage);
         }
 
+        [ContractAnnotation("actual:null => halt")]
         public static void ShouldNotBeNull<T>(this T actual, [InstantHandle]Func<string> customMessage)
         {
             if (actual == null)