using System.Text.Json.Serialization;

namespace Adaptation.FileHandlers.InfinityQS;

#nullable enable

internal class Six
{

    [JsonConstructor]
    public Six(
        string id153,
        string id176,
        string id221,
        string id222,
        string id223,
        int vp12Count
    )
    {
        ID153 = id153;
        ID176 = id176;
        ID221 = id221;
        ID222 = id222;
        ID223 = id223;
        VP12Count = vp12Count;
    }

    [JsonPropertyName("id153")] public string ID153 { get; }
    [JsonPropertyName("id176")] public string ID176 { get; }
    [JsonPropertyName("id221")] public string ID221 { get; }
    [JsonPropertyName("id222")] public string ID222 { get; }
    [JsonPropertyName("id223")] public string ID223 { get; }
    [JsonPropertyName("vp12_count")] public int VP12Count { get; }

}

[JsonSourceGenerationOptions(WriteIndented = true, NumberHandling = JsonNumberHandling.AllowReadingFromString)]
[JsonSerializable(typeof(Six))]
internal partial class SixSourceGenerationContext : JsonSerializerContext
{
}