(String prefix)
| 118 | out its children. |
| 119 | */ |
| 120 | public void dump(String prefix) |
| 121 | { |
| 122 | System.out.println(toString(prefix)); |
| 123 | if(children != null) |
| 124 | { |
| 125 | for(int i = 0; i < children.length; ++i) |
| 126 | { |
| 127 | SimpleNode n = (SimpleNode)children[i]; |
| 128 | if (n != null) |
| 129 | { |
| 130 | n.dump(prefix + " "); |
| 131 | } |
| 132 | } |
| 133 | } |
| 134 | } |
| 135 | |
| 136 | // ---- BeanShell specific stuff hereafter ---- // |
| 137 |