DBInfoAlarmViewModel.cs 9.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303
  1. using Newtonsoft.Json.Serialization;
  2. using Prism.Events;
  3. using ProximaAnalizer.Helpers;
  4. using SqlSugar;
  5. using System.Text;
  6. using System.Windows;
  7. using Universal;
  8. namespace ProximaAnalizer.ViewModels;
  9. internal partial class DBInfoAlarmViewModel : ObservableObject
  10. {
  11. public DBInfoAlarmViewModel(DBDataHelper dBDataHelper,
  12. TraceData traceData,
  13. IEventAggregator eventAggregator,
  14. IDialogService dialogService)
  15. {
  16. this._traceData = traceData;
  17. this._DBDataHelper = dBDataHelper;
  18. this._dialogService = dialogService;
  19. this._eventAggregator = eventAggregator;
  20. CurrentChangedQueue = new(CurrentChangedQueueHandler);
  21. eventAggregator.GetEvent<RefreshAlarmData>().Subscribe(InitDisplayData);
  22. }
  23. private readonly IEventAggregator _eventAggregator;
  24. private readonly IDialogService _dialogService;
  25. private readonly DBDataHelper _DBDataHelper;
  26. private readonly TraceData _traceData;
  27. private readonly EventQueue<long> CurrentChangedQueue;
  28. private Timer? _AutoPlayTimer;
  29. private Pages? _FromPage;
  30. private void InitDisplayData()
  31. {
  32. this.RecipeSteps.Clear();
  33. this.Alarms.Clear();
  34. this.MFCs.Clear();
  35. this.Heaters.Clear();
  36. this.GaslineHeaters.Clear();
  37. this.FFUs.Clear();
  38. this.Valves.Clear();
  39. this.LeakChecks.Clear();
  40. this.Pressures.Clear();
  41. this.APCs.Clear();
  42. this.APCVATGVs.Clear();
  43. RefreshAlarmData alarmData = _eventAggregator.GetEvent<RefreshAlarmData>();
  44. this._FromPage = alarmData.FromPage;
  45. if (_traceData.ProcessData is null)
  46. return;
  47. this.RecipeName = _traceData.ProcessData.Recipe_Name;
  48. if (!this._DBDataHelper.GetRecipeSteps(_traceData.ProcessData.Guid, out string reason, out List<RecipeStepData>? recipeSteps) || recipeSteps is null)
  49. {
  50. MessageBox.Show(reason, "Warning", MessageBoxButton.OK, MessageBoxImage.Warning);
  51. return;
  52. }
  53. recipeSteps.Foreach(t => this.RecipeSteps.TryAdd(TimeRounder.IngoreMillionSeconds(t.Step_Begin_Time.Ticks), t));
  54. this.Start = recipeSteps.First().Step_Begin_Time;
  55. this.End = recipeSteps.Last().Step_End_Time;
  56. this._DBDataHelper.SetTimeRange(this.Start, this.End);
  57. if (!this._DBDataHelper.GetAlarmData(out List<EventData>? alarms) || alarms is null)
  58. return;
  59. foreach (var alarm in alarms)
  60. {
  61. if (alarm is null || string.IsNullOrEmpty(alarm.Level))
  62. continue;
  63. DateTime occorTime = TimeRounder.IngoreMillionSeconds(alarm.Occur_Time.Ticks);
  64. if (!this.Alarms.TryGetValue(occorTime, out StringBuilder? events) || events is null)
  65. {
  66. events = new();
  67. this.Alarms[occorTime] = events;
  68. events.Append(alarm.Description);
  69. continue;
  70. }
  71. events.Append(Environment.NewLine);
  72. events.Append(alarm.Description);
  73. }
  74. if (alarmData.Selected is not null)
  75. {
  76. DateTime time = TimeRounder.IngoreMillionSeconds(alarmData.Selected.Occur_Time.Ticks);
  77. this.Current = time;
  78. this.CurrentLong = time.Ticks;
  79. }
  80. else
  81. {
  82. this.Current = this.Start;
  83. this.CurrentLong = this.Start.Ticks;
  84. }
  85. }
  86. [ObservableProperty]
  87. private RecipeStepData? _CurrentRecipeStep;
  88. [ObservableProperty]
  89. private ObservableDictionary<DateTime, RecipeStepData> _RecipeSteps = [];
  90. [ObservableProperty]
  91. private ObservableDictionary<DateTime, StringBuilder> _Alarms = [];
  92. [ObservableProperty]
  93. private KeyValuePair<DateTime, StringBuilder>? _SelectedAlarm;
  94. partial void OnSelectedAlarmChanged(KeyValuePair<DateTime, StringBuilder>? value)
  95. {
  96. if (value is null)
  97. return;
  98. this.CurrentLong = value.Value.Key.Ticks;
  99. }
  100. [ObservableProperty]
  101. private string? _RecipeName;
  102. [ObservableProperty]
  103. private DateTime _Start;
  104. [ObservableProperty]
  105. private DateTime _End;
  106. [ObservableProperty]
  107. private DateTime _Current;
  108. [ObservableProperty]
  109. private long _CurrentLong;
  110. partial void OnCurrentLongChanged(long value) => this.CurrentChangedQueue.Enqueue(value);
  111. private void CurrentChangedQueueHandler(long value)
  112. {
  113. if (CurrentChangedQueue.Count != 0)
  114. return;
  115. DateTime time = TimeRounder.IngoreMillionSeconds(value);
  116. RecipeStepData? step = this.RecipeSteps.Where(t => t.Key <= this.Current).LastOrDefault().Value;
  117. App.Current.Dispatcher?.Invoke(() =>
  118. {
  119. if (this.Alarms.ContainsKey(time))
  120. this.SelectedAlarm = this.Alarms.Where(t => t.Key == time).FirstOrDefault();
  121. else
  122. this.SelectedAlarm = null;
  123. this.Current = time;
  124. this.CurrentRecipeStep = step;
  125. });
  126. DateTime startTime = time.AddMilliseconds(-500);
  127. DateTime endTime = time.AddMilliseconds(500);
  128. this._DBDataHelper.GetSystemData(startTime, endTime, out List<dynamic>? systemData);
  129. this._DBDataHelper.GetPMData(startTime, endTime, out List<dynamic>? pmData);
  130. Parallel.Invoke(
  131. () => this.MFCs.UpdateData(pmData),
  132. () => this.Heaters.UpdateData(systemData),
  133. () => this.GaslineHeaters.UpdateData(pmData),
  134. () => this.FFUs.UpdateData(pmData),
  135. () => this.Valves.UpdateData(pmData),
  136. () => this.LeakChecks.UpdateData(pmData),
  137. () => this.Pressures.UpdateData(pmData),
  138. () => this.APCs.UpdateData(pmData),
  139. () => this.APCVATGVs.UpdateData(pmData));
  140. }
  141. [ObservableProperty]
  142. private Visibility _PlayVis = Visibility.Visible;
  143. [ObservableProperty]
  144. private Visibility _StopVis = Visibility.Collapsed;
  145. [RelayCommand]
  146. private void Play(string para)
  147. {
  148. switch (para)
  149. {
  150. case "play":
  151. this._AutoPlayTimer ??= new(TimerCallback, null, 0, 1000);
  152. this.PlayVis = Visibility.Collapsed;
  153. this.StopVis = Visibility.Visible;
  154. break;
  155. case "stop":
  156. this._AutoPlayTimer?.Dispose();
  157. this._AutoPlayTimer = null;
  158. this.PlayVis = Visibility.Visible;
  159. this.StopVis = Visibility.Collapsed;
  160. break;
  161. default:
  162. break;
  163. }
  164. }
  165. private void TimerCallback(object? state)
  166. {
  167. if (this.CurrentLong >= this.End.Ticks)
  168. {
  169. this.Play("stop");
  170. return;
  171. }
  172. App.Current.Dispatcher?.Invoke(() => this.CurrentLong += 10000000);
  173. }
  174. [RelayCommand]
  175. private void TimeOpera(string para)
  176. {
  177. switch (para)
  178. {
  179. case "+":
  180. this.CurrentLong += 10000000;
  181. break;
  182. case "-":
  183. this.CurrentLong -= 10000000;
  184. break;
  185. case "++":
  186. this.CurrentLong += 600000000;
  187. break;
  188. case "--":
  189. this.CurrentLong -= 600000000;
  190. break;
  191. case "---":
  192. {
  193. DateTime alarm = this.Alarms.Where(t => t.Key < this.Current).LastOrDefault().Key;
  194. if (alarm == DateTime.MinValue)
  195. break;
  196. this.CurrentLong = alarm.Ticks;
  197. }
  198. break;
  199. case "+++":
  200. {
  201. DateTime alarm = this.Alarms.Where(t => t.Key > this.Current).FirstOrDefault().Key;
  202. if (alarm == DateTime.MinValue)
  203. break;
  204. this.CurrentLong = alarm.Ticks;
  205. }
  206. break;
  207. default:
  208. break;
  209. }
  210. }
  211. [RelayCommand]
  212. private void Return()
  213. {
  214. _eventAggregator.GetEvent<WindowSwitch>().Page = _FromPage is null ? Pages.RecipeStepNavi : _FromPage.Value;
  215. _eventAggregator.GetEvent<WindowSwitch>().Publish();
  216. }
  217. [ObservableProperty]
  218. private DisplayHistroyHelper2 _Heaters = new(1, 2, "Heater");
  219. [ObservableProperty]
  220. private DisplayHistroyHelper2 _MFCs = new(1, 2, "MFC");
  221. [ObservableProperty]
  222. private DisplayHistroyHelper2 _Valves = new(2, 3, "IoValve");
  223. [ObservableProperty]
  224. private DisplayHistroyHelper2 _FFUs = new(1, 2, "FFU");
  225. [ObservableProperty]
  226. private DisplayHistroyHelper2 _GaslineHeaters = new(1, 2, "GaslineHeater");
  227. [ObservableProperty]
  228. private DisplayHistroyHelper1 _LeakChecks = new(1, 1, ["LeakCheck"]);
  229. [ObservableProperty]
  230. private DisplayHistroyHelper1 _Pressures = new(1, 1, ["VG", "PS", "PG"]);
  231. [ObservableProperty]
  232. private DisplayHistroyHelper1 _APCs = new(1, 2, ["APC"]);
  233. [ObservableProperty]
  234. private DisplayHistroyHelper1 _APCVATGVs = new(1, 2, ["APCVATGV"]);
  235. [ObservableProperty]
  236. private object? _Selected;
  237. partial void OnSelectedChanged(object? value)
  238. {
  239. switch (value)
  240. {
  241. case KeyValuePair<string, ObservableDictionary<string, object>> sel:
  242. break;
  243. case KeyValuePair<string, object> sel:
  244. break;
  245. default:
  246. break;
  247. }
  248. }
  249. }
  250. internal class TimeRounder
  251. {
  252. public static DateTime IngoreMillionSeconds(long ticks)
  253. {
  254. ticks -= ticks % 10000000;
  255. return new(ticks);
  256. }
  257. }