/**
* {@inheritDoc}
*/
public FeedbackDocument[] getFeedbackDocuments(Request request)
{
final ResultSet rs = request.getResultSet();
if (rs.getResultSize() == 0)
return null;
final int[] docIDs = rs.getDocids();
final double[] scores = rs.getScores();
// if the number of retrieved documents is lower than the parameter
// EXPANSION_DOCUMENTS, reduce the number of documents for expansion
// to the number of retrieved documents.
final int effDocuments = Math.min(docIDs.length, ApplicationSetup.EXPANSION_DOCUMENTS);