private string GenerateLabel(State previousState, State newState, Signal signal, bool transitioning) { if (transitioning) { return($"{stateTraverser.GetSafeName()} : {previousState.GetSafeName()}->{newState.GetSafeName()} (({signal.GetSafeName()}))"); } return($"{stateTraverser.GetSafeName()} : {newState.GetSafeName()}"); }
public override string ToString() { if (mTransitionHistory != null) { StringBuilder stringBuilder = new StringBuilder(); for (int i = 0; i < mTransitionHistory.Count; i++) { Crumb crumb = mTransitionHistory[i]; Transition obj = null; if (crumb.mSignal != null) { obj = crumb.mSignal.Transition; } stringBuilder.Append($"[{crumb.mTime}sec] state traverser '{mTraverser.GetSafeName()}' transitioning '{crumb.mStartState.GetSafeName()}'->'{crumb.mEndState.GetSafeName()}' using signal '{crumb.mSignal.GetSafeName()}' and transition '{obj.GetSafeName()}'\n"); } return(stringBuilder.ToString()); } return(string.Empty); }