GetSuccessorN() public méthode

public GetSuccessorN ( int n ) : TraversalInfo
n int
Résultat TraversalInfo
ExecutionState Class Documentation
Exemple #1
0
        protected TraversalInfo GetTraversalInfoForTrace(Trace trace)
        {
            TraversalInfo ti = new ExecutionState((StateImpl)StartStateStateImpl.Clone(), null, null);
            TraversalInfo newTi = null;

            if (trace != null)
            {
                if (trace.Count > 0)
                {
                    for (int i = 0; i < trace.Count; ++i)
                    {
                        newTi = ti.GetSuccessorN((int)trace[i].Selection);
                        System.Diagnostics.Debug.Assert(newTi != null);
                        ti = newTi;
                    }
                }
            }

            return ti;
        }