From d6c16e00df44d5807972eea37e8b0d0bbf1e25f9 Mon Sep 17 00:00:00 2001
From: Anairkoen Schno <aaron.cirr.com@gmail.com>
Date: Fri, 26 Mar 2021 23:29:41 -0500
Subject: [PATCH] Add System.Diagnostics.CodeAnalysis to common targets

---
 BSIPA.sln                          |  1 +
 Common.targets                     |  4 ++
 System.Diagnostics.CodeAnalysis.cs | 76 ++++++++++++++++++++++++++++++
 3 files changed, 81 insertions(+)
 create mode 100644 System.Diagnostics.CodeAnalysis.cs

diff --git a/BSIPA.sln b/BSIPA.sln
index 1a4c85e7..f2a38632 100644
--- a/BSIPA.sln
+++ b/BSIPA.sln
@@ -24,6 +24,7 @@ Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "Solution Items", "Solution
 		.github\workflows\docs.yml = .github\workflows\docs.yml
 		README.md = README.md
 		.github\release_draft.yml = .github\release_draft.yml
+		System.Diagnostics.CodeAnalysis.cs = System.Diagnostics.CodeAnalysis.cs
 		.github\workflows\tag_docs.yml = .github\workflows\tag_docs.yml
 	EndProjectSection
 EndProject
diff --git a/Common.targets b/Common.targets
index 07459379..56750be5 100644
--- a/Common.targets
+++ b/Common.targets
@@ -1,4 +1,8 @@
 <?xml version="1.0" encoding="utf-8"?>
 <Project>
 
+  <ItemGroup>
+    <Compile Include="$(MSBuildThisFileDirectory)\System.Diagnostics.CodeAnalysis.cs"/>
+  </ItemGroup>
+  
 </Project>
\ No newline at end of file
diff --git a/System.Diagnostics.CodeAnalysis.cs b/System.Diagnostics.CodeAnalysis.cs
new file mode 100644
index 00000000..cedced0f
--- /dev/null
+++ b/System.Diagnostics.CodeAnalysis.cs
@@ -0,0 +1,76 @@
+#if !NETSTANDARD2_1
+namespace System.Diagnostics.CodeAnalysis
+{
+    // Effectively the Microsoft implementation for when it doesn't exist for my convenience
+
+    /// <summary>
+    /// Specifies that when a method returns <see cref="ReturnValue"/>,
+    /// the parameter may be <see langword="null"/> even if the corresponding type disallows it.
+    /// </summary>
+    [AttributeUsage(AttributeTargets.Parameter, Inherited = false)]
+    internal sealed class MaybeNullWhenAttribute : Attribute
+    {
+        /// <summary>
+        /// Initializes the attribute with the specified return value condition.
+        /// </summary>
+        /// <param name="returnValue">The return value condition. If the method returns this
+        /// value, the associated parameter may be null.</param>
+        public MaybeNullWhenAttribute(bool returnValue) => ReturnValue = returnValue;
+
+        /// <summary>
+        /// Gets the return value condition.
+        /// </summary>
+        /// <value>The return value condition. If the method returns this value, the
+        /// associated parameter may be null.</value>
+        public bool ReturnValue { get; }
+    }
+    /// <summary>
+    /// Specifies that when a method returns <see cref="ReturnValue"/>,
+    /// the parameter is not <see langword="null"/> even if the corresponding type allows it.
+    /// </summary>
+    [AttributeUsage(AttributeTargets.Parameter, Inherited = false)]
+    internal sealed class NotNullWhenAttribute : Attribute
+    {
+        /// <summary>
+        /// Initializes the attribute with the specified return value condition.
+        /// </summary>
+        /// <param name="returnValue">The return value condition. If the method returns this
+        /// value, the associated parameter is not null.</param>
+        public NotNullWhenAttribute(bool returnValue) => ReturnValue = returnValue;
+
+        /// <summary>
+        /// Gets the return value condition.
+        /// </summary>
+        /// <value>The return value condition. If the method returns this value, the
+        /// associated parameter is not null.</value>
+        public bool ReturnValue { get; }
+    }
+    /// <summary>
+    /// Specifies that an output may be <see langword="null"/> even if the corresponding type disallows it.
+    /// </summary>
+    [AttributeUsage(AttributeTargets.Field | AttributeTargets.Parameter | AttributeTargets.Property | AttributeTargets.ReturnValue, Inherited = false)]
+    internal sealed class MaybeNullAttribute : Attribute
+    {
+    }
+    /// <summary>
+    /// Specifies that the method will not return if the associated Boolean parameter is passed the specified value.
+    /// </summary>
+    [AttributeUsage(AttributeTargets.Parameter, Inherited = false)]
+    internal sealed class DoesNotReturnIfAttribute : Attribute
+    {
+        /// <summary>
+        /// Initializes the attribute with the specified parameter value.
+        /// </summary>
+        /// <param name="parameterValue">
+        /// The condition parameter value. Code after the method will be considered unreachable by diagnostics if the argument to
+        /// the associated parameter matches this value.
+        /// </param>
+        public DoesNotReturnIfAttribute(bool parameterValue) => ParameterValue = parameterValue;
+
+        /// <summary>
+        /// Gets the condition parameter value.
+        /// </summary>
+        public bool ParameterValue { get; }
+    }
+}
+#endif