40 lines
1.3 KiB
C#
40 lines
1.3 KiB
C#
using System.Collections.ObjectModel;
|
|
using System.Text.Json.Serialization;
|
|
|
|
namespace Adaptation.FileHandlers.RsM;
|
|
|
|
internal record Line10
|
|
{
|
|
|
|
[JsonConstructor]
|
|
public Line10(string diamThScan, string diamStart, string diamEnd, string diamStep)
|
|
{
|
|
DiamThScan = diamThScan;
|
|
DiamStart = diamStart;
|
|
DiamEnd = diamEnd;
|
|
DiamStep = diamStep;
|
|
}
|
|
|
|
[JsonPropertyName("Diam ThScan")] public string DiamThScan { get; }
|
|
[JsonPropertyName("Diam Start")] public string DiamStart { get; }
|
|
[JsonPropertyName("Diam End")] public string DiamEnd { get; }
|
|
[JsonPropertyName("Diam Step")] public string DiamStep { get; }
|
|
|
|
internal static Line10 Get(string[] segments)
|
|
{
|
|
Line10 result;
|
|
ReadOnlyCollection<string> collection = Run.GetCollection(segments);
|
|
result = new(collection.Count < 1 ? string.Empty : collection[0],
|
|
collection.Count < 2 ? string.Empty : collection[1],
|
|
collection.Count < 3 ? string.Empty : collection[2],
|
|
collection.Count < 4 ? string.Empty : collection[3]);
|
|
return result;
|
|
}
|
|
|
|
}
|
|
|
|
[JsonSourceGenerationOptions(WriteIndented = true)]
|
|
[JsonSerializable(typeof(Line10))]
|
|
internal partial class Line10SourceGenerationContext : JsonSerializerContext
|
|
{
|
|
} |