RS0046: Avoid Opt suffix in nullable-enabled code

src/Roslyn.Diagnostics.Analyzers/CSharp/CSharpAvoidOptSuffixForNullableEnableCode.cs

@@ -0,0 +1,47 @@
+// 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 Analyzer.Utilities.Extensions;
+using Analyzer.Utilities.Lightup;
+using Microsoft.CodeAnalysis;
+using Microsoft.CodeAnalysis.CSharp;
+using Microsoft.CodeAnalysis.CSharp.Syntax;
+using Microsoft.CodeAnalysis.Diagnostics;
+using Roslyn.Diagnostics.Analyzers;
+
+namespace Roslyn.Diagnostics.CSharp.Analyzers
+{
+    [DiagnosticAnalyzer(LanguageNames.CSharp)]
+    public sealed class CSharpAvoidOptSuffixForNullableEnableCode : AvoidOptSuffixForNullableEnableCode
+    {
+        public override void Initialize(AnalysisContext context)
+        {
+            context.EnableConcurrentExecution();
+            context.ConfigureGeneratedCodeAnalysis(GeneratedCodeAnalysisFlags.None);
+
+            context.RegisterSyntaxNodeAction(context =>
+            {
+                var parameter = (ParameterSyntax)context.Node;
+
+                if (parameter.Identifier.Text.EndsWith("Opt", System.StringComparison.Ordinal) &&
+                    context.SemanticModel.GetNullableContext(parameter.SpanStart).AnnotationsEnabled())
+                {
+                    context.ReportDiagnostic(parameter.Identifier.CreateDiagnostic(Rule));
+                }
+            }, SyntaxKind.Parameter);
+
+            context.RegisterSyntaxNodeAction(context =>
+            {
+                var fieldDeclaration = (FieldDeclarationSyntax)context.Node;
+
+                foreach (var variable in fieldDeclaration.Declaration.Variables)
+                {
+                    if (variable.Identifier.Text.EndsWith("Opt", System.StringComparison.Ordinal) &&
+                        context.SemanticModel.GetNullableContext(variable.SpanStart).AnnotationsEnabled())
+                    {
+                        context.ReportDiagnostic(variable.Identifier.CreateDiagnostic(Rule));
+                    }
+                }
+            }, SyntaxKind.FieldDeclaration);
+        }
+    }
+}

src/Roslyn.Diagnostics.Analyzers/Core/AnalyzerReleases.Unshipped.md

@@ -6,6 +6,7 @@ RS0042 | RoslynDiagnosticsReliability | Warning | DoNotCopyValue
 RS0043 | RoslynDiagnosticsMaintainability | Warning | DoNotCallGetTestAccessor
 RS0044 | RoslynDiagnosticsMaintainability | Hidden | CreateTestAccessor
 RS0045 | RoslynDiagnosticsMaintainability | Hidden | ExposeMemberForTesting
+RS0046 | RoslynDiagnosticsDesign | Disabled | AvoidOptSuffixForNullableEnableCode
 
 ### Changed Rules
 Rule ID | New Category | New Severity | Old Category | Old Severity | Notes

src/Roslyn.Diagnostics.Analyzers/Core/AvoidOptSuffixForNullableEnableCode.cs

@@ -0,0 +1,30 @@
+// 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.Collections.Immutable;
+using Analyzer.Utilities;
+using Microsoft.CodeAnalysis;
+using Microsoft.CodeAnalysis.Diagnostics;
+
+namespace Roslyn.Diagnostics.Analyzers
+{
+    public abstract class AvoidOptSuffixForNullableEnableCode : DiagnosticAnalyzer
+    {
+        private static readonly LocalizableString s_localizableTitle = new LocalizableResourceString(nameof(RoslynDiagnosticsAnalyzersResources.AvoidOptSuffixForNullableEnableCodeRuleIdTitle), RoslynDiagnosticsAnalyzersResources.ResourceManager, typeof(RoslynDiagnosticsAnalyzersResources));
+
+        private static readonly LocalizableString s_localizableMessage = new LocalizableResourceString(nameof(RoslynDiagnosticsAnalyzersResources.AvoidOptSuffixForNullableEnableCodeRuleIdMessage), RoslynDiagnosticsAnalyzersResources.ResourceManager, typeof(RoslynDiagnosticsAnalyzersResources));
+        private static readonly LocalizableString s_localizableDescription = new LocalizableResourceString(nameof(RoslynDiagnosticsAnalyzersResources.AvoidOptSuffixForNullableEnableCodeRuleIdDescription), RoslynDiagnosticsAnalyzersResources.ResourceManager, typeof(RoslynDiagnosticsAnalyzersResources));
+
+        internal static DiagnosticDescriptor Rule = new DiagnosticDescriptor(
+            RoslynDiagnosticIds.AvoidOptSuffixForNullableEnableCodeRuleId,
+            s_localizableTitle,
+            s_localizableMessage,
+            DiagnosticCategory.RoslynDiagnosticsDesign,
+            DiagnosticSeverity.Warning,
+            isEnabledByDefault: false,
+            description: s_localizableDescription,
+            helpLinkUri: null,
+            customTags: WellKnownDiagnosticTags.Telemetry);
+
+        public sealed override ImmutableArray<DiagnosticDescriptor> SupportedDiagnostics => ImmutableArray.Create(Rule);
+    }
+}

src/Roslyn.Diagnostics.Analyzers/Core/RoslynDiagnosticIds.cs

@@ -49,5 +49,6 @@ internal static class RoslynDiagnosticIds
         public const string DoNotCallGetTestAccessorRuleId = "RS0043";
         public const string CreateTestAccessorRuleId = "RS0044";
         public const string ExposeMemberForTestingRuleId = "RS0045";
+        public const string AvoidOptSuffixForNullableEnableCodeRuleId = "RS0046";
     }
 }

src/Roslyn.Diagnostics.Analyzers/Core/RoslynDiagnosticsAnalyzersResources.resx

@@ -339,4 +339,13 @@
   <data name="ExposeMemberForTestingTitle" xml:space="preserve">
     <value>Expose member for testing</value>
   </data>
+  <data name="AvoidOptSuffixForNullableEnableCodeRuleIdDescription" xml:space="preserve">
+    <value>Avoid the 'Opt' suffix in a nullable-enabled code.</value>
+  </data>
+  <data name="AvoidOptSuffixForNullableEnableCodeRuleIdMessage" xml:space="preserve">
+    <value>Avoid the 'Opt' suffix in a nullable-enabled code</value>
+  </data>
+  <data name="AvoidOptSuffixForNullableEnableCodeRuleIdTitle" xml:space="preserve">
+    <value>Avoid the 'Opt' suffix</value>
+  </data>
 </root>

src/Roslyn.Diagnostics.Analyzers/Core/xlf/RoslynDiagnosticsAnalyzersResources.cs.xlf

@@ -2,6 +2,21 @@
 <xliff xmlns="urn:oasis:names:tc:xliff:document:1.2" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" version="1.2" xsi:schemaLocation="urn:oasis:names:tc:xliff:document:1.2 xliff-core-1.2-transitional.xsd">
   <file datatype="xml" source-language="en" target-language="cs" original="../RoslynDiagnosticsAnalyzersResources.resx">
     <body>
+      <trans-unit id="AvoidOptSuffixForNullableEnableCodeRuleIdDescription">
+        <source>Avoid the 'Opt' suffix in a nullable-enabled code.</source>
+        <target state="new">Avoid the 'Opt' suffix in a nullable-enabled code.</target>
+        <note />
+      </trans-unit>
+      <trans-unit id="AvoidOptSuffixForNullableEnableCodeRuleIdMessage">
+        <source>Avoid the 'Opt' suffix in a nullable-enabled code</source>
+        <target state="new">Avoid the 'Opt' suffix in a nullable-enabled code</target>
+        <note />
+      </trans-unit>
+      <trans-unit id="AvoidOptSuffixForNullableEnableCodeRuleIdTitle">
+        <source>Avoid the 'Opt' suffix</source>
+        <target state="new">Avoid the 'Opt' suffix</target>
+        <note />
+      </trans-unit>
       <trans-unit id="CreateTestAccessorDescription">
         <source>This is a refactoring which simplifies the process of creating test accessors using the TestAccessor pattern</source>
         <target state="translated">Toto je refaktoring, který zjednodušuje proces vytváření testovacích přístupových objektů pomocí vzoru TestAccessor.</target>

src/Roslyn.Diagnostics.Analyzers/Core/xlf/RoslynDiagnosticsAnalyzersResources.de.xlf

@@ -2,6 +2,21 @@
 <xliff xmlns="urn:oasis:names:tc:xliff:document:1.2" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" version="1.2" xsi:schemaLocation="urn:oasis:names:tc:xliff:document:1.2 xliff-core-1.2-transitional.xsd">
   <file datatype="xml" source-language="en" target-language="de" original="../RoslynDiagnosticsAnalyzersResources.resx">
     <body>
+      <trans-unit id="AvoidOptSuffixForNullableEnableCodeRuleIdDescription">
+        <source>Avoid the 'Opt' suffix in a nullable-enabled code.</source>
+        <target state="new">Avoid the 'Opt' suffix in a nullable-enabled code.</target>
+        <note />
+      </trans-unit>
+      <trans-unit id="AvoidOptSuffixForNullableEnableCodeRuleIdMessage">
+        <source>Avoid the 'Opt' suffix in a nullable-enabled code</source>
+        <target state="new">Avoid the 'Opt' suffix in a nullable-enabled code</target>
+        <note />
+      </trans-unit>
+      <trans-unit id="AvoidOptSuffixForNullableEnableCodeRuleIdTitle">
+        <source>Avoid the 'Opt' suffix</source>
+        <target state="new">Avoid the 'Opt' suffix</target>
+        <note />
+      </trans-unit>
       <trans-unit id="CreateTestAccessorDescription">
         <source>This is a refactoring which simplifies the process of creating test accessors using the TestAccessor pattern</source>
         <target state="translated">Dies ist eine Umgestaltung, die den Prozess zum Erstellen von Testzugriffsmethoden mithilfe des TestAccessor-Musters vereinfacht.</target>

src/Roslyn.Diagnostics.Analyzers/Core/xlf/RoslynDiagnosticsAnalyzersResources.es.xlf

@@ -2,6 +2,21 @@
 <xliff xmlns="urn:oasis:names:tc:xliff:document:1.2" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" version="1.2" xsi:schemaLocation="urn:oasis:names:tc:xliff:document:1.2 xliff-core-1.2-transitional.xsd">
   <file datatype="xml" source-language="en" target-language="es" original="../RoslynDiagnosticsAnalyzersResources.resx">
     <body>
+      <trans-unit id="AvoidOptSuffixForNullableEnableCodeRuleIdDescription">
+        <source>Avoid the 'Opt' suffix in a nullable-enabled code.</source>
+        <target state="new">Avoid the 'Opt' suffix in a nullable-enabled code.</target>
+        <note />
+      </trans-unit>
+      <trans-unit id="AvoidOptSuffixForNullableEnableCodeRuleIdMessage">
+        <source>Avoid the 'Opt' suffix in a nullable-enabled code</source>
+        <target state="new">Avoid the 'Opt' suffix in a nullable-enabled code</target>
+        <note />
+      </trans-unit>
+      <trans-unit id="AvoidOptSuffixForNullableEnableCodeRuleIdTitle">
+        <source>Avoid the 'Opt' suffix</source>
+        <target state="new">Avoid the 'Opt' suffix</target>
+        <note />
+      </trans-unit>
       <trans-unit id="CreateTestAccessorDescription">
         <source>This is a refactoring which simplifies the process of creating test accessors using the TestAccessor pattern</source>
         <target state="translated">Esta es una refactorización que simplifica el proceso de creación de descriptores de acceso de pruebas con el patrón TestAccessor.</target>

src/Roslyn.Diagnostics.Analyzers/Core/xlf/RoslynDiagnosticsAnalyzersResources.fr.xlf

@@ -2,6 +2,21 @@
 <xliff xmlns="urn:oasis:names:tc:xliff:document:1.2" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" version="1.2" xsi:schemaLocation="urn:oasis:names:tc:xliff:document:1.2 xliff-core-1.2-transitional.xsd">
   <file datatype="xml" source-language="en" target-language="fr" original="../RoslynDiagnosticsAnalyzersResources.resx">
     <body>
+      <trans-unit id="AvoidOptSuffixForNullableEnableCodeRuleIdDescription">
+        <source>Avoid the 'Opt' suffix in a nullable-enabled code.</source>
+        <target state="new">Avoid the 'Opt' suffix in a nullable-enabled code.</target>
+        <note />
+      </trans-unit>
+      <trans-unit id="AvoidOptSuffixForNullableEnableCodeRuleIdMessage">
+        <source>Avoid the 'Opt' suffix in a nullable-enabled code</source>
+        <target state="new">Avoid the 'Opt' suffix in a nullable-enabled code</target>
+        <note />
+      </trans-unit>
+      <trans-unit id="AvoidOptSuffixForNullableEnableCodeRuleIdTitle">
+        <source>Avoid the 'Opt' suffix</source>
+        <target state="new">Avoid the 'Opt' suffix</target>
+        <note />
+      </trans-unit>
       <trans-unit id="CreateTestAccessorDescription">
         <source>This is a refactoring which simplifies the process of creating test accessors using the TestAccessor pattern</source>
         <target state="translated">Il s'agit d'une refactorisation qui simplifie le processus de création d'accesseurs de test à l'aide du modèle TestAccessor</target>

src/Roslyn.Diagnostics.Analyzers/Core/xlf/RoslynDiagnosticsAnalyzersResources.it.xlf

@@ -2,6 +2,21 @@
 <xliff xmlns="urn:oasis:names:tc:xliff:document:1.2" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" version="1.2" xsi:schemaLocation="urn:oasis:names:tc:xliff:document:1.2 xliff-core-1.2-transitional.xsd">
   <file datatype="xml" source-language="en" target-language="it" original="../RoslynDiagnosticsAnalyzersResources.resx">
     <body>
+      <trans-unit id="AvoidOptSuffixForNullableEnableCodeRuleIdDescription">
+        <source>Avoid the 'Opt' suffix in a nullable-enabled code.</source>
+        <target state="new">Avoid the 'Opt' suffix in a nullable-enabled code.</target>
+        <note />
+      </trans-unit>
+      <trans-unit id="AvoidOptSuffixForNullableEnableCodeRuleIdMessage">
+        <source>Avoid the 'Opt' suffix in a nullable-enabled code</source>
+        <target state="new">Avoid the 'Opt' suffix in a nullable-enabled code</target>
+        <note />
+      </trans-unit>
+      <trans-unit id="AvoidOptSuffixForNullableEnableCodeRuleIdTitle">
+        <source>Avoid the 'Opt' suffix</source>
+        <target state="new">Avoid the 'Opt' suffix</target>
+        <note />
+      </trans-unit>
       <trans-unit id="CreateTestAccessorDescription">
         <source>This is a refactoring which simplifies the process of creating test accessors using the TestAccessor pattern</source>
         <target state="translated">Si tratta di un refactoring che semplifica il processo di creazione delle funzioni di accesso ai test con il criterio TestAccessor</target>

src/Roslyn.Diagnostics.Analyzers/Core/xlf/RoslynDiagnosticsAnalyzersResources.ja.xlf

@@ -2,6 +2,21 @@
 <xliff xmlns="urn:oasis:names:tc:xliff:document:1.2" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" version="1.2" xsi:schemaLocation="urn:oasis:names:tc:xliff:document:1.2 xliff-core-1.2-transitional.xsd">
   <file datatype="xml" source-language="en" target-language="ja" original="../RoslynDiagnosticsAnalyzersResources.resx">
     <body>
+      <trans-unit id="AvoidOptSuffixForNullableEnableCodeRuleIdDescription">
+        <source>Avoid the 'Opt' suffix in a nullable-enabled code.</source>
+        <target state="new">Avoid the 'Opt' suffix in a nullable-enabled code.</target>
+        <note />
+      </trans-unit>
+      <trans-unit id="AvoidOptSuffixForNullableEnableCodeRuleIdMessage">
+        <source>Avoid the 'Opt' suffix in a nullable-enabled code</source>
+        <target state="new">Avoid the 'Opt' suffix in a nullable-enabled code</target>
+        <note />
+      </trans-unit>
+      <trans-unit id="AvoidOptSuffixForNullableEnableCodeRuleIdTitle">
+        <source>Avoid the 'Opt' suffix</source>
+        <target state="new">Avoid the 'Opt' suffix</target>
+        <note />
+      </trans-unit>
       <trans-unit id="CreateTestAccessorDescription">
         <source>This is a refactoring which simplifies the process of creating test accessors using the TestAccessor pattern</source>
         <target state="translated">これは、TestAccessor パターンを使用してテスト アクセサーを作成するプロセスを簡略化するリファクタリングです</target>

src/Roslyn.Diagnostics.Analyzers/Core/xlf/RoslynDiagnosticsAnalyzersResources.ko.xlf

@@ -2,6 +2,21 @@
 <xliff xmlns="urn:oasis:names:tc:xliff:document:1.2" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" version="1.2" xsi:schemaLocation="urn:oasis:names:tc:xliff:document:1.2 xliff-core-1.2-transitional.xsd">
   <file datatype="xml" source-language="en" target-language="ko" original="../RoslynDiagnosticsAnalyzersResources.resx">
     <body>
+      <trans-unit id="AvoidOptSuffixForNullableEnableCodeRuleIdDescription">
+        <source>Avoid the 'Opt' suffix in a nullable-enabled code.</source>
+        <target state="new">Avoid the 'Opt' suffix in a nullable-enabled code.</target>
+        <note />
+      </trans-unit>
+      <trans-unit id="AvoidOptSuffixForNullableEnableCodeRuleIdMessage">
+        <source>Avoid the 'Opt' suffix in a nullable-enabled code</source>
+        <target state="new">Avoid the 'Opt' suffix in a nullable-enabled code</target>
+        <note />
+      </trans-unit>
+      <trans-unit id="AvoidOptSuffixForNullableEnableCodeRuleIdTitle">
+        <source>Avoid the 'Opt' suffix</source>
+        <target state="new">Avoid the 'Opt' suffix</target>
+        <note />
+      </trans-unit>
       <trans-unit id="CreateTestAccessorDescription">
         <source>This is a refactoring which simplifies the process of creating test accessors using the TestAccessor pattern</source>
         <target state="translated">TestAccessor 패턴을 사용하여 테스트 접근자를 만드는 프로세스를 간소화하는 리팩터링입니다.</target>

src/Roslyn.Diagnostics.Analyzers/Core/xlf/RoslynDiagnosticsAnalyzersResources.pl.xlf

@@ -2,6 +2,21 @@
 <xliff xmlns="urn:oasis:names:tc:xliff:document:1.2" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" version="1.2" xsi:schemaLocation="urn:oasis:names:tc:xliff:document:1.2 xliff-core-1.2-transitional.xsd">
   <file datatype="xml" source-language="en" target-language="pl" original="../RoslynDiagnosticsAnalyzersResources.resx">
     <body>
+      <trans-unit id="AvoidOptSuffixForNullableEnableCodeRuleIdDescription">
+        <source>Avoid the 'Opt' suffix in a nullable-enabled code.</source>
+        <target state="new">Avoid the 'Opt' suffix in a nullable-enabled code.</target>
+        <note />
+      </trans-unit>
+      <trans-unit id="AvoidOptSuffixForNullableEnableCodeRuleIdMessage">
+        <source>Avoid the 'Opt' suffix in a nullable-enabled code</source>
+        <target state="new">Avoid the 'Opt' suffix in a nullable-enabled code</target>
+        <note />
+      </trans-unit>
+      <trans-unit id="AvoidOptSuffixForNullableEnableCodeRuleIdTitle">
+        <source>Avoid the 'Opt' suffix</source>
+        <target state="new">Avoid the 'Opt' suffix</target>
+        <note />
+      </trans-unit>
       <trans-unit id="CreateTestAccessorDescription">
         <source>This is a refactoring which simplifies the process of creating test accessors using the TestAccessor pattern</source>
         <target state="translated">Jest to refaktoryzacja upraszczająca proces tworzenia testowych metod dostępu przy użyciu wzorca TestAccessor</target>

src/Roslyn.Diagnostics.Analyzers/Core/xlf/RoslynDiagnosticsAnalyzersResources.pt-BR.xlf

@@ -2,6 +2,21 @@
 <xliff xmlns="urn:oasis:names:tc:xliff:document:1.2" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" version="1.2" xsi:schemaLocation="urn:oasis:names:tc:xliff:document:1.2 xliff-core-1.2-transitional.xsd">
   <file datatype="xml" source-language="en" target-language="pt-BR" original="../RoslynDiagnosticsAnalyzersResources.resx">
     <body>
+      <trans-unit id="AvoidOptSuffixForNullableEnableCodeRuleIdDescription">
+        <source>Avoid the 'Opt' suffix in a nullable-enabled code.</source>
+        <target state="new">Avoid the 'Opt' suffix in a nullable-enabled code.</target>
+        <note />
+      </trans-unit>
+      <trans-unit id="AvoidOptSuffixForNullableEnableCodeRuleIdMessage">
+        <source>Avoid the 'Opt' suffix in a nullable-enabled code</source>
+        <target state="new">Avoid the 'Opt' suffix in a nullable-enabled code</target>
+        <note />
+      </trans-unit>
+      <trans-unit id="AvoidOptSuffixForNullableEnableCodeRuleIdTitle">
+        <source>Avoid the 'Opt' suffix</source>
+        <target state="new">Avoid the 'Opt' suffix</target>
+        <note />
+      </trans-unit>
       <trans-unit id="CreateTestAccessorDescription">
         <source>This is a refactoring which simplifies the process of creating test accessors using the TestAccessor pattern</source>
         <target state="translated">Esta é uma refatoração que simplifica o processo de criação de acessadores de teste usando o padrão TestAccessor</target>