From c5c9be14a3f6f29f1d41af192d6f0e8a4f3ede64 Mon Sep 17 00:00:00 2001
From: sator-imaging <16752340+sator-imaging@users.noreply.github.com>
Date: Mon, 16 Sep 2024 22:40:17 +0900
Subject: [PATCH] feat: struct analyzer

---
 .../Analyzers/StructAnalyzer.cs               | 112 ++++++++++++++++++
 1 file changed, 112 insertions(+)
 create mode 100644 src/StaticMemberAnalyzer.Analysis/Analyzers/StructAnalyzer.cs

diff --git a/src/StaticMemberAnalyzer.Analysis/Analyzers/StructAnalyzer.cs b/src/StaticMemberAnalyzer.Analysis/Analyzers/StructAnalyzer.cs
new file mode 100644
index 0000000..a08d62d
--- /dev/null
+++ b/src/StaticMemberAnalyzer.Analysis/Analyzers/StructAnalyzer.cs
@@ -0,0 +1,112 @@
+/*  Core  ================================================================ */
+#define STMG_DEBUG_MESSAGE    // some try-catch will be enabled
+#if DEBUG == false
+#undef STMG_DEBUG_MESSAGE
+#endif
+
+#if STMG_DEBUG_MESSAGE
+//#define STMG_DEBUG_MESSAGE_VERBOSE    // for debugging. many of additional debug diagnostics will be emitted
+#endif
+/*  /Core  ================================================================ */
+
+#define STMG_USE_ATTRIBUTE_CACHE
+#define STMG_USE_DESCRIPTION_CACHE
+//#define STMG_ENABLE_LINE_FILL
+
+using Microsoft.CodeAnalysis;
+using Microsoft.CodeAnalysis.CSharp.Syntax;
+using Microsoft.CodeAnalysis.Diagnostics;
+using Microsoft.CodeAnalysis.Operations;
+using System.Collections.Immutable;
+using System.Linq;
+
+namespace SatorImaging.StaticMemberAnalyzer.Analysis.Analyzers
+{
+    [DiagnosticAnalyzer(LanguageNames.CSharp)]
+    public sealed class StructAnalyzer : DiagnosticAnalyzer
+    {
+        #region     /* =      DESCRIPTOR      = */
+
+        public const string RuleId_InvalidStructCtor = "SMA0030";
+        private static readonly DiagnosticDescriptor Rule_InvalidStructCtor = new(
+            RuleId_InvalidStructCtor,
+            new LocalizableResourceString(nameof(Resources.SMA0030_Title), Resources.ResourceManager, typeof(Resources)),
+            new LocalizableResourceString(nameof(Resources.SMA0030_MessageFormat), Resources.ResourceManager, typeof(Resources)),
+            Core.Category,
+            DiagnosticSeverity.Warning,
+            isEnabledByDefault: true,
+            description: new LocalizableResourceString(nameof(Resources.SMA0030_Description), Resources.ResourceManager, typeof(Resources)));
+
+        #endregion
+
+
+        public override ImmutableArray<DiagnosticDescriptor> SupportedDiagnostics => ImmutableArray.Create(
+#if STMG_DEBUG_MESSAGE
+            Core.Rule_DEBUG,
+#endif
+            Rule_InvalidStructCtor
+            );
+
+
+        public override void Initialize(AnalysisContext context)
+        {
+            context.ConfigureGeneratedCodeAnalysis(GeneratedCodeAnalysisFlags.None);
+            context.EnableConcurrentExecution();
+
+
+            //https://github.com/dotnet/roslyn/blob/main/docs/analyzers/Analyzer%20Actions%20Semantics.md
+
+            context.RegisterOperationAction(AnalyzeStructConstructor,
+                ImmutableArray.Create(OperationKind.ObjectCreation, OperationKind.AnonymousObjectCreation));
+
+
+            //context.RegisterCompilationStartAction(InitializeAndRegisterCallbacks);
+        }
+
+
+        //private static void InitializeAndRegisterCallbacks(CompilationStartAnalysisContext context)
+        //{
+        //}
+
+
+        /*  entry  ================================================================ */
+
+        private static void AnalyzeStructConstructor(OperationAnalysisContext context)
+        {
+            INamedTypeSymbol? structSymbol = null;
+
+            switch (context.Operation)
+            {
+                case IObjectCreationOperation createOp when createOp.Type.IsValueType:
+                    {
+                        if (createOp.Arguments.Length == 0)
+                            structSymbol = createOp.Type as INamedTypeSymbol;
+                    }
+                    break;
+
+                case IAnonymousObjectCreationOperation anonyCreateOp when anonyCreateOp.Type.IsValueType:
+                    {
+                        if (!anonyCreateOp.Syntax.DescendantNodes().OfType<ArgumentSyntax>().Any())
+                            structSymbol = anonyCreateOp.Type as INamedTypeSymbol;
+                    }
+                    break;
+            }
+
+
+            if (structSymbol == null)
+                return;
+
+            var ctors = structSymbol.InstanceConstructors
+                .Where(static x => x.Parameters.Length > 0)
+                //.Where(static x => (x.DeclaredAccessibility & ~(Accessibility.Private | Accessibility.NotApplicable)) != 0)
+                ;
+
+            if (!ctors.Any())
+                return;
+
+            context.ReportDiagnostic(Diagnostic.Create(
+                Rule_InvalidStructCtor, context.Operation.Syntax.GetLocation(), structSymbol.Name));
+        }
+
+    }
+}