Spring Data-MongoDb Opzioni per il metodo di aggregazione

L'astrazione dell'aggregazione principale in Spring Data MongoDB è, come suggerisce il nome, Aggregation . Espone un'API fluida per creare una pipeline utilizzando operazioni di aggregazione.

A partire dalla versione 1.6.0.M1 l'Aggregation la classe ha un ….withOptions(…) metodo da usare in questo modo:

Aggregation aggregation = newAggregation(…) // build up pipeline in here
  .withOptions(newAggregationOptions().allowDiskUse(true).build());