using System.Text.Json.Serialization;

namespace Adaptation.FileHandlers.QS408M;

public class Detail
{

    public string HeaderUniqueId { get; set; }
    [JsonPropertyName("Position")] public string Position { get; set; }
    [JsonPropertyName("Thickness")] public string Thickness { get; set; }
    public string UniqueId { get; set; }

    public override string ToString() => string.Concat(Position, ";", Thickness, ";");

}

[JsonSourceGenerationOptions(WriteIndented = true, NumberHandling = JsonNumberHandling.AllowReadingFromString | JsonNumberHandling.WriteAsString)]
[JsonSerializable(typeof(Detail))]
internal partial class DetailSourceGenerationContext : JsonSerializerContext
{
}

[JsonSourceGenerationOptions(WriteIndented = true, NumberHandling = JsonNumberHandling.AllowReadingFromString | JsonNumberHandling.WriteAsString)]
[JsonSerializable(typeof(Detail[]))]
internal partial class DetailArraySourceGenerationContext : JsonSerializerContext
{
}