Add MakeTypesInternalAnalyzer

src/NetAnalyzers/CSharp/Microsoft.CodeQuality.Analyzers/Maintainability/CSharpMakeTypesInternal.Fixer.cs

@@ -0,0 +1,45 @@
+// Copyright (c) Microsoft.  All Rights Reserved.  Licensed under the MIT license.  See License.txt in the project root for license information.
+
+using System.Composition;
+using System.Linq;
+using Microsoft.CodeAnalysis;
+using Microsoft.CodeAnalysis.CodeFixes;
+using Microsoft.CodeAnalysis.CSharp;
+using Microsoft.CodeAnalysis.CSharp.Syntax;
+using Microsoft.CodeQuality.Analyzers.Maintainability;
+
+namespace Microsoft.CodeQuality.CSharp.Analyzers.Maintainability
+{
+    [ExportCodeFixProvider(LanguageNames.CSharp), Shared]
+    public sealed class CSharpMakeTypesInternalFixer : MakeTypesInternalFixer
+    {
+        protected override SyntaxNode? MakeInternal(SyntaxNode node)
+        {
+            if (node is TypeDeclarationSyntax type)
+            {
+                var publicKeyword = type.Modifiers.First(m => m.IsKind(SyntaxKind.PublicKeyword));
+                var modifiers = type.Modifiers.Replace(publicKeyword, SyntaxFactory.Token(SyntaxKind.InternalKeyword));
+
+                return type.WithModifiers(modifiers);
+            }
+
+            if (node is EnumDeclarationSyntax @enum)
+            {
+                var publicKeyword = @enum.Modifiers.First(m => m.IsKind(SyntaxKind.PublicKeyword));
+                var modifiers = @enum.Modifiers.Replace(publicKeyword, SyntaxFactory.Token(SyntaxKind.InternalKeyword));
+
+                return @enum.WithModifiers(modifiers);
+            }
+
+            if (node is DelegateDeclarationSyntax @delegate)
+            {
+                var publicKeyword = @delegate.Modifiers.First(m => m.IsKind(SyntaxKind.PublicKeyword));
+                var modifiers = @delegate.Modifiers.Replace(publicKeyword, SyntaxFactory.Token(SyntaxKind.InternalKeyword));
+
+                return @delegate.WithModifiers(modifiers);
+            }
+
+            return null;
+        }
+    }
+}

src/NetAnalyzers/CSharp/Microsoft.CodeQuality.Analyzers/Maintainability/CSharpMakeTypesInternal.cs

@@ -0,0 +1,49 @@
+// Copyright (c) Microsoft.  All Rights Reserved.  Licensed under the MIT license.  See License.txt in the project root for license information.
+
+using System.Collections.Immutable;
+using Analyzer.Utilities.Extensions;
+using Microsoft.CodeAnalysis;
+using Microsoft.CodeAnalysis.CSharp;
+using Microsoft.CodeAnalysis.CSharp.Syntax;
+using Microsoft.CodeAnalysis.Diagnostics;
+using Microsoft.CodeQuality.Analyzers.Maintainability;
+
+namespace Microsoft.CodeQuality.CSharp.Analyzers.Maintainability
+{
+    [DiagnosticAnalyzer(LanguageNames.CSharp)]
+    public sealed class CSharpMakeTypesInternal : MakeTypesInternal<SyntaxKind>
+    {
+        protected override ImmutableArray<SyntaxKind> TypeKinds { get; } =
+            ImmutableArray.Create(SyntaxKind.ClassDeclaration, SyntaxKind.StructDeclaration, SyntaxKind.InterfaceDeclaration, SyntaxKind.RecordDeclaration);
+
+        protected override SyntaxKind EnumKind { get; } = SyntaxKind.EnumDeclaration;
+
+        protected override ImmutableArray<SyntaxKind> DelegateKinds { get; } = ImmutableArray.Create(SyntaxKind.DelegateDeclaration);
+
+        protected override void AnalyzeTypeDeclaration(SyntaxNodeAnalysisContext context)
+        {
+            var type = (TypeDeclarationSyntax)context.Node;
+            ReportIfPublic(context, type.Modifiers, type.Identifier);
+        }
+
+        protected override void AnalyzeEnumDeclaration(SyntaxNodeAnalysisContext context)
+        {
+            var @enum = (EnumDeclarationSyntax)context.Node;
+            ReportIfPublic(context, @enum.Modifiers, @enum.Identifier);
+        }
+
+        protected override void AnalyzeDelegateDeclaration(SyntaxNodeAnalysisContext context)
+        {
+            var @delegate = (DelegateDeclarationSyntax)context.Node;
+            ReportIfPublic(context, @delegate.Modifiers, @delegate.Identifier);
+        }
+
+        private static void ReportIfPublic(SyntaxNodeAnalysisContext context, SyntaxTokenList modifiers, SyntaxToken identifier)
+        {
+            if (modifiers.Any(SyntaxKind.PublicKeyword))
+            {
+                context.ReportDiagnostic(identifier.CreateDiagnostic(Rule));
+            }
+        }
+    }
+}

src/NetAnalyzers/Core/AnalyzerReleases.Unshipped.md

@@ -4,6 +4,7 @@
 
 Rule ID | Category | Severity | Notes
 --------|----------|----------|-------
+CA1514 | Maintainability | Disabled | MakeTypesInternal, [Documentation](https://learn.microsoft.com/dotnet/fundamentals/code-analysis/quality-rules/ca1514)
 CA1865 | Performance | Info | UseStringMethodCharOverloadWithSingleCharacters, [Documentation](https://learn.microsoft.com/dotnet/fundamentals/code-analysis/quality-rules/ca1865)
 CA1866 | Performance | Info | UseStringMethodCharOverloadWithSingleCharacters, [Documentation](https://learn.microsoft.com/dotnet/fundamentals/code-analysis/quality-rules/ca1866)
 CA1867 | Performance | Disabled | UseStringMethodCharOverloadWithSingleCharacters, [Documentation](https://learn.microsoft.com/dotnet/fundamentals/code-analysis/quality-rules/ca1867)

src/NetAnalyzers/Core/Microsoft.CodeQuality.Analyzers/Maintainability/MakeTypesInternal.Fixer.cs

@@ -0,0 +1,43 @@
+// Copyright (c) Microsoft.  All Rights Reserved.  Licensed under the MIT license.  See License.txt in the project root for license information.
+
+using System.Collections.Immutable;
+using System.Threading.Tasks;
+using Analyzer.Utilities;
+using Microsoft.CodeAnalysis;
+using Microsoft.CodeAnalysis.CodeActions;
+using Microsoft.CodeAnalysis.CodeFixes;
+
+namespace Microsoft.CodeQuality.Analyzers.Maintainability
+{
+    public abstract class MakeTypesInternalFixer : CodeFixProvider
+    {
+        public override async Task RegisterCodeFixesAsync(CodeFixContext context)
+        {
+            var root = await context.Document.GetRequiredSyntaxRootAsync(context.CancellationToken).ConfigureAwait(false);
+            var node = root.FindNode(context.Span);
+
+            var codeAction = CodeAction.Create(
+                MicrosoftCodeQualityAnalyzersResources.MakeTypesInternalCodeFixTitle,
+                _ =>
+                {
+                    var newNode = MakeInternal(node);
+                    if (newNode is null)
+                    {
+                        return Task.FromResult(context.Document);
+                    }
+
+                    var newRoot = root.ReplaceNode(node, newNode.WithTriviaFrom(node));
+
+                    return Task.FromResult(context.Document.WithSyntaxRoot(newRoot));
+                },
+                MicrosoftCodeQualityAnalyzersResources.MakeTypesInternalCodeFixTitle);
+            context.RegisterCodeFix(codeAction, context.Diagnostics);
+        }
+
+        public override FixAllProvider GetFixAllProvider() => WellKnownFixAllProviders.BatchFixer;
+
+        protected abstract SyntaxNode? MakeInternal(SyntaxNode node);
+
+        public override ImmutableArray<string> FixableDiagnosticIds { get; } = ImmutableArray.Create(MakeTypesInternal<SymbolKind>.RuleId);
+    }
+}

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

@@ -0,0 +1,60 @@
+// Copyright (c) Microsoft.  All Rights Reserved.  Licensed under the MIT license.  See License.txt in the project root for license information.
+
+using System;
+using System.Collections.Immutable;
+using Analyzer.Utilities;
+using Microsoft.CodeAnalysis;
+using Microsoft.CodeAnalysis.Diagnostics;
+
+namespace Microsoft.CodeQuality.Analyzers.Maintainability
+{
+    using static MicrosoftCodeQualityAnalyzersResources;
+
+    public abstract class MakeTypesInternal<TSyntaxKind> : DiagnosticAnalyzer
+        where TSyntaxKind : struct, Enum
+    {
+        internal const string RuleId = "CA1514";
+
+        protected static readonly DiagnosticDescriptor Rule = DiagnosticDescriptorHelper.Create(
+            RuleId,
+            CreateLocalizableResourceString(nameof(MakeTypesInternalTitle)),
+            CreateLocalizableResourceString(nameof(MakeTypesInternalMessage)),
+            DiagnosticCategory.Maintainability,
+            RuleLevel.Disabled,
+            description: CreateLocalizableResourceString(nameof(MakeTypesInternalDescription)),
+            isPortedFxCopRule: false,
+            isDataflowRule: false);
+
+        public override void Initialize(AnalysisContext context)
+        {
+            context.ConfigureGeneratedCodeAnalysis(GeneratedCodeAnalysisFlags.None);
+            context.EnableConcurrentExecution();
+            context.RegisterCompilationStartAction(context =>
+            {
+                var compilation = context.Compilation;
+                if (compilation.Options.OutputKind is not (OutputKind.ConsoleApplication or OutputKind.WindowsApplication or OutputKind.WindowsRuntimeApplication))
+                {
+                    return;
+                }
+
+                context.RegisterSyntaxNodeAction(AnalyzeTypeDeclaration, TypeKinds);
+                context.RegisterSyntaxNodeAction(AnalyzeEnumDeclaration, EnumKind);
+                context.RegisterSyntaxNodeAction(AnalyzeDelegateDeclaration, DelegateKinds);
+            });
+        }
+
+        protected abstract ImmutableArray<TSyntaxKind> TypeKinds { get; }
+
+        protected abstract TSyntaxKind EnumKind { get; }
+
+        protected abstract ImmutableArray<TSyntaxKind> DelegateKinds { get; }
+
+        protected abstract void AnalyzeTypeDeclaration(SyntaxNodeAnalysisContext context);
+
+        protected abstract void AnalyzeEnumDeclaration(SyntaxNodeAnalysisContext context);
+
+        protected abstract void AnalyzeDelegateDeclaration(SyntaxNodeAnalysisContext context);
+
+        public override ImmutableArray<DiagnosticDescriptor> SupportedDiagnostics { get; } = ImmutableArray.Create(Rule);
+    }
+}

src/NetAnalyzers/Core/Microsoft.CodeQuality.Analyzers/MicrosoftCodeQualityAnalyzersResources.resx

@@ -1281,4 +1281,16 @@
   <data name="CollectionsShouldImplementGenericInterfaceMultipleMessage" xml:space="preserve">
     <value>Type '{0}' directly or indirectly inherits '{1}' without implementing any of '{2}'. Publicly-visible types should implement the generic version to broaden usability.</value>
   </data>
+  <data name="MakeTypesInternalCodeFixTitle" xml:space="preserve">
+    <value>Make all public types internal</value>
+  </data>
+  <data name="MakeTypesInternalDescription" xml:space="preserve">
+    <value>Different than libraries, applications aren't referenced and thus all types can be made internal.</value>
+  </data>
+  <data name="MakeTypesInternalMessage" xml:space="preserve">
+    <value>Since applications' code isn't referenced, all types can be made internal</value>
+  </data>
+  <data name="MakeTypesInternalTitle" xml:space="preserve">
+  <value>Make all public types internal</value>
+  </data>
 </root>

src/NetAnalyzers/Core/Microsoft.CodeQuality.Analyzers/xlf/MicrosoftCodeQualityAnalyzersResources.cs.xlf

@@ -337,6 +337,26 @@
         <target state="translated">Používat PascalCase pro pojmenované zástupné objekty</target>
         <note />
       </trans-unit>
+      <trans-unit id="MakeTypesInternalCodeFixTitle">
+        <source>Make all public types internal</source>
+        <target state="new">Make all public types internal</target>
+        <note />
+      </trans-unit>
+      <trans-unit id="MakeTypesInternalDescription">
+        <source>Different than libraries, applications aren't referenced and thus all types can be made internal.</source>
+        <target state="new">Different than libraries, applications aren't referenced and thus all types can be made internal.</target>
+        <note />
+      </trans-unit>
+      <trans-unit id="MakeTypesInternalMessage">
+        <source>Since applications' code isn't referenced, all types can be made internal</source>
+        <target state="new">Since applications' code isn't referenced, all types can be made internal</target>
+        <note />
+      </trans-unit>
+      <trans-unit id="MakeTypesInternalTitle">
+        <source>Make all public types internal</source>
+        <target state="new">Make all public types internal</target>
+        <note />
+      </trans-unit>
       <trans-unit id="MarkAttributesWithAttributeUsageCodeFix">
         <source>Apply 'AttributeUsageAttribute'</source>
         <target state="translated">Použít AttributeUsageAttribute</target>

src/NetAnalyzers/Core/Microsoft.CodeQuality.Analyzers/xlf/MicrosoftCodeQualityAnalyzersResources.de.xlf

@@ -337,6 +337,26 @@
         <target state="translated">PascalCase für benannte Platzhalter verwenden</target>
         <note />
       </trans-unit>
+      <trans-unit id="MakeTypesInternalCodeFixTitle">
+        <source>Make all public types internal</source>
+        <target state="new">Make all public types internal</target>
+        <note />
+      </trans-unit>
+      <trans-unit id="MakeTypesInternalDescription">
+        <source>Different than libraries, applications aren't referenced and thus all types can be made internal.</source>
+        <target state="new">Different than libraries, applications aren't referenced and thus all types can be made internal.</target>
+        <note />
+      </trans-unit>
+      <trans-unit id="MakeTypesInternalMessage">
+        <source>Since applications' code isn't referenced, all types can be made internal</source>
+        <target state="new">Since applications' code isn't referenced, all types can be made internal</target>
+        <note />
+      </trans-unit>
+      <trans-unit id="MakeTypesInternalTitle">
+        <source>Make all public types internal</source>
+        <target state="new">Make all public types internal</target>
+        <note />
+      </trans-unit>
       <trans-unit id="MarkAttributesWithAttributeUsageCodeFix">
         <source>Apply 'AttributeUsageAttribute'</source>
         <target state="translated">"AttributeUsageAttribute" anwenden</target>

src/NetAnalyzers/Core/Microsoft.CodeQuality.Analyzers/xlf/MicrosoftCodeQualityAnalyzersResources.es.xlf

@@ -337,6 +337,26 @@
         <target state="translated">Usar PascalCase para marcadores de posición con nombre</target>
         <note />
       </trans-unit>
+      <trans-unit id="MakeTypesInternalCodeFixTitle">
+        <source>Make all public types internal</source>
+        <target state="new">Make all public types internal</target>
+        <note />
+      </trans-unit>
+      <trans-unit id="MakeTypesInternalDescription">
+        <source>Different than libraries, applications aren't referenced and thus all types can be made internal.</source>
+        <target state="new">Different than libraries, applications aren't referenced and thus all types can be made internal.</target>
+        <note />
+      </trans-unit>
+      <trans-unit id="MakeTypesInternalMessage">
+        <source>Since applications' code isn't referenced, all types can be made internal</source>
+        <target state="new">Since applications' code isn't referenced, all types can be made internal</target>
+        <note />
+      </trans-unit>
+      <trans-unit id="MakeTypesInternalTitle">
+        <source>Make all public types internal</source>
+        <target state="new">Make all public types internal</target>
+        <note />
+      </trans-unit>
       <trans-unit id="MarkAttributesWithAttributeUsageCodeFix">
         <source>Apply 'AttributeUsageAttribute'</source>
         <target state="translated">Aplicar "AttributeUsageAttribute"</target>

src/NetAnalyzers/Core/Microsoft.CodeQuality.Analyzers/xlf/MicrosoftCodeQualityAnalyzersResources.fr.xlf

@@ -337,6 +337,26 @@
         <target state="translated">Utiliser casse Pascal pour les espaces réservés nommés</target>
         <note />
       </trans-unit>
+      <trans-unit id="MakeTypesInternalCodeFixTitle">
+        <source>Make all public types internal</source>
+        <target state="new">Make all public types internal</target>
+        <note />
+      </trans-unit>
+      <trans-unit id="MakeTypesInternalDescription">
+        <source>Different than libraries, applications aren't referenced and thus all types can be made internal.</source>
+        <target state="new">Different than libraries, applications aren't referenced and thus all types can be made internal.</target>
+        <note />
+      </trans-unit>
+      <trans-unit id="MakeTypesInternalMessage">
+        <source>Since applications' code isn't referenced, all types can be made internal</source>
+        <target state="new">Since applications' code isn't referenced, all types can be made internal</target>
+        <note />
+      </trans-unit>
+      <trans-unit id="MakeTypesInternalTitle">
+        <source>Make all public types internal</source>
+        <target state="new">Make all public types internal</target>
+        <note />
+      </trans-unit>
       <trans-unit id="MarkAttributesWithAttributeUsageCodeFix">
         <source>Apply 'AttributeUsageAttribute'</source>
         <target state="translated">Appliquer 'AttributeUsageAttribute'</target>

src/NetAnalyzers/Core/Microsoft.CodeQuality.Analyzers/xlf/MicrosoftCodeQualityAnalyzersResources.it.xlf

@@ -337,6 +337,26 @@
         <target state="translated">Usare la notazione Pascal per i segnaposto denominati</target>
         <note />
       </trans-unit>
+      <trans-unit id="MakeTypesInternalCodeFixTitle">
+        <source>Make all public types internal</source>
+        <target state="new">Make all public types internal</target>
+        <note />
+      </trans-unit>
+      <trans-unit id="MakeTypesInternalDescription">
+        <source>Different than libraries, applications aren't referenced and thus all types can be made internal.</source>
+        <target state="new">Different than libraries, applications aren't referenced and thus all types can be made internal.</target>
+        <note />
+      </trans-unit>
+      <trans-unit id="MakeTypesInternalMessage">
+        <source>Since applications' code isn't referenced, all types can be made internal</source>
+        <target state="new">Since applications' code isn't referenced, all types can be made internal</target>
+        <note />
+      </trans-unit>
+      <trans-unit id="MakeTypesInternalTitle">
+        <source>Make all public types internal</source>
+        <target state="new">Make all public types internal</target>
+        <note />
+      </trans-unit>
       <trans-unit id="MarkAttributesWithAttributeUsageCodeFix">
         <source>Apply 'AttributeUsageAttribute'</source>
         <target state="translated">Applica 'AttributeUsageAttribute'</target>

src/NetAnalyzers/Core/Microsoft.CodeQuality.Analyzers/xlf/MicrosoftCodeQualityAnalyzersResources.ja.xlf

@@ -337,6 +337,26 @@
         <target state="translated">名前付きプレースホルダーに PascalCase を使用してください</target>
         <note />
       </trans-unit>
+      <trans-unit id="MakeTypesInternalCodeFixTitle">
+        <source>Make all public types internal</source>
+        <target state="new">Make all public types internal</target>
+        <note />
+      </trans-unit>
+      <trans-unit id="MakeTypesInternalDescription">
+        <source>Different than libraries, applications aren't referenced and thus all types can be made internal.</source>
+        <target state="new">Different than libraries, applications aren't referenced and thus all types can be made internal.</target>
+        <note />
+      </trans-unit>
+      <trans-unit id="MakeTypesInternalMessage">
+        <source>Since applications' code isn't referenced, all types can be made internal</source>
+        <target state="new">Since applications' code isn't referenced, all types can be made internal</target>
+        <note />
+      </trans-unit>
+      <trans-unit id="MakeTypesInternalTitle">
+        <source>Make all public types internal</source>
+        <target state="new">Make all public types internal</target>
+        <note />
+      </trans-unit>
       <trans-unit id="MarkAttributesWithAttributeUsageCodeFix">
         <source>Apply 'AttributeUsageAttribute'</source>
         <target state="translated">'AttributeUsageAttribute' の適用</target>