using System.Text.Json.Serialization;

namespace Adaptation.FileHandlers.pcl;

public class Detail
{

    [JsonPropertyName("FlatZ")] public string FlatZ { get; set; }
    [JsonPropertyName("Grade")] public string Grade { get; set; }
    public string HeaderUniqueId { get; set; }
    [JsonPropertyName("NAvg")] public string NAvg { get; set; }
    [JsonPropertyName("Nsl")] public string Nsl { get; set; }
    [JsonPropertyName("Phase")] public string Phase { get; set; }
    [JsonPropertyName("RhoAvg")] public string RhoAvg { get; set; }
    [JsonPropertyName("Rhosl")] public string Rhosl { get; set; }
    public string UniqueId { get; set; }
    [JsonPropertyName("Vd")] public string Vd { get; set; }

    public override string ToString() => string.Concat(FlatZ, ";", Grade);

}

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