Esempio n. 1
0
        private void Form1_MouseUp(object sender, System.Windows.Forms.MouseEventArgs e)
        {
            if (hitState == null)
            {
                selectedState = startConnectionState = null;                   //empty interaction states
            }
            if (stateList.Count > 2)
            {
                StateXML[0] = State.DataSerializeState(stateList);                      //update config
            }
            if (regionList.Count > 0)
            {
                RegionXML[0] = AutomataRegion.DataSerializeRegion(regionList);                       //update region config
            }
            if (dragState != null)
            {
                dragState        = null;
                TransitionXML[0] = Transition.DataSerializeTransition(transitionList);
            }

            //new selection rectangle ? create region
            if (p.selectionRectangle.Height != 0)
            {
                CreateRegion();
                p.selectionRectangle.Height = 0;
            }

            hitRegion     = null;
            hitsizeHandle = null;
        }
Esempio n. 2
0
        private void EditRegion(AutomataRegion region)
        {
            string input = region.Name;


            if (PaintAutomataClass.Dialogs.RegionDialog(ref input, "Edit Region", p.dpi) == DialogResult.OK)
            {
                region.Name = input;
                this.Invalidate(); //redraw
                UpdateRegionsConfigs();
            }
        }
Esempio n. 3
0
        private void UpdateRegionsConfigs()
        {
            // Update Config Pin if there is a change

            if (regionList.Count > 0)
            {
                RegionXML[0] = AutomataRegion.DataSerializeRegion(regionList);
                EnumManager.UpdateEnum(myGUID + "_Regions", regionList[0].Name, regionList.Select(x => x.Name).ToArray());
            }

            else
            {
                RegionXML[0] = "";
                //EnumManager.UpdateEnum(myGUID + "_Regions", "", regionList.Select(x => x.Name).ToArray());
            }
        }
Esempio n. 4
0
        private void UpdateRegionsConfigs()
        {
            // Update Config Pin if there is a change



            if (regionList.Count > 0)
            {
                RegionXML = AutomataRegion.DataSerializeRegion(regionList);
                //EnumManager.UpdateEnum(myGUID + "_Regions", regionList[0].Name, regionList.Select(x => x.Name).ToArray());
                RegionsEnum.Clear();
                regionList.ForEach(region => RegionsEnum.AddEntry(region.Name));
            }

            else
            {
                RegionXML = "";
                //EnumManager.UpdateEnum(myGUID + "_Regions", "", regionList.Select(x => x.Name).ToArray());
                RegionsEnum.Clear();
            }
        }
Esempio n. 5
0
        private void InitSettings()
        {
            //load settings
            if (stateList.Count < 2 && StateXML[0].Length > 3 && Initialize)
            {
                try
                {
                    stateList      = State.DataDeserializeState(StateXML[0]);
                    transitionList = Transition.DataDeserializeTransition(TransitionXML[0]);

                    if (RegionXML[0].Length > 3)
                    {
                        regionList = AutomataRegion.DataDeserializeRegion(RegionXML[0]);
                    }
                    EnumManager.UpdateEnum(myGUID + "_Regions", regionList[0].Name, regionList.Select(x => x.Name).ToArray());
                }
                catch { FLogger.Log(LogType.Debug, "Loading XML Graph failed!"); }

                //new enum technique
                EnumManager.UpdateEnum(myGUID + "_States", stateList[0].Name, stateList.Select(x => x.Name).ToArray());
                EnumManager.UpdateEnum(myGUID + "_Transitions", transitionList[0].Name, transitionList.Select(x => x.Name).Distinct().ToArray());
                EnumManager.UpdateEnum(myGUID + "_AllTransitions", transitionList[0].Name, transitionList.Select(x => x.Name).ToArray());

                //repair relation
                foreach (Transition transition in transitionList)
                {
                    transition.startState = stateList.First(x => x.ID.Contains(transition.startState.ID));
                    transition.endState   = stateList.First(x => x.ID.Contains(transition.endState.ID));
                }

                this.Invalidate();
                previousPosition = MousePosition;
                p.StagePos.X     = 0;
                p.StagePos.Y     = 0;

                UpdateOutputs(); //update State and Transition Outputs
                Initialize = false;
            }
        }
Esempio n. 6
0
        private void Form1_MouseDown(object sender, System.Windows.Forms.MouseEventArgs e)
        {
            //hit detection for various use
            hitState      = stateList.FirstOrDefault(x => x.Bounds.Contains(new Point(this.x, this.y)));
            hitTransition = transitionList.FirstOrDefault(x => x.Bounds.Contains(new Point(this.x, this.y)));
            hitRegion     = regionList.FirstOrDefault(x => x.Bounds.Contains(new Point(this.x, this.y)));
            hitsizeHandle = regionList.FirstOrDefault(x => x.SizeHandle.Contains(new Point(this.x, this.y)));

            if (hitsizeHandle != null)
            {
                hitRegion = null;
            }

            previousPosition = MousePosition; // get mouse position difference

            holdMousePos = new Point(x, y);   // on mouse down hold last position

            //delete transitions or Regions
            if (e.Button == MouseButtons.Middle)
            {
                DeleteTransition(e);
                DeleteRegion(e);
                this.Invalidate(); //redraw
            }

            //hit detection bezier transition
            if (e.Button == MouseButtons.Right)
            {
                int i = 0;
                p.bezierEdit.HighlightTransitionIndex = null;
                p.bezierEdit.highlightTransition      = null;

                foreach (GraphicsPath path in p.transitionPaths)
                {
                    if (path.IsOutlineVisible(this.x, this.y, p.greenPen))
                    {
                        p.bezierEdit.HighlightTransitionIndex = i;
                        p.bezierEdit.highlightTransition      = transitionList[i];
                        //FLogger.Log(LogType.Debug, "hit transition");
                    }
                    i++;
                }
            }

            if (p.bezierEdit.bezierStart.Contains(new Point(this.x, this.y)) && e.Button == MouseButtons.Left)
            {
                dragState = "bezierStart";
            }
            if (p.bezierEdit.bezierEnd.Contains(new Point(this.x, this.y)) && e.Button == MouseButtons.Left)
            {
                dragState = "bezierEnd";
            }


            // Override Active State by CTRL Mouseclick
            if (e.Button == MouseButtons.Left && Form.ModifierKeys == Keys.Control && hitState != null)
            {
                ActiveStateIndex[ShowSlice[0]] = TargetStateIndex[ShowSlice[0]] = stateList.IndexOf(hitState);
                ElapsedStateTime[ShowSlice[0]] = TransitionFramesOut[ShowSlice[0]] = 0;
                this.Invalidate(); //redraw
            }

            // Override Active Transition by CTRL Mouseclick
            if (e.Button == MouseButtons.Left && Form.ModifierKeys == Keys.Control && hitTransition != null)
            {
                TargetStateIndex[ShowSlice[0]] = stateList.IndexOf(hitTransition.endState); // set target state index
                ActiveStateIndex[ShowSlice[0]] = stateList.IndexOf(hitTransition.startState);


                TransitionFramesOut[ShowSlice[0]] = hitTransition.Frames;                  // get frames of transition
                TransitionIndex[ShowSlice[0]]     = transitionList.IndexOf(hitTransition); //get transition
                ElapsedStateTime[ShowSlice[0]]    = 0;                                     // stop ElapsedStateTimer

                FLogger.Log(LogType.Debug, "force transition");
                this.Invalidate(); //redraw
            }


            // empty hit ?
            if (hitState == null)
            {
                selectedState        = null;
                startConnectionState = null;
            }

            else
            {
                if (Form.ModifierKeys != Keys.Control)
                {
                    selectedState = hitState;                                   //on click set selected state for dragging in case no forcing state happens
                }
                if (startConnectionState != null && targetConnectionState != null && e.Button == MouseButtons.Left)
                {
                    //Create Transition
                    if (startConnectionState.ID != targetConnectionState.ID)
                    {
                        AddTransition(startConnectionState, hitState);
                    }

                    startConnectionState  = null;
                    targetConnectionState = null;
                    selectedState         = null;
                }

                //set connection start
                if (selectedState != null && e.Button == MouseButtons.Right)
                {
                    startConnectionState = hitState;
                }
                else
                {
                    startConnectionState = null;
                }

                //delete state and relevant transitions
                if (selectedState != null && e.Button == MouseButtons.Middle && hitState.ID != "Init")
                {
                    DeleteState(e);
                }
            }

            // hit test for spreadbuttons top left
            for (int i = 0; i < p.Spreadbuttons.Count; i++)
            {
                if (p.Spreadbuttons[i].Contains(new Point(e.X, e.Y)) && e.Button == MouseButtons.Left)
                {
                    ShowSlice[0] = i;
                    break;
                }
            }
            this.Invalidate();
        }
Esempio n. 7
0
        private void InitSettings()
        {
            //load settings
            if (stateList.Count < 2 && StateXML.Length > 3 && Initialize)
            {
                try
                {
                    stateList      = State.DataDeserializeState(StateXML);
                    transitionList = Transition.DataDeserializeTransition(TransitionXML);

                    if (RegionXML.Length > 3)
                    {
                        regionList = AutomataRegion.DataDeserializeRegion(RegionXML);
                    }
                }
                catch { debug = "Loading XML Graph failed!"; }

                //new enum technique
                //EnumManager.UpdateEnum(myGUID + "_States", stateList[0].Name, stateList.Select(x => x.Name).ToArray());
                stateList.ForEach(state => StatesEnum.AddEntry(state.Name));
                //EnumManager.UpdateEnum(myGUID + "_Transitions", transitionList[0].Name, transitionList.Select(x => x.Name).Distinct().ToArray());
                transitionList.ForEach(transition => TransitionsEnum.AddEntry(transition.Name));
                //EnumManager.UpdateEnum(myGUID + "_Regions", regionList[0].Name, regionList.Select(x => x.Name).ToArray());
                regionList.ForEach(region => RegionsEnum.AddEntry(region.Name));
                //EnumManager.UpdateEnum(myGUID + "_AllTransitions", transitionList[0].Name, transitionList.Select(x => x.Name).ToArray());

                //repair relation
                foreach (Transition transition in transitionList)
                {
                    transition.startState = stateList.First(x => x.ID.Contains(transition.startState.ID));
                    transition.endState   = stateList.First(x => x.ID.Contains(transition.endState.ID));
                }

                this.Invalidate();
                previousPosition = MousePosition;
                p.StagePos.X     = 0;
                p.StagePos.Y     = 0;

                Initialize = false;
            }
            else if (stateList.Count < 2 && Initialize)
            {
                //add state to state list

                stateList.Add(new State()
                {
                    ID     = "Init",
                    Name   = "Init",
                    Bounds = new Rectangle(new Point(0, 0), new Size(p.StateSize, p.StateSize))
                });


                UpdateStateConfigs(); // update JSON,Enums and Redraw
                this.Invalidate();
                previousPosition = MousePosition;
                p.StagePos.X     = 0;
                p.StagePos.Y     = 0;

                Initialize = false;
            }
        }