Add ConstructorParamShouldMatchPropNames analyzer

src/NetAnalyzers/Core/AnalyzerReleases.Unshipped.md

@@ -1 +1,5 @@
 ; Please do not edit this file manually, it should only be updated through code fix application.
+### New Rules
+Rule ID | Category | Severity | Notes
+--------|----------|----------|-------
+CA1071 | Design | Warning | ConstructorParametersShouldMatchPropertyNamesAnalyzer, [Documentation](https://docs.microsoft.com/dotnet/fundamentals/code-analysis/quality-rules/ca1071)

src/NetAnalyzers/Core/Microsoft.CodeQuality.Analyzers/Maintainability/ReviewUnusedParameters.cs

@@ -196,6 +196,7 @@ private bool ShouldAnalyzeMethod(
             }
 
             // Ignore primary constructor (body-less) of positional records.
+            // TODO: I have to handle a similar situation
             if (IsPositionalRecordPrimaryConstructor(method))
             {
                 return false;

src/NetAnalyzers/Core/Microsoft.NetCore.Analyzers/MicrosoftNetCoreAnalyzersResources.resx

@@ -1,17 +1,17 @@
 <?xml version="1.0" encoding="utf-8"?>
 <root>
-  <!-- 
-    Microsoft ResX Schema 
-    
+  <!--
+    Microsoft ResX Schema
+
     Version 2.0
-    
-    The primary goals of this format is to allow a simple XML format 
-    that is mostly human readable. The generation and parsing of the 
-    various data types are done through the TypeConverter classes 
+
+    The primary goals of this format is to allow a simple XML format
+    that is mostly human readable. The generation and parsing of the
+    various data types are done through the TypeConverter classes
     associated with the data types.
-    
+
     Example:
-    
+
     ... ado.net/XML headers & schema ...
     <resheader name="resmimetype">text/microsoft-resx</resheader>
     <resheader name="version">2.0</resheader>
@@ -26,36 +26,36 @@
         <value>[base64 mime encoded string representing a byte array form of the .NET Framework object]</value>
         <comment>This is a comment</comment>
     </data>
-                
-    There are any number of "resheader" rows that contain simple 
+
+    There are any number of "resheader" rows that contain simple
     name/value pairs.
-    
-    Each data row contains a name, and value. The row also contains a 
-    type or mimetype. Type corresponds to a .NET class that support 
-    text/value conversion through the TypeConverter architecture. 
-    Classes that don't support this are serialized and stored with the 
+
+    Each data row contains a name, and value. The row also contains a
+    type or mimetype. Type corresponds to a .NET class that support
+    text/value conversion through the TypeConverter architecture.
+    Classes that don't support this are serialized and stored with the
     mimetype set.
-    
-    The mimetype is used for serialized objects, and tells the 
-    ResXResourceReader how to depersist the object. This is currently not 
+
+    The mimetype is used for serialized objects, and tells the
+    ResXResourceReader how to depersist the object. This is currently not
     extensible. For a given mimetype the value must be set accordingly:
-    
-    Note - application/x-microsoft.net.object.binary.base64 is the format 
-    that the ResXResourceWriter will generate, however the reader can 
+
+    Note - application/x-microsoft.net.object.binary.base64 is the format
+    that the ResXResourceWriter will generate, however the reader can
     read any of the formats listed below.
-    
+
     mimetype: application/x-microsoft.net.object.binary.base64
-    value   : The object must be serialized with 
+    value   : The object must be serialized with
             : System.Runtime.Serialization.Formatters.Binary.BinaryFormatter
             : and then encoded with base64 encoding.
-    
+
     mimetype: application/x-microsoft.net.object.soap.base64
-    value   : The object must be serialized with 
+    value   : The object must be serialized with
             : System.Runtime.Serialization.Formatters.Soap.SoapFormatter
             : and then encoded with base64 encoding.
 
     mimetype: application/x-microsoft.net.object.bytearray.base64
-    value   : The object must be serialized into a byte array 
+    value   : The object must be serialized into a byte array
             : using a System.ComponentModel.TypeConverter
             : and then encoded with base64 encoding.
     -->
@@ -1519,4 +1519,13 @@
     <value>and all other platforms</value>
     <comment>This call site is reachable on: 'windows' 10.0.2000 and later, and all other platforms</comment>
   </data>
+  <data name="ConstructorParameterShouldMatchPropertyOrFieldName" xml:space="preserve">
+    <value>For proper deserialization, change the name of parameter '{1}' in the constructor of '{0}' to match the bound property or field '{2}'</value>
+  </data>
+  <data name="ConstructorParametersShouldMatchPropertyOrFieldNamesDescription" xml:space="preserve">
+    <value>For a constructor having [JsonConstructor] attribute each parameter name must match with a public property or field name for proper deserialization.</value>
+  </data>
+  <data name="ConstructorParametersShouldMatchPropertyOrFieldNamesTitle" xml:space="preserve">
+    <value>Constructor parameter names should match the bound property or field names</value>
+  </data>
 </root>

src/NetAnalyzers/Core/Microsoft.NetCore.Analyzers/Runtime/ConstructorParametersShouldMatchPropertyAndFieldNames.Fixer.cs

@@ -0,0 +1,112 @@
+// Copyright (c) Microsoft.  All Rights Reserved.  Licensed under the Apache License, Version 2.0.  See License.txt in the project root for license information.
+
+using System;
+using System.Collections.Immutable;
+using System.Composition;
+using System.Globalization;
+using System.Threading;
+using System.Threading.Tasks;
+using Microsoft.CodeAnalysis;
+using Microsoft.CodeAnalysis.CodeActions;
+using Microsoft.CodeAnalysis.CodeFixes;
+using Microsoft.CodeAnalysis.Editing;
+using Microsoft.CodeAnalysis.Rename;
+using Microsoft.CodeQuality.Analyzers.ApiDesignGuidelines;
+using static Microsoft.NetCore.Analyzers.Runtime.ConstructorParametersShouldMatchPropertyAndFieldNamesAnalyzer;
+
+namespace Microsoft.NetCore.Analyzers.Runtime
+{
+    /// <summary>
+    /// CA1071: Constructor parameters should match property and field names.
+    /// Based on <see cref="ParameterNamesShouldMatchBaseDeclarationFixer"/>.
+    /// </summary>
+    [ExportCodeFixProvider(LanguageNames.CSharp, LanguageNames.VisualBasic), Shared]
+    public sealed class ConstructorParametersShouldMatchPropertyAndFieldNamesFixer : CodeFixProvider
+    {
+        private static readonly Type DiagnosticReasonEnumType = typeof(ParameterDiagnosticReason);
+
+        public override ImmutableArray<string> FixableDiagnosticIds => ImmutableArray.Create(RuleId);
+
+        public sealed override FixAllProvider GetFixAllProvider()
+        {
+            // See https://github.com/dotnet/roslyn/blob/master/docs/analyzers/FixAllProvider.md for more information on Fix All Providers
+            return WellKnownFixAllProviders.BatchFixer;
+        }
+
+        public sealed override async Task RegisterCodeFixesAsync(CodeFixContext context)
+        {
+            SyntaxNode syntaxRoot = await context.Document.GetSyntaxRootAsync(context.CancellationToken).ConfigureAwait(false);
+            SemanticModel semanticModel = await context.Document.GetSemanticModelAsync(context.CancellationToken).ConfigureAwait(false);
+
+            foreach (Diagnostic diagnostic in context.Diagnostics)
+            {
+                SyntaxNode node = syntaxRoot.FindNode(context.Span);
+                ISymbol declaredSymbol = semanticModel.GetDeclaredSymbol(node, context.CancellationToken);
+
+                if (declaredSymbol.Kind != SymbolKind.Parameter)
+                {
+                    continue;
+                }
+
+                var diagnosticReason = (ParameterDiagnosticReason)Enum.Parse(DiagnosticReasonEnumType, diagnostic.Properties[DiagnosticReasonKey]);
+
+                switch (diagnosticReason)
+                {
+                    case ParameterDiagnosticReason.NameMismatch:
+                        RegisterParameterRenameCodeFix(context, diagnostic, declaredSymbol);
+                        break;
+                    case ParameterDiagnosticReason.FieldInappropriateVisibility:
+                    case ParameterDiagnosticReason.PropertyInappropriateVisibility:
+                        SyntaxNode fieldOrProperty = syntaxRoot.FindNode(diagnostic.AdditionalLocations[0].SourceSpan);
+                        RegisterMakeFieldOrPropertyPublicCodeFix(context, diagnostic, fieldOrProperty);
+                        break;
+                    default:
+                        throw new InvalidOperationException();
+                };
+            }
+        }
+
+        private static void RegisterParameterRenameCodeFix(CodeFixContext context, Diagnostic diagnostic, ISymbol declaredSymbol)
+        {
+            // This approach is very naive. Most likely we want to support NamingStyleOptions, available in Roslyn.
+            string newName = LowerFirstLetter(diagnostic.Properties[ReferencedFieldOrPropertyNameKey]);
+
+            context.RegisterCodeFix(
+                CodeAction.Create(
+                    string.Format(CultureInfo.CurrentCulture, MicrosoftNetCoreAnalyzersResources.ConstructorParametersShouldMatchPropertyOrFieldNamesTitle, newName),
+                    cancellationToken => GetUpdatedDocumentForParameterRenameAsync(context.Document, declaredSymbol, newName, cancellationToken),
+                    nameof(ConstructorParametersShouldMatchPropertyAndFieldNamesFixer)),
+                diagnostic);
+        }
+
+        private static void RegisterMakeFieldOrPropertyPublicCodeFix(CodeFixContext context, Diagnostic diagnostic, SyntaxNode fieldOrProperty)
+        {
+            context.RegisterCodeFix(
+                CodeAction.Create(
+                    string.Format(CultureInfo.CurrentCulture, MicrosoftNetCoreAnalyzersResources.ConstructorParametersShouldMatchPropertyOrFieldNamesTitle, fieldOrProperty),
+                    cancellationToken => GetUpdatedDocumentForMakingFieldOrPropertyPublicAsync(context.Document, fieldOrProperty, cancellationToken),
+                    nameof(ConstructorParametersShouldMatchPropertyAndFieldNamesFixer)),
+                diagnostic);
+        }
+
+        private static string LowerFirstLetter(string targetName)
+        {
+            return $"{targetName[0].ToString().ToLower(CultureInfo.CurrentCulture)}{targetName[1..]}";
+        }
+
+        private static async Task<Document> GetUpdatedDocumentForParameterRenameAsync(Document document, ISymbol parameter, string newName, CancellationToken cancellationToken)
+        {
+            Solution newSolution = await Renamer.RenameSymbolAsync(document.Project.Solution, parameter, newName, null, cancellationToken).ConfigureAwait(false);
+            return newSolution.GetDocument(document.Id)!;
+        }
+
+        private static async Task<Document> GetUpdatedDocumentForMakingFieldOrPropertyPublicAsync(Document document, SyntaxNode fieldOrProperty, CancellationToken cancellationToken)
+        {
+            DocumentEditor editor = await DocumentEditor.CreateAsync(document, cancellationToken).ConfigureAwait(false);
+
+            editor.SetAccessibility(fieldOrProperty, Accessibility.Public);
+
+            return editor.GetChangedDocument();
+        }
+    }
+}