Beispiel #1
0
            public string signal; // dla RECIEVE sygnal otrzymany, dla SEND do wyslania

            public StateChange(string next, StateChange.Type type_, string from_, string to_, string signal_)
            {
                next_state_string = next;
                type = type_;
                from = from_;
                to = to_;
                signal = signal_;
            }
Beispiel #2
0
        //zmienia stan
        public static void change_state()
        {
            try
            {
                if (Form1.list_of_possible_next_states.Count != 0)
                {
                    Random rand = new Random(DateTime.Now.ToString().GetHashCode());

                    int index = rand.Next(0, Form1.list_of_possible_next_states.Count);
                    //wybór przejscia
                    StateChange change = Form1.state_present.list_of_state_changes.Single(r => r == Form1.list_of_possible_next_states[index]);
                    if (change.type == StateChange.Type.SEND)
                    {
                        Message m = create_message(true, Form1.message_counter, Form1.FSM_name, change.to, change.signal);
                        send_message(m);
                        Form1.message_counter++;
                        Form1.state_present = Form1.list_of_states.Single(r => r.state_name == change.next_state_string);
                    }
                    if (change.type == StateChange.Type.RECIEVE)
                    {
                        MessageQueue q = Form1.list_of_message_queues.Single(r => r.from == change.from);
                        Message      m = create_message(false, q.increment.Peek(), q.from, Form1.FSM_name, q.signals.Peek());
                        q.signals.Dequeue();
                        q.increment.Dequeue();
                        Form1.state_present = Form1.list_of_states.Single(r => r.state_name == change.next_state_string);
                        send_message(m);
                    }
                    if (change.type == StateChange.Type.TAU)
                    {
                        Form1.state_present = Form1.list_of_states.Single(r => r.state_name == change.next_state_string);
                    }
                }
                else
                {
                }
            }

            catch (Exception e)
            {
                MessageBox.Show("Błąd zmiany stanu: " + e);
            }
        }