@arsedizioni/ars-utils 22.5.15 → 22.5.17

package/fesm2022/arsedizioni-ars-utils-clipper.ui.mjs

@@ -1546,6 +1546,51 @@ class ClipperSearchResultManager extends ClipperDocumentManager {
         }
         this.documentUtils.openDocument(documentId, query, queryChunks, this.selectionMode(), undefined, this.themeService.getTheme(), this.canHandleTooManyResults());
     }
+    /**
+     * Freezes the parameters that produced the result set currently on screen. Paging and
+     * re-sorting must run against this copy, never against `filterParams`, which is bound to the
+     * filter pane and may hold edits the user has not applied yet.
+     * @param params - The parameters actually sent to the server for the current result set.
+     */
+    setActiveParams(params) {
+        this.activeParams = SystemUtils.clone(params);
+    }
+    /**
+     * Returns a working copy of the parameters that produced the result set currently on screen.
+     * @returns A clone of the active parameters, or `undefined` when no search has run yet.
+     */
+    getActiveParams() {
+        return this.activeParams ? SystemUtils.clone(this.activeParams) : undefined;
+    }
+    /**
+     * Builds the parameters needed to load a different page of the result set currently on screen.
+     * @param pageIndex - The zero-based index of the requested page.
+     * @returns A clone of the active parameters with the paging offset moved to `pageIndex`, or
+     *          `undefined` when no search has run yet.
+     */
+    getPageParams(pageIndex) {
+        const params = this.getActiveParams();
+        if (!params)
+            return undefined;
+        params.count = params.count ?? 15;
+        params.first = pageIndex * params.count;
+        return params;
+    }
+    /**
+     * Revives the date properties of a set of search parameters read back from storage, where JSON
+     * serialisation has turned them into strings.
+     * @param params - The deserialised parameters, or `undefined` when the stored state predates them.
+     * @returns The same instance with its date properties converted back to `Date`, or `undefined`.
+     */
+    reviveParamsDates(params) {
+        if (!params)
+            return undefined;
+        params.fromDate = SystemUtils.toLocalDate(params.fromDate);
+        params.toDate = SystemUtils.toLocalDate(params.toDate);
+        params.sourceFromDate = SystemUtils.toLocalDate(params.sourceFromDate);
+        params.sourceToDate = SystemUtils.toLocalDate(params.sourceToDate);
+        return params;
+    }
     ///
     // Restorable
     ///
@@ -1564,6 +1609,7 @@ class ClipperSearchResultManager extends ClipperDocumentManager {
             },
             facets: this.facets()?.save(),
             filterParams: this.filterParams,
+            activeParams: this.activeParams,
             scroll: this.scrollPos,
             sort: { mode: this.sortMode(), options: this.sortOptions() },
             data: this.snapshot
@@ -1583,6 +1629,7 @@ class ClipperSearchResultManager extends ClipperDocumentManager {
             const data = JSON.parse(value);
             if (data) {
                 this.filterParams = data.filterParams;
+                this.activeParams = this.reviveParamsDates(data.activeParams);
                 const modules = SystemUtils.clone(this.filterParams.modules);
                 const sectors = SystemUtils.clone(this.filterParams.sectors);
                 const authors = SystemUtils.clone(this.filterParams.authors);