using System.Collections.Generic;
using System.Text.Json.Serialization;

namespace Adaptation.FileHandlers.Stratus;

public class Detail
{

    public string HeaderUniqueId { get; set; }
    [JsonPropertyName("Mean")] public string Mean { get; set; }
    [JsonPropertyName("PassFail")] public string PassFail { get; set; }
    [JsonPropertyName("Recipe")] public string Recipe { get; set; }
    [JsonPropertyName("Slot")] public string Slot { get; set; }
    [JsonPropertyName("StdDev")] public string StdDev { get; set; }
    public string UniqueId { get; set; }
    [JsonPropertyName("Site")] public string Thickness { get; set; } // different name
    [JsonPropertyName("Text")] public string Wafer { get; set; } // different name
    public List<Point> Points { get; set; }

}

[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
{
}