add support for xunit TypeAsserts IsNotType (#241)

Author: Meir017

src/FluentAssertions.Analyzers.Tests/Tips/XunitTests.cs

@@ -620,6 +620,28 @@ public void AssertIsType_TestAnalyzer(string assertion) =>
         public void AssertIsType_TestCodeFix(string oldAssertion, string newAssertion)
             => VerifyCSharpFix<AssertIsTypeCodeFix, AssertIsTypeAnalyzer>("string actual, Type expected", oldAssertion, newAssertion);
 
+        [DataTestMethod]
+        [DataRow("Assert.IsNotType(expected, actual);")]
+        [DataRow("Assert.IsNotType(typeof(string), actual);")]
+        [DataRow("Assert.IsNotType<string>(actual);")]
+        [Implemented]
+        public void AssertIsNotType_TestAnalyzer(string assertion) =>
+            VerifyCSharpDiagnostic<AssertIsNotTypeAnalyzer>("string actual, Type expected", assertion);
+
+        [DataTestMethod]
+        [DataRow(
+            /* oldAssertion: */ "Assert.IsNotType(expected, actual);",
+            /* newAssertion: */ "actual.Should().NotBeOfType(expected);")]
+        [DataRow(
+            /* oldAssertion: */ "Assert.IsNotType(typeof(string), actual);",
+            /* newAssertion: */ "actual.Should().NotBeOfType<string>();")]
+        [DataRow(
+            /* oldAssertion: */ "Assert.IsNotType<string>(actual);",
+            /* newAssertion: */ "actual.Should().NotBeOfType<string>();")]
+        [Implemented]
+        public void AssertIsNotType_TestCodeFix(string oldAssertion, string newAssertion)
+            => VerifyCSharpFix<AssertIsNotTypeCodeFix, AssertIsNotTypeAnalyzer>("string actual, Type expected", oldAssertion, newAssertion);
+
         private void VerifyCSharpDiagnostic<TDiagnosticAnalyzer>(string methodArguments, string assertion) where TDiagnosticAnalyzer : Microsoft.CodeAnalysis.Diagnostics.DiagnosticAnalyzer, new()
         {
             var source = GenerateCode.XunitAssertion(methodArguments, assertion);

src/FluentAssertions.Analyzers/Constants.cs

@@ -140,6 +140,7 @@ public static class Xunit
             public const string AssertIsAssignableFrom = $"{DiagnosticProperties.IdPrefix}0718";
             public const string AssertIsNotAssignableFrom = $"{DiagnosticProperties.IdPrefix}0719";
             public const string AssertIsType = $"{DiagnosticProperties.IdPrefix}0720";
+            public const string AssertIsNotType = $"{DiagnosticProperties.IdPrefix}0721";
         }
     }
 

src/FluentAssertions.Analyzers/Tips/Xunit/AssertIsNotType.cs

@@ -0,0 +1,71 @@
+using System.Collections.Generic;
+using System.Collections.Immutable;
+using System.Composition;
+using System.Linq;
+using FluentAssertions.Analyzers.Utilities;
+using Microsoft.CodeAnalysis;
+using Microsoft.CodeAnalysis.CodeFixes;
+using Microsoft.CodeAnalysis.CSharp.Syntax;
+using Microsoft.CodeAnalysis.Diagnostics;
+using SF = Microsoft.CodeAnalysis.CSharp.SyntaxFactory;
+
+namespace FluentAssertions.Analyzers.Xunit;
+
+[DiagnosticAnalyzer(LanguageNames.CSharp)]
+public class AssertIsNotTypeAnalyzer : XunitAnalyzer
+{
+    public const string DiagnosticId = Constants.Tips.Xunit.AssertIsNotType;
+    public const string Category = Constants.Tips.Category;
+
+    public const string Message = "Use .Should().NotBeOfType().";
+
+    protected override DiagnosticDescriptor Rule => new(DiagnosticId, Title, Message, Category, DiagnosticSeverity.Info, true);
+
+    protected override IEnumerable<FluentAssertionsCSharpSyntaxVisitor> Visitors => new FluentAssertionsCSharpSyntaxVisitor[]
+    {
+        new AssertIsNotTypeGenericTypeSyntaxVisitor(),
+        new AssertIsNotTypeTypeSyntaxVisitor()
+    };
+
+    //public static T IsNotType<T>(object? @object)
+    public class AssertIsNotTypeGenericTypeSyntaxVisitor : FluentAssertionsCSharpSyntaxVisitor
+    {
+        public AssertIsNotTypeGenericTypeSyntaxVisitor() : base(
+            MemberValidator.HasArguments("IsNotType", 1)
+        )
+        {
+        }
+    }
+
+    //public static T IsNotType(Type expectedType, object? @object)
+    public class AssertIsNotTypeTypeSyntaxVisitor : FluentAssertionsCSharpSyntaxVisitor
+    {
+        public AssertIsNotTypeTypeSyntaxVisitor() : base(
+            MemberValidator.HasArguments("IsNotType", 2)
+        )
+        {
+        }
+    }
+}
+
+[ExportCodeFixProvider(LanguageNames.CSharp, Name = nameof(AssertIsNotTypeCodeFix)), Shared]
+public class AssertIsNotTypeCodeFix : XunitCodeFixProvider
+{
+    public override ImmutableArray<string> FixableDiagnosticIds => ImmutableArray.Create(AssertIsNotTypeAnalyzer.DiagnosticId);
+
+    protected override ExpressionSyntax GetNewExpression(
+        ExpressionSyntax expression,
+        FluentAssertionsDiagnosticProperties properties)
+    {
+        switch (properties.VisitorName)
+        {
+            case nameof(AssertIsNotTypeAnalyzer.AssertIsNotTypeGenericTypeSyntaxVisitor):
+                return RenameMethodAndReorderActualExpectedAndReplaceWithSubjectShould(expression, "IsNotType", "NotBeOfType");
+            case nameof(AssertIsNotTypeAnalyzer.AssertIsNotTypeTypeSyntaxVisitor):
+                var newExpression = RenameMethodAndReorderActualExpectedAndReplaceWithSubjectShould(expression, "IsNotType", "NotBeOfType");
+                return ReplaceTypeOfArgumentWithGenericTypeIfExists(newExpression, "NotBeOfType");
+            default:
+                throw new System.InvalidOperationException($"Invalid visitor name - {properties.VisitorName}");
+        }
+    }
+}