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