/**
* A default constructor for the result set with a given instance of the result set. The
* constructor creates a clone of the given result set.
*
* @param resultSet The given result set.
*/
public CollectionResultSet(ResultSet resultSet) {
lock = new ReentrantLock();
resultSize = resultSet.getResultSize();
exactResultSize = resultSet.getExactResultSize();
docids = resultSet.getDocids();
scores = resultSet.getScores();
occurrences = resultSet.getOccurrences();
}
