using System.Text.Json.Serialization;

namespace OI.Metrology.Shared.Models;

public record ProdSpecRoot(
    [property: JsonPropertyName("prodSpec")] ProdSpec ProdSpec
// [property: JsonPropertyName("_links")] Links Links,
// [property: JsonPropertyName("_class")] string Class
);

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