This is kind of crazy, but used by the setNameSpace command. zero based.
(int depth, NameSpace ns)
| 90 | zero based. |
| 91 | */ |
| 92 | public void set(int depth, NameSpace ns) { |
| 93 | stack.set( stack.size()-1-depth, ns ); |
| 94 | } |
| 95 | |
| 96 | public NameSpace pop() { |
| 97 | try { |