zero based.
(int depth)
| 78 | zero based. |
| 79 | */ |
| 80 | public NameSpace get(int depth) { |
| 81 | int size = stack.size(); |
| 82 | if ( depth >= size ) |
| 83 | return NameSpace.JAVACODE; |
| 84 | else |
| 85 | return stack.get(size-1-depth); |
| 86 | } |
| 87 | |
| 88 | /** |
| 89 | This is kind of crazy, but used by the setNameSpace command. |