private void report(Node node) { reporter.startOfGroup(node.endSize - node.startSize, node.depth); for (int i = node.startSize; i < node.endSize; i++) { int start = tree.text.length() - list.get(i); int end = start + node.depth; reporter.part(start, end); } reporter.endOfGroup(); }
private void report(Node node) { reporter.startOfGroup(node.endSize - node.startSize, node.depth); for (int i = node.startSize; i < node.endSize; i++) { int start = tree.text.length() - list.get(i); int end = start + node.depth; reporter.part(start, end); } reporter.endOfGroup(); }