From 0f6cd42f583e6f915add55f9a555c3d9a02a2e4e Mon Sep 17 00:00:00 2001
From: Mohamed Seada <mohamed.seada.1994@gmail.com>
Date: Sat, 15 Jun 2024 01:25:52 +0300
Subject: [PATCH] use post condition not null attribute

---
 framework/src/Volo.Abp.Core/Volo/Abp/Check.cs | 16 +++++++++-------
 1 file changed, 9 insertions(+), 7 deletions(-)

diff --git a/framework/src/Volo.Abp.Core/Volo/Abp/Check.cs b/framework/src/Volo.Abp.Core/Volo/Abp/Check.cs
index 0e6820c913..d50a19401e 100644
--- a/framework/src/Volo.Abp.Core/Volo/Abp/Check.cs
+++ b/framework/src/Volo.Abp.Core/Volo/Abp/Check.cs
@@ -10,7 +10,7 @@ public static class Check
 {
     [ContractAnnotation("value:null => halt")]
     public static T NotNull<T>(
-        T? value,
+        [System.Diagnostics.CodeAnalysis.NotNull] T? value,
         [InvokerParameterName][NotNull] string parameterName)
     {
         if (value == null)
@@ -23,7 +23,7 @@ public static class Check
 
     [ContractAnnotation("value:null => halt")]
     public static T NotNull<T>(
-        T? value,
+        [System.Diagnostics.CodeAnalysis.NotNull] T? value,
         [InvokerParameterName][NotNull] string parameterName,
         string message)
     {
@@ -37,7 +37,7 @@ public static class Check
 
     [ContractAnnotation("value:null => halt")]
     public static string NotNull(
-        string? value,
+        [System.Diagnostics.CodeAnalysis.NotNull] string? value,
         [InvokerParameterName][NotNull] string parameterName,
         int maxLength = int.MaxValue,
         int minLength = 0)
@@ -62,7 +62,7 @@ public static class Check
 
     [ContractAnnotation("value:null => halt")]
     public static string NotNullOrWhiteSpace(
-        string? value,
+        [System.Diagnostics.CodeAnalysis.NotNull] string? value,
         [InvokerParameterName][NotNull] string parameterName,
         int maxLength = int.MaxValue,
         int minLength = 0)
@@ -87,7 +87,7 @@ public static class Check
 
     [ContractAnnotation("value:null => halt")]
     public static string NotNullOrEmpty(
-        string? value,
+        [System.Diagnostics.CodeAnalysis.NotNull] string? value,
         [InvokerParameterName][NotNull] string parameterName,
         int maxLength = int.MaxValue,
         int minLength = 0)
@@ -111,7 +111,9 @@ public static class Check
     }
 
     [ContractAnnotation("value:null => halt")]
-    public static ICollection<T> NotNullOrEmpty<T>(ICollection<T>? value, [InvokerParameterName][NotNull] string parameterName)
+    public static ICollection<T> NotNullOrEmpty<T>(
+        [System.Diagnostics.CodeAnalysis.NotNull] ICollection<T>? value,
+        [InvokerParameterName][NotNull] string parameterName)
     {
         if (value == null || value.Count <= 0)
         {
@@ -339,7 +341,7 @@ public static class Check
     }
 
     public static T NotDefaultOrNull<T>(
-        T? value,
+        [System.Diagnostics.CodeAnalysis.NotNull] T? value,
         [InvokerParameterName][NotNull] string parameterName)
         where T : struct
     {