288289290291292293294295296297298
DTM dtm = nl.getDTM(pos); int top = pos; while (DTM.NULL != pos) { rtreeHandler.flushPending(); ClonerToResultTree.cloneToResultTree(pos, dtm.getNodeType(pos), dtm, rtreeHandler, true); int nextNode = dtm.getFirstChild(pos);
291292293294295296297298299300301
254255256257258259260261262263264
{ Node top = pos; while (null != pos) { rtreeHandler.flushPending(); rtreeHandler.cloneToResultTree(pos, true); Node nextNode = pos.getFirstChild(); while (null == nextNode)
286287288289290291292293294295296