using System.Text.Json.Serialization;

namespace OI.Metrology.Shared.Models;

public record CharacterizationParameters([property: JsonPropertyName("area")] string? Area,
                                         [property: JsonPropertyName("equipment-id")] string? EquipmentId,
                                         [property: JsonPropertyName("search-pattern")] string? SearchPattern,
                                         [property: JsonPropertyName("start-time")] string? StartTime,
                                         [property: JsonPropertyName("end-time")] string? EndTime,
                                         [property: JsonPropertyName("wafer-size")] string? WaferSize);

[JsonSourceGenerationOptions(WriteIndented = true)]
[JsonSerializable(typeof(CharacterizationParameters))]
public partial class CharacterizationParametersSourceGenerationContext : JsonSerializerContext
{
}