public TransitionInfo(eTransitionType type, eStateId dest, eTransition transition, TransitionData tData) { this.transitionType = type; this.idDest = dest; this.transition = transition; this.data = tData; this._transitions = new TransitionHandler[(int)eTransitionType.NoneTransition]; this._transitions[(int)eTransitionType.AddChild] = this.AddTransition; this._transitions[(int)eTransitionType.SimpleTransition] = this.SwitchStateTransition; }
public static Transition Get(eTransitionType transition) { if (_transitionTypes.ContainsKey(transition)) { return(_transitionTypes[transition]); } else { return(null); } }
public GQHSMTransition() { Name = ""; Id = System.Guid.NewGuid(); DoNotInstrument = true; Note = ""; EventSignal = ""; EventSource = ""; GuardCondition = ""; Action = ""; EventType = ""; IsInnerTransition = false; TimeOutExpression = ""; TransitionType = eTransitionType.Normal; }
private void CurrentViewModel_ChangeScreen(IScreen screen, eTransitionType transitionType) { CurrentViewModel.ChangeScreen -= CurrentViewModel_ChangeScreen; if (CurrentViewModel is HomeViewModel) { (CurrentViewModel as HomeViewModel).ShowDialog -= CurrentViewModel_ShowDialog; } Transition = TransitionSelector.Get(transitionType); CurrentViewModel = screen; CurrentViewModel.ChangeScreen += CurrentViewModel_ChangeScreen; if (CurrentViewModel is HomeViewModel) { (CurrentViewModel as HomeViewModel).ShowDialog += CurrentViewModel_ShowDialog; } }
internal Transition(State state, eTransitionType transition) { State = state; TransitionType = transition; }