met08thftirstratus/Adaptation/FileHandlers/Stratus/Run.cs

using Adaptation.Shared;
using System;
using System.Collections.Generic;
using System.Collections.ObjectModel;
using System.IO;
using System.Text;
using System.Text.Json;
using System.Text.Json.Serialization;

namespace Adaptation.FileHandlers.Stratus;

#nullable enable

internal class Run
{

    public Run(Header header, ReadOnlyCollection<Wafer> wafers, Footer footer)
    {
        Header = header;
        Wafers = wafers;
        Footer = footer;
    }

    public Header Header { get; }
    public ReadOnlyCollection<Wafer> Wafers { get; }
    public Footer Footer { get; }

    private static void WriteJson(Logistics logistics, List<FileInfo> fileInfoCollection, Run? result)
    {
        FileInfo fileInfo = new($"{logistics.ReportFullPath}.json");
        string json = JsonSerializer.Serialize(result, RunSourceGenerationContext.Default.Run);
        File.WriteAllText(fileInfo.FullName, json);
        File.SetLastWriteTime(fileInfo.FullName, logistics.DateTimeFromSequence);
        fileInfoCollection.Add(fileInfo);
    }

    private static ReadOnlyCollection<string> GetLines(Logistics logistics, JsonElement[]? jsonElements)
    {
        List<string> results = new();
        int columns = 0;
        StringBuilder stringBuilder = new();
        results.Add($"\"Count\",{jsonElements?.Length}");
        results.Add($"\"{nameof(logistics.Sequence)}\",\"{logistics.Sequence}\"");
        results.Add($"\"{nameof(logistics.MesEntity)}\",\"{logistics.MesEntity}\"");
        string dateTimeFromSequence = logistics.DateTimeFromSequence.ToString("MM/dd/yyyy hh:mm:ss tt");
        for (int i = 0; i < jsonElements?.Length;)
        {
            _ = stringBuilder.Append('"').Append(nameof(logistics.DateTimeFromSequence)).Append('"').Append(',');
            foreach (JsonProperty jsonProperty in jsonElements[0].EnumerateObject())
            {
                columns += 1;
                _ = stringBuilder.Append('"').Append(jsonProperty.Name).Append('"').Append(',');
            }
            break;
        }
        if (jsonElements?.Length != 0)
            _ = stringBuilder.Remove(stringBuilder.Length - 1, 1);
        results.Add(stringBuilder.ToString());
        for (int i = 0; i < jsonElements?.Length; i++)
        {
            _ = stringBuilder.Clear();
            _ = stringBuilder.Append('"').Append(dateTimeFromSequence).Append('"').Append(',');
            foreach (JsonProperty jsonProperty in jsonElements[i].EnumerateObject())
            {
                if (jsonProperty.Value.ValueKind == JsonValueKind.Object)
                    _ = stringBuilder.Append(',');
                else if (jsonProperty.Value.ValueKind != JsonValueKind.String)
                    _ = stringBuilder.Append(jsonProperty.Value).Append(',');
                else
                    _ = stringBuilder.Append('"').Append(jsonProperty.Value).Append('"').Append(',');
            }
            _ = stringBuilder.Remove(stringBuilder.Length - 1, 1);
            results.Add(stringBuilder.ToString());
        }
        return results.AsReadOnly();
    }

    private static void WriteCommaSeparatedValues(Logistics logistics, Run run)
    {
        List<Row> results = new();
        Row row;
        int index = 0;
        for (int i = 0; i < run.Wafers.Count; i++)
        {
            for (int j = 0; j < run.Wafers[i].Sites.Count; j++)
            {
                row = new(run, index, i, j);
                results.Add(row);
                index +=1;
            }
        }
        string json = JsonSerializer.Serialize(results);
        JsonElement[]? jsonElements = JsonSerializer.Deserialize<JsonElement[]>(json);
        ReadOnlyCollection<string> lines = GetLines(logistics, jsonElements);
        File.WriteAllText($"{logistics.ReportFullPath}.a.csv", string.Join(Environment.NewLine, lines));
        File.WriteAllText($"{logistics.ReportFullPath}.b.csv", string.Join(Environment.NewLine, lines));
    }

    internal static Run? Get(Logistics logistics, List<FileInfo> fileInfoCollection)
    {
        Run? result;
        Constant constant = new();
        int[] i = new int[] { 0 };
        string text = File.ReadAllText(logistics.ReportFullPath);
        Header? header = Header.Get(text, constant, i);
        if (header is null)
            result = null;
        else
        {
            ReadOnlyCollection<string> groups = Wafer.GetGroups(text, constant, i);
            if (groups.Count == 0)
                result = null;
            else
            {
                ReadOnlyCollection<Wafer> wafers = Wafer.Get(constant, groups);
                if (wafers.Count == 0)
                    result = null;
                else
                {
                    Footer? footer = Footer.Get(constant, groups);
                    if (footer is null)
                        result = null;
                    else
                    {
                        result = new(header, wafers, footer);
                        WriteJson(logistics, fileInfoCollection, result);
                        WriteCommaSeparatedValues(logistics, result);
                    }
                }
            }
        }
        return result;
    }

}

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