Options Spring Data-MongoDb pour la méthode d'agrégation

L'abstraction d'agrégation de base dans Spring Data MongoDB est - comme son nom l'indique - Aggregation . Il expose une API fluide pour créer un pipeline à l'aide d'opérations d'agrégation.

Depuis la version 1.6.0.M1, l'Aggregation la classe a un ….withOptions(…) méthode à utiliser comme ceci :

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