Код: Выделить всё
try (var cursor = query().fetchSize(1000).fetchLazy()) {
cursor.formatCSV(out);
}
Однако теперь мне нужно предварительно обработать записи таким образом, чтобы некоторые записи были разделены на множество.
Аналогично:
Код: Выделить всё
try (var stream = query().fetchSize(1000).stream()) {
stream
.mapMulti(...) //split the records as needed
.forEach(r -> r.formatCSV(out));
}
Как я могу решить эти проблемы?