using System.Text.Json.Serialization;

namespace Adaptation.FileHandlers.TIBCO.Transport;

public class Reactor
{

    [JsonConstructor]
    public Reactor(int reactorNo, int[] loadedRDS)
    {
        ReactorNo = reactorNo;
        LoadedRDS = loadedRDS;
    }

    [JsonPropertyName("reactorNo")] public int ReactorNo { get; } // { init; get; }
    [JsonPropertyName("loadedRDS")] public int[] LoadedRDS { get; } // { init; get; }

}