// using System.Text.Json.Serialization; // namespace File_Folder_Helper.Models; // internal record Host([property: JsonPropertyName("a")] string? Id, // [property: JsonPropertyName("b")] string? Colon, // [property: JsonPropertyName("c")] string? Hyphen, // [property: JsonPropertyName("d")] string? Line, // [property: JsonPropertyName("e")] string? Count, // [property: JsonPropertyName("f")] string? Segments, // [property: JsonPropertyName("g")] string? Type, // [property: JsonPropertyName("h")] string? Device, // [property: JsonPropertyName("i")] string? Name, // [property: JsonPropertyName("j")] string? Location); // [JsonSourceGenerationOptions(WriteIndented = true, AllowTrailingCommas = true)] // [JsonSerializable(typeof(Host[]))] // internal partial class HostsSourceGenerationContext : JsonSerializerContext // { // }