@myrmidon/gve-core 7.0.13 → 7.0.15

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@myrmidon/gve-core",
-  "version": "7.0.13",
+  "version": "7.0.15",
   "description": "Cadmus - GVE Angular frontend core components.",
   "keywords": [
     "GVE"
@@ -20,7 +20,7 @@
     "@cisstech/nge": "^18.3.0",
     "@myrmidon/ngx-mat-tools": "^2.0.0",
     "@myrmidon/ngx-tools": "^3.0.0",
-    "@myrmidon/gve-snapshot-rendition": "^2.0.5",
+    "@myrmidon/gve-snapshot-rendition": "^2.0.7",
     "gsap": "^3.15.0",
     "nanoid": "^5.1.16"
   },

package/types/myrmidon-gve-core.d.ts

@@ -411,6 +411,127 @@ declare class BaseTextEditorComponent {
     static ɵcmp: _angular_core.ɵɵComponentDeclaration<BaseTextEditorComponent, "gve-base-text-editor", never, { "text": { "alias": "text"; "required": true; "isSignal": true; }; "multiValuedFeatureIds": { "alias": "multiValuedFeatureIds"; "required": false; "isSignal": true; }; }, { "textChange": "textChange"; }, never, never, true, never>;
 }
 
+interface OpBaseTextRange extends BaseTextRange {
+    /**
+     * If true, the `at` property is treated as an index into the base
+     * text array.
+     */
+    atAsIndex?: boolean;
+}
+/**
+ * Base text peephole component. This shows a window of the base text,
+ * with a maximum number of characters, each with its text value and
+ * numeric ID similar to the BaseTextCharComponent. Users can scroll
+ * the window to "slide" the base text and see its surrounding characters,
+ * or double click to reset the window to its default position, where
+ * selected characters are centered.
+ */
+declare class BaseTextPeepholeComponent {
+    private _dragStartX;
+    private _dragStartWindowStart;
+    /**
+     * The total maximum number of characters to show in the window,
+     * including the selected characters and their surrounding context.
+     */
+    readonly windowWidth: _angular_core.InputSignal<number>;
+    /**
+     * The default size of the text in the peephole, in em units.
+     * The size of the number below the text is computed from this
+     * and it is smaller.
+     */
+    readonly emSize: _angular_core.InputSignal<number>;
+    /**
+     * The full base text.
+     */
+    readonly text: _angular_core.InputSignal<CharNode[]>;
+    /**
+     * The range of selected characters. If not set, the peephole will show the
+     * first character in the base text plus its surrounding context.
+     */
+    readonly selectedRange: _angular_core.InputSignal<OpBaseTextRange | null>;
+    /**
+     * The index of the first character shown in the window.
+     */
+    readonly windowStart: _angular_core.WritableSignal<number>;
+    /**
+     * True while the user is dragging the window to scroll it.
+     */
+    readonly isDragging: _angular_core.WritableSignal<boolean>;
+    /**
+     * The highest allowed value for windowStart, so that the window
+     * never scrolls past the end of the text.
+     */
+    private readonly maxWindowStart;
+    /**
+     * The characters currently visible in the window.
+     */
+    readonly visibleChars: _angular_core.Signal<CharNode[]>;
+    /**
+     * The count of characters hidden to the left of the window.
+     */
+    readonly hiddenLeftCount: _angular_core.Signal<number>;
+    /**
+     * The count of characters hidden to the right of the window.
+     */
+    readonly hiddenRightCount: _angular_core.Signal<number>;
+    /**
+     * The [start,end] indexes (inclusive) of the selection in the full
+     * text array, resolved from `selectedRange`, or null when there is
+     * no selection or it cannot be resolved.
+     */
+    private readonly selectedIndexRange;
+    constructor();
+    private resolveSelectionStartIndex;
+    private computeCenteredStart;
+    private setWindowStart;
+    /**
+     * True if the given index in the full text array is part of the
+     * current selection.
+     */
+    isSelected(index: number): boolean;
+    /**
+     * Computes the carousel scale of the character at the given position
+     * in the visible window, so that edge characters appear smaller than
+     * the ones at the center.
+     */
+    getScale(position: number): number;
+    /**
+     * Scrolls the window one character to the left.
+     */
+    scrollLeft(): void;
+    /**
+     * Scrolls the window one character to the right.
+     */
+    scrollRight(): void;
+    /**
+     * Recenters the window on the current selection (or on the start of
+     * the text, when there is no selection).
+     */
+    recenter(): void;
+    /**
+     * Handles arrow key navigation when the component has keyboard focus.
+     */
+    onKeyDown(event: KeyboardEvent): void;
+    /**
+     * Starts a drag-to-scroll interaction.
+     */
+    onPointerDown(event: PointerEvent): void;
+    /**
+     * Updates the window position while dragging.
+     */
+    onPointerMove(event: PointerEvent): void;
+    /**
+     * Ends a drag-to-scroll interaction.
+     */
+    onPointerUp(): void;
+    /**
+     * Recenters the window on double click.
+     */
+    onWindowDblClick(): void;
+    static ɵfac: _angular_core.ɵɵFactoryDeclaration<BaseTextPeepholeComponent, never>;
+    static ɵcmp: _angular_core.ɵɵComponentDeclaration<BaseTextPeepholeComponent, "gve-base-text-peephole", never, { "windowWidth": { "alias": "windowWidth"; "required": false; "isSignal": true; }; "emSize": { "alias": "emSize"; "required": false; "isSignal": true; }; "text": { "alias": "text"; "required": false; "isSignal": true; }; "selectedRange": { "alias": "selectedRange"; "required": false; "isSignal": true; }; }, {}, never, never, true, never>;
+}
+
 /**
  * Execution step of a char-based chain operation.
  */
@@ -770,6 +891,10 @@ interface FeatureDefinitions {
  * names, values, and properties.
  * - ▶️ `rangePatch` (`BaseTextRange`): when set, the edited operation's text
  * range (at and run) will be patched with the provided one.
+ * - ▶️ `precedingText` (`CharNode[]`): the text resulting from running the
+ * operations preceding the edited one, i.e. this operation's input text.
+ * Used to feed the at/run peephole preview. When not provided (e.g. not
+ * yet computed), the snapshot's base text is used instead.
  * - 🔥 `operationChange` (`CharChainOperation`): emitted when the operation
  * is changed.
  * - 🔥 `operationPreview` (`CharChainOperation`): emitted when the operation
@@ -835,6 +960,13 @@ declare class ChainOperationEditorComponent implements OnInit, OnDestroy {
      * Set when the edited operation's text range is to be patched.
      */
     readonly rangePatch: _angular_core.InputSignal<BaseTextRange | undefined>;
+    /**
+     * The text resulting from running the operations preceding the edited
+     * one, i.e. this operation's input text. Used to feed the at/run
+     * peephole preview shown next to the run field. When not provided
+     * (e.g. not yet computed), the snapshot's base text is used instead.
+     */
+    readonly precedingText: _angular_core.InputSignal<CharNode[] | undefined>;
     /**
      * The IDs of the features that are multi-valued. If a feature being
      * edited is in this list, the feature editor will allow adding multiple
@@ -866,6 +998,14 @@ declare class ChainOperationEditorComponent implements OnInit, OnDestroy {
     readonly editedElementId: _angular_core.WritableSignal<string | undefined>;
     readonly editedSource: _angular_core.WritableSignal<OperationSource | undefined>;
     readonly editedSourceIndex: _angular_core.WritableSignal<number>;
+    readonly peepholeWindowWidth: _angular_core.InputSignal<number>;
+    readonly peepholeRange: _angular_core.WritableSignal<OpBaseTextRange>;
+    /**
+     * The text to feed the at/run peephole preview: the preceding text
+     * (this operation's input) when available, otherwise the snapshot's
+     * base text.
+     */
+    readonly peepholeText: _angular_core.Signal<CharNode[]>;
     rank: FormControl<number>;
     groupId: FormControl<string | null>;
     features: FormControl<Feature[]>;
@@ -903,7 +1043,7 @@ declare class ChainOperationEditorComponent implements OnInit, OnDestroy {
     requestPreview(): void;
     save(): void;
     static ɵfac: _angular_core.ɵɵFactoryDeclaration<ChainOperationEditorComponent, never>;
-    static ɵcmp: _angular_core.ɵɵComponentDeclaration<ChainOperationEditorComponent, "gve-chain-operation-editor", never, { "operation": { "alias": "operation"; "required": false; "isSignal": true; }; "snapshot": { "alias": "snapshot"; "required": false; "isSignal": true; }; "hidePreview": { "alias": "hidePreview"; "required": false; "isSignal": true; }; "featureDefs": { "alias": "featureDefs"; "required": false; "isSignal": true; }; "rangePatch": { "alias": "rangePatch"; "required": false; "isSignal": true; }; "multiValuedFeatureIds": { "alias": "multiValuedFeatureIds"; "required": false; "isSignal": true; }; "sourceIds": { "alias": "sourceIds"; "required": false; "isSignal": true; }; "sourceTypes": { "alias": "sourceTypes"; "required": false; "isSignal": true; }; }, { "operation": "operationChange"; "operationPreview": "operationPreview"; "operationCancel": "operationCancel"; }, never, never, true, never>;
+    static ɵcmp: _angular_core.ɵɵComponentDeclaration<ChainOperationEditorComponent, "gve-chain-operation-editor", never, { "operation": { "alias": "operation"; "required": false; "isSignal": true; }; "snapshot": { "alias": "snapshot"; "required": false; "isSignal": true; }; "hidePreview": { "alias": "hidePreview"; "required": false; "isSignal": true; }; "featureDefs": { "alias": "featureDefs"; "required": false; "isSignal": true; }; "rangePatch": { "alias": "rangePatch"; "required": false; "isSignal": true; }; "precedingText": { "alias": "precedingText"; "required": false; "isSignal": true; }; "multiValuedFeatureIds": { "alias": "multiValuedFeatureIds"; "required": false; "isSignal": true; }; "sourceIds": { "alias": "sourceIds"; "required": false; "isSignal": true; }; "sourceTypes": { "alias": "sourceTypes"; "required": false; "isSignal": true; }; "peepholeWindowWidth": { "alias": "peepholeWindowWidth"; "required": false; "isSignal": true; }; }, { "operation": "operationChange"; "operationPreview": "operationPreview"; "operationCancel": "operationCancel"; }, never, never, true, never>;
 }
 
 /**
@@ -1315,6 +1455,7 @@ declare class SnapshotEditorComponent {
     readonly batchOpNumbers: _angular_core.WritableSignal<number[] | undefined>;
     readonly batchRangeLabel: _angular_core.WritableSignal<string | undefined>;
     readonly batchForSource: _angular_core.WritableSignal<boolean>;
+    readonly peepholeWindowWidth: _angular_core.WritableSignal<number>;
     constructor(formBuilder: FormBuilder, _api: GveApiService, _dialog: MatDialog, _dialogService: DialogService, _snackbar: MatSnackBar);
     /**
      * Initialize rendition settings and event listeners when the element becomes available.
@@ -1719,5 +1860,5 @@ declare class SettingsService {
     static ɵprov: _angular_core.ɵɵInjectableDeclaration<SettingsService>;
 }
 
-export { BaseTextCharComponent, BaseTextEditorComponent, BaseTextViewComponent, BatchOperationEditorComponent, ChainOperationEditorComponent, ChainResultViewComponent, FeatureEditorComponent, FeatureSetEditorComponent, FeatureSetPolicy, FeatureSetViewComponent, GveApiService, GveBaseTextService, GveGraphvizService, OperationSourceEditorComponent, OperationType, SettingsService, SnapshotEditorComponent, SnapshotTextEditorComponent, StepsMapComponent };
-export type { BaseTextChar, BaseTextCharEvent, BaseTextRange, ChainOperationContextStep, ChainOperationTags, CharChain, CharChainLink, CharChainNode, CharChainOperation, CharChainResult, CharNode, Feature, FeatureDefinitions, FeatureMap, FeaturePropMap, GraphvizRankdir, LabeledId, OperationFeature, OperationMetadata, OperationSource, PayloadMatDialogConfig, ResultWrapper, Snapshot, TreeNode };
+export { BaseTextCharComponent, BaseTextEditorComponent, BaseTextPeepholeComponent, BaseTextViewComponent, BatchOperationEditorComponent, ChainOperationEditorComponent, ChainResultViewComponent, FeatureEditorComponent, FeatureSetEditorComponent, FeatureSetPolicy, FeatureSetViewComponent, GveApiService, GveBaseTextService, GveGraphvizService, OperationSourceEditorComponent, OperationType, SettingsService, SnapshotEditorComponent, SnapshotTextEditorComponent, StepsMapComponent };
+export type { BaseTextChar, BaseTextCharEvent, BaseTextRange, ChainOperationContextStep, ChainOperationTags, CharChain, CharChainLink, CharChainNode, CharChainOperation, CharChainResult, CharNode, Feature, FeatureDefinitions, FeatureMap, FeaturePropMap, GraphvizRankdir, LabeledId, OpBaseTextRange, OperationFeature, OperationMetadata, OperationSource, PayloadMatDialogConfig, ResultWrapper, Snapshot, TreeNode };