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);
}
