7374757677787980818283
{ currentInfo = new SpanFilterResult.PositionInfo(doc); tmp.add(currentInfo); currentDoc = doc; } currentInfo.addPosition(spans.start(), spans.end()); } return new SpanFilterResult(bits, tmp); }
259260261262263264265266267268269
} // collect span positions while (spans.next()) { spanPositions.add(new PositionSpan(spans.start(), spans.end() - 1)); } } if (spanPositions.size() == 0) {
266267268269270271272273274275276