using Adaptation.Shared; using System; using System.Collections.Generic; using System.Collections.ObjectModel; using System.IO; using System.Linq; using System.Text; using System.Text.Json; using System.Text.Json.Serialization; namespace Adaptation.FileHandlers.pcl; #nullable enable internal class Run { public Run(Header header, ReadOnlyCollection wafers) { Header = header; Wafers = wafers; } public Header Header { get; } public ReadOnlyCollection Wafers { get; } private static void WriteJson(Logistics logistics, List fileInfoCollection, Run result) { FileInfo fileInfo = new($"{logistics.ReportFullPath}.run.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 GetLines(Logistics logistics, JsonElement[]? jsonElements) { List 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 results = new(); Row row; for (int i = 0; i < run.Wafers.Count; i++) { row = new(run, i); results.Add(row); } string json = JsonSerializer.Serialize(results); JsonElement[]? jsonElements = JsonSerializer.Deserialize(json); ReadOnlyCollection lines = GetLines(logistics, jsonElements); File.WriteAllText($"{logistics.ReportFullPath}.csv", string.Join(Environment.NewLine, lines)); } private static ReadOnlyCollection GetWaferIds(Header header) { List results = new(); foreach (WaferSummary waferSummary in header.WaferSummary) results.Add(waferSummary.Id); return results.AsReadOnly(); } internal static Run? Get(Logistics logistics, List fileInfoCollection, ReadOnlyDictionary pages) { Run? result; Constant constant = new(); string headerFileName = pages.ElementAt(pages.Count - 1).Key; Header? header = Header.Get(pages, constant, headerFileName); if (header is null) result = null; else { ReadOnlyCollection waferIds = GetWaferIds(header); ReadOnlyDictionary keyValuePairs = Wafer.Get(pages, constant, headerFileName, header); ReadOnlyCollection wafers = Wafer.Get(waferIds, keyValuePairs); result = new(header, wafers); WriteJson(logistics, fileInfoCollection, result); WriteCommaSeparatedValues(logistics, result); } return result; } } [JsonSourceGenerationOptions(WriteIndented = true)] [JsonSerializable(typeof(Run))] internal partial class RunSourceGenerationContext : JsonSerializerContext { }