a

PrepareForOld/Models/AppSettings.cs

@@ -3,25 +3,21 @@ using System.Text.Json.Serialization;
 
 namespace View_by_Distance.PrepareForOld.Models;
 
-public class AppSettings
+public record AppSettings(string Company,
+                          int MaxDegreeOfParallelism,
+                          string WorkingDirectoryName)
 {
 
-    public string Company { init; get; }
-    public int MaxDegreeOfParallelism { init; get; }
-    public string WorkingDirectoryName { init; get; }
-
-    [JsonConstructor]
-    public AppSettings(string company, int maxDegreeOfParallelism, string workingDirectoryName)
-    {
-        Company = company;
-        MaxDegreeOfParallelism = maxDegreeOfParallelism;
-        WorkingDirectoryName = workingDirectoryName;
-    }
-
     public override string ToString()
     {
-        string result = JsonSerializer.Serialize(this, new JsonSerializerOptions() { WriteIndented = true });
+        string result = JsonSerializer.Serialize(this, AppSettingsSourceGenerationContext.Default.AppSettings);
         return result;
     }
 
+}
+
+[JsonSourceGenerationOptions(WriteIndented = true)]
+[JsonSerializable(typeof(AppSettings))]
+internal partial class AppSettingsSourceGenerationContext : JsonSerializerContext
+{
 }

PrepareForOld/Models/Binder/.editorconfig

@@ -0,0 +1,2 @@
+[*.cs]
+csharp_preserve_single_line_statements = true

PrepareForOld/Models/Binder/Configuration.cs

@@ -1,4 +1,3 @@
-using System.ComponentModel.DataAnnotations;
 using System.Text.Json;
 
 namespace View_by_Distance.PrepareForOld.Models.Binder;
@@ -8,8 +7,8 @@ public class Configuration
 
 #nullable disable
 
-    [Display(Name = "Property Configuration"), Required] public Property.Models.Configuration PropertyConfiguration { get; set; }
-    [Display(Name = "Spelling"), Required] public string[] Spelling { get; set; }
+    public Property.Models.Configuration PropertyConfiguration { get; set; }
+    public string[] Spelling { get; set; }
 
 #nullable restore
 

PrepareForOld/Models/Stateless/Configuration.cs

@@ -16,8 +16,7 @@ public abstract class Configuration
         Binder.Configuration? configuration = configurationSection.Get<Binder.Configuration>();
         string json = JsonSerializer.Serialize(configuration, new JsonSerializerOptions() { WriteIndented = true });
         result = JsonSerializer.Deserialize<Models.Configuration>(json);
-        if (result is null)
-            throw new Exception(json);
+        if (result is null) throw new Exception(json);
         string jsonThis = result.ToString();
         if (jsonThis != json)
         {
@@ -30,11 +29,10 @@ public abstract class Configuration
                 check = i;
                 break;
             }
-            if (check is null)
-                throw new Exception();
+            if (check is null) throw new Exception();
             string a = json[..check.Value].Split(',')[^1];
             string b = json[check.Value..].Split(',')[0];
-            throw new Exception($"{a}{b}");
+throw new Exception($"{a}{b}");
         }
         return result;
     }