106107108109110111112113114115116
s.push(act); while (nextLevel != null) { s.push(nextLevel); nextLevel = nextLevel.parent(); } /* * Now push the hierarchy onto the thread stack. */