109110111112113114115
throw new XQRTException("Failed grouping", e); } this._shuffler = null; } GroupingIterator itor = new GroupingIterator(_map, _dynEnv); return new Focus(this, itor, _dynEnv); }
90919293949596
_sorter.sort(); } catch (XQueryException e) { throw new XQRTException(e); } KeyStrippingIterator itor = new KeyStrippingIterator(_items, _orderSpecs); return new Focus(this, itor, _dynEnv); // FIXME }