Example #1
0
        private void bitfsm_Stepped(object sender, Bitfsm.StepEventArgs e)
        {
            StatusItem srci = Controls[e.sourceTag] as StatusItem;
            StatusItem tgti = Controls[e.targetTag] as StatusItem;
            srci.SteppingText = string.Empty;

            tgti.SteppingText = bitfsm.terminated() ? "Done" : "Current";
        }
Example #2
0
        public FormCondition(Bitfsm bf)
        {
            InitializeComponent();

            commands = new HashSet<string>();

            bitfsm = bf;
        }
Example #3
0
        public FormMain()
        {
            InitializeComponent();

            bitfsm = new Bitfsm();
            bitfsm.Stepped += new Bitfsm.StepHandler(bitfsm_Stepped);

            relations = new List<Relation>();
        }
Example #4
0
        public FormSaveFsm(Bitfsm bf)
        {
            InitializeComponent();

            bitfsm = bf;
        }