+ public void dump(string indent)
+ {
+ print("%s%s\n",indent, this.asString());
+ if (this.items.size > 0) {
+
+ for (var i = 0;i < this.items.size; i++) {
+ print("%sITEMS[%d] [ \n",indent);
+ for (var j = 0;j < this.items[i].size; j++) {
+ this.items[i].dump(indent + " ");
+ }
+ }
+ print(outs);
+ }
+
+