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

namespace File_Watcher.Models;

public record NationalInstrumentsConfiguration(string CustomScaleName,
                                               string[] DifferentialPhysicalChannels,
                                               int MaximumValue,
                                               int MiniumValue,
                                               string[] ReferencedSingleEndedPhysicalChannels,
                                               int ReadTimeout,
                                               bool UsePointerMethod)
{

    public override string ToString()
    {
        string result = JsonSerializer.Serialize(this, NationalInstrumentsConfigurationSourceGenerationContext.Default.NationalInstrumentsConfiguration);
        return result;
    }

}

[JsonSourceGenerationOptions(WriteIndented = true)]
[JsonSerializable(typeof(NationalInstrumentsConfiguration))]
internal partial class NationalInstrumentsConfigurationSourceGenerationContext : JsonSerializerContext
{
}