using System.Text.Json;
using System.Text.Json.Serialization;

namespace OI.Metrology.Shared.Models;

public record Reactor(
        [property: JsonPropertyName("reactorNo")] int ReactorNo,
        [property: JsonPropertyName("reactType")] string ReactType,
        [property: JsonPropertyName("reactAssignment")] string ReactAssignment,
        [property: JsonPropertyName("pickPlace")] bool PickPlace,
        [property: JsonPropertyName("loadLockDown")] string LoadLockDown,
        [property: JsonPropertyName("0311Active")] bool _0311Active,
        [property: JsonPropertyName("loadedRDS")] IReadOnlyList<int> LoadedRDS,
        [property: JsonPropertyName("isRunning")] bool IsRunning,
        [property: JsonPropertyName("outOfProdDTM")] string OutOfProdDTM,
        [property: JsonPropertyName("workOrder")] int? WorkOrder,
        [property: JsonPropertyName("workOrderCustomer")] string WorkOrderCustomer,
        [property: JsonPropertyName("currMode")] string CurrMode,
        [property: JsonPropertyName("serviceDesc")] string ServiceDesc,
        [property: JsonPropertyName("e10State")] string E10State
    )
{

    public override string ToString()
    {
        string result = JsonSerializer.Serialize(this, new JsonSerializerOptions() { WriteIndented = true });
        return result;
    }

}

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

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