/// <summary> /// Make stream jump to a new location, saving old location. /// Switch back with pop(). /// </summary> public void Push(int index) { if (calls == null) { calls = new StackList(); } calls.Push(p); // save current index Seek(index); }
/// <summary> /// Make stream jump to a new location, saving old location. /// Switch back with pop(). /// </summary> public void Push(int index) { if ( calls == null ) { calls = new StackList(); } calls.Push(p); // save current index Seek(index); }