private void OnPrepareForGenerationRequest(PrepareForGenerationRequest msg) { foreach (var fcm in msg.Controller.Fasen) { fcm.Detectoren.BubbleSort(); } }
private void GenerateCodeCommand_Executed() { var prepreq = new PrepareForGenerationRequest(); MessengerInstance.Send(prepreq); var s = TLCGen.Integrity.TLCGenIntegrityChecker.IsControllerDataOK(_plugin.Controller); if (s == null) { TLCProFCodeGenerator.GenerateXml(_plugin.Controller, Path.GetDirectoryName(_plugin.ControllerFileName)); MessengerInstance.Send(new ControllerCodeGeneratedMessage()); } else { MessageBox.Show(s, "Fout in conflictmatrix"); } }