private void OnPrepareForGenerationRequest(PrepareForGenerationRequest msg)
 {
     foreach (var fcm in msg.Controller.Fasen)
     {
         fcm.Detectoren.BubbleSort();
     }
 }
Beispiel #2
0
        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");
            }
        }