A abstração principal de agregação no Spring Data MongoDB é - como o nome sugere -
Aggregation . Ele expõe uma API fluente para construir um pipeline usando operações de agregação. A partir da versão 1.6.0.M1, a
Aggregation classe tem um ….withOptions(…) método
para ser usado assim:Aggregation aggregation = newAggregation(…) // build up pipeline in here
.withOptions(newAggregationOptions().allowDiskUse(true).build());