CountingNodeVisitor v = new CountingNodeVisitor(max); v.visit(index); count = v.getEstimatedCount(); if (count >= max) { CountingNodeVisitor v = new CountingNodeVisitor(max); v.visit(s); count += v.getEstimatedCount();
CountingNodeVisitor v = new CountingNodeVisitor(max); v.visit(index); count = v.getEstimatedCount(); if (count >= max) { CountingNodeVisitor v = new CountingNodeVisitor(max); v.visit(s); count += v.getEstimatedCount();
CountingNodeVisitor v = new CountingNodeVisitor(max); v.visit(index); count = v.getEstimatedCount(); if (count >= max) { CountingNodeVisitor v = new CountingNodeVisitor(max); v.visit(s); count += v.getEstimatedCount();