using System.Text.Json.Serialization;

namespace OI.Metrology.Shared.Models;

public record ProdSpec(
    // [property: JsonPropertyName("keyId")] int KeyId,
    // [property: JsonPropertyName("specType")] string SpecType,
    // [property: JsonPropertyName("status")] string Status,
    // [property: JsonPropertyName("minutesPerWafer")] double MinutesPerWafer,
    // [property: JsonPropertyName("proveInTime")] int ProveInTime,
    // [property: JsonPropertyName("layerType")] string LayerType,
    // [property: JsonPropertyName("reactorType")] string ReactorType,
    // [property: JsonPropertyName("susceptorType")] string SusceptorType,
    // [property: JsonPropertyName("tubePressureType")] string TubePressureType,
    // [property: JsonPropertyName("recipeLayers")] RecipeLayer[] RecipeLayers,
    // [property: JsonPropertyName("prodVers")] ProdVer[] ProdVers,
    // [property: JsonPropertyName("epiPart")] EpiPart EpiPart,
    // [property: JsonPropertyName("custEpiParts")] CustEpiPart[] CustEpiParts,
    [property: JsonPropertyName("prsStages")] PrsStage[] PrsStages
);

[JsonSourceGenerationOptions(WriteIndented = true, NumberHandling = JsonNumberHandling.AllowReadingFromString)]
[JsonSerializable(typeof(ProdSpec))]
public partial class ProdSpecSourceGenerationContext : JsonSerializerContext
{
}