internal void Push (int depth) { AxisElement eaxis = new AxisElement (this.subtree.RootNode, depth); this.stack.Add (eaxis); }