search: add function for fetching multiple word entries by id at once

lib/search.dart

@@ -45,6 +45,12 @@ extension JaDBConnection on DatabaseExecutor {
   Future<WordSearchResult?> jadbGetWordById(int id) =>
       getWordByIdWithDbConnection(this, id);
 
+  /// Get a list of words by their IDs.
+  ///
+  /// IDs for which no result is found are omitted from the returned value.
+  Future<Map<int, WordSearchResult>> jadbGetManyWordsByIds(Set<int> ids) =>
+      getWordsByIdsWithDbConnection(this, ids);
+
   /// Search for a word in the database, and return the count of results.
   Future<int?> jadbSearchWordCount(
     String word, {

lib/search/word_search/word_search.dart

@@ -152,3 +152,45 @@ Future<WordSearchResult?> getWordByIdWithDbConnection(
 
   return result.firstOrNull;
 }
+
+Future<Map<int, WordSearchResult>> getWordsByIdsWithDbConnection(
+  DatabaseExecutor connection,
+  Set<int> ids,
+) async {
+  if (ids.isEmpty) {
+    return {};
+  }
+
+  final LinearWordQueryData linearWordQueryData =
+      await fetchLinearWordQueryData(connection, ids.toList());
+
+  final List<ScoredEntryId> entryIds = ids
+      .map((id) => ScoredEntryId(id, 0)) // Score is not used here
+      .toList();
+
+  final results = regroupWordSearchResults(
+    entryIds: entryIds,
+    readingElements: linearWordQueryData.readingElements,
+    kanjiElements: linearWordQueryData.kanjiElements,
+    jlptTags: linearWordQueryData.jlptTags,
+    commonEntries: linearWordQueryData.commonEntries,
+    senses: linearWordQueryData.senses,
+    senseAntonyms: linearWordQueryData.senseAntonyms,
+    senseDialects: linearWordQueryData.senseDialects,
+    senseFields: linearWordQueryData.senseFields,
+    senseGlossaries: linearWordQueryData.senseGlossaries,
+    senseInfos: linearWordQueryData.senseInfos,
+    senseLanguageSources: linearWordQueryData.senseLanguageSources,
+    senseMiscs: linearWordQueryData.senseMiscs,
+    sensePOSs: linearWordQueryData.sensePOSs,
+    senseRestrictedToKanjis: linearWordQueryData.senseRestrictedToKanjis,
+    senseRestrictedToReadings: linearWordQueryData.senseRestrictedToReadings,
+    senseSeeAlsos: linearWordQueryData.senseSeeAlsos,
+    exampleSentences: linearWordQueryData.exampleSentences,
+    readingElementInfos: linearWordQueryData.readingElementInfos,
+    readingElementRestrictions: linearWordQueryData.readingElementRestrictions,
+    kanjiElementInfos: linearWordQueryData.kanjiElementInfos,
+  );
+
+  return {for (var r in results) r.entryId: r};
+}