@wildwinter/expr-editor 0.15.3 → 0.16.0

package/dist/index.d.cts

@@ -212,6 +212,16 @@ declare const displayName: (e: {
 declare function filterCatalogue(entries: readonly CatalogueEntry[], filter?: Filter): CatalogueEntry[];
 /** Filter by a case-insensitive query against the display name AND the purpose text. */
 declare function searchCatalogue(entries: readonly CatalogueEntry[], query: string, defaultScope: string): CatalogueEntry[];
+/** The tip on a pill naming another engine's property (see `otherEngineScopes`). */
+declare function otherEngineTip(label: string): string;
+/** What a property pill says about itself: an issue when the catalogue does not know it, unless its
+ *  scope is another engine's (that engine checks it), and the tip on hover. */
+declare function propertyPillNote(entry: CatalogueEntry | null | undefined, scope: string, label: string, otherEngineScopes?: readonly string[]): {
+    issue?: string;
+    title?: string;
+};
+/** The scope of a written reference (`@patter.gold` -> "patter"), or undefined for a bare `@name`. */
+declare function scopeOfRef(ref: string): string | undefined;
 /** Group entries by scope, scopes in `scopeOrder` first (then alphabetical), names sorted within. */
 declare function groupByScope(entries: readonly CatalogueEntry[], scopeOrder?: string[]): Array<{
     scope: string;
@@ -286,6 +296,8 @@ interface EditCtx {
     defaultScope: string;
     catalogue: CatalogueEntry[];
     scopeOrder: string[];
+    /** See ExpressionEditorOptions.otherEngineScopes. */
+    otherEngineScopes?: readonly string[];
     functions: FunctionTemplateSpec[];
     byPath: Map<string, ExpressionValidationIssue[]>;
     /** The current root AST (never null here; the empty/always state is handled by mount). */
@@ -347,6 +359,10 @@ interface ExpressionEditorOptions {
     catalogue: CatalogueEntry[];
     /** Scope display order for the picker groups. */
     scopeOrder?: string[];
+    /** Scopes another engine owns (a product family's shared vocabulary, such as `patter` in a
+     *  Storylets card): the catalogue never lists their names, and the other engine checks them, so a
+     *  reference into one renders as an ordinary property pill instead of an unknown one. */
+    otherEngineScopes?: readonly string[];
     /** Dialect-specific clause templates (beyond the generic property comparisons). */
     functions?: FunctionTemplateSpec[];
     /** "tree" (default) for conditions, "flat" for a single inline expression. */
@@ -439,6 +455,10 @@ interface EffectsEditorOptions {
     /** Properties the target picker + value editors offer. */
     catalogue: CatalogueEntry[];
     scopeOrder?: string[];
+    /** Scopes another engine owns (a product family's shared vocabulary, such as `patter` in a
+     *  Storylets card): the catalogue never lists their names, and the other engine checks them, so a
+     *  reference into one renders as an ordinary property pill instead of an unknown one. */
+    otherEngineScopes?: readonly string[];
     /** Dialect clause templates passed through to each value editor. */
     functions?: FunctionTemplateSpec[];
     /** Known host event names to suggest when adding an `emit` (optional). */
@@ -511,6 +531,10 @@ interface PreviewOptions {
     dialect: Dialect;
     catalogue: CatalogueEntry[];
     scopeOrder?: string[];
+    /** Scopes another engine owns (a product family's shared vocabulary, such as `patter` in a
+     *  Storylets card): the catalogue never lists their names, and the other engine checks them, so a
+     *  reference into one renders as an ordinary property pill instead of an unknown one. */
+    otherEngineScopes?: readonly string[];
     /** Resolve a node id to a readable label for seen()/visits() node pills. */
     nodeLabel?: (id: string) => string;
     /** Host actions for a property pill (e.g. "Go to definition"). When set, the
@@ -560,4 +584,4 @@ interface ValueWizardOptions {
 /** Build the wizard UI into a fresh element (drive it via the host's popover). */
 declare function valueWizard(opts: ValueWizardOptions): HTMLElement;
 
-export { ARITHMETIC_OPS, BINARY_LABEL, COMPARABLE_TYPES, COMPARISON_OPS, type CatalogueEntry, EQUALITY_OPS, type EditCtx, type EditorEffect, type EffectsEditorHandle, type EffectsEditorOptions, type ExpressionEditorHandle, type ExpressionEditorOptions, type Filter, type FunctionTemplateSpec, OP_WORD, type PreviewOptions, type TreeRow, UNARY_LABEL, type Validation, type ValueWizardOptions, type WizardSpec, type WizardStepSpec, type WizardValue, addArg, addChildToContainer, addEmit, addSet, advancedRef, astToTree, binary, boolLit, buildSubGroupClause, callNode, choicesOf, comparisonOpsFor, deleteAt, displayName, filterCatalogue, findChoicePeer, findEnumPeer, firstEmptyLeafPath, flagChangeSrc, flagDelta, flipContainerOp, formatNumber, getNodeAt, groupByScope, initialValueFor, insertSiblingClauseAt, isComparisonOp, isPlaceholderForOp, isWrappedInNot, issuesAt, lookup, mountEffectsEditor, mountExpressionEditor, moveAt, moveChildInContainer, needsParens, normaliseRef, notNode, numLit, opSwapGroup, pathKey, placeholderForOp, propertyTip, redirectDeleteForPlaceholderSibling, refOf, removeArgAt, removeAt, renderConditionPreview, renderEffectsPreview, rhsTypesFor, scopedVar, searchCatalogue, seedValueSrc, setArgAt, setNodeAt, strLit, targetRefOf, toggleContainerNot, toggleNotAt, updateAt, validateSource, valueWizard, wrapInNotAt };
+export { ARITHMETIC_OPS, BINARY_LABEL, COMPARABLE_TYPES, COMPARISON_OPS, type CatalogueEntry, EQUALITY_OPS, type EditCtx, type EditorEffect, type EffectsEditorHandle, type EffectsEditorOptions, type ExpressionEditorHandle, type ExpressionEditorOptions, type Filter, type FunctionTemplateSpec, OP_WORD, type PreviewOptions, type TreeRow, UNARY_LABEL, type Validation, type ValueWizardOptions, type WizardSpec, type WizardStepSpec, type WizardValue, addArg, addChildToContainer, addEmit, addSet, advancedRef, astToTree, binary, boolLit, buildSubGroupClause, callNode, choicesOf, comparisonOpsFor, deleteAt, displayName, filterCatalogue, findChoicePeer, findEnumPeer, firstEmptyLeafPath, flagChangeSrc, flagDelta, flipContainerOp, formatNumber, getNodeAt, groupByScope, initialValueFor, insertSiblingClauseAt, isComparisonOp, isPlaceholderForOp, isWrappedInNot, issuesAt, lookup, mountEffectsEditor, mountExpressionEditor, moveAt, moveChildInContainer, needsParens, normaliseRef, notNode, numLit, opSwapGroup, otherEngineTip, pathKey, placeholderForOp, propertyPillNote, propertyTip, redirectDeleteForPlaceholderSibling, refOf, removeArgAt, removeAt, renderConditionPreview, renderEffectsPreview, rhsTypesFor, scopeOfRef, scopedVar, searchCatalogue, seedValueSrc, setArgAt, setNodeAt, strLit, targetRefOf, toggleContainerNot, toggleNotAt, updateAt, validateSource, valueWizard, wrapInNotAt };

package/dist/index.d.ts

@@ -212,6 +212,16 @@ declare const displayName: (e: {
 declare function filterCatalogue(entries: readonly CatalogueEntry[], filter?: Filter): CatalogueEntry[];
 /** Filter by a case-insensitive query against the display name AND the purpose text. */
 declare function searchCatalogue(entries: readonly CatalogueEntry[], query: string, defaultScope: string): CatalogueEntry[];
+/** The tip on a pill naming another engine's property (see `otherEngineScopes`). */
+declare function otherEngineTip(label: string): string;
+/** What a property pill says about itself: an issue when the catalogue does not know it, unless its
+ *  scope is another engine's (that engine checks it), and the tip on hover. */
+declare function propertyPillNote(entry: CatalogueEntry | null | undefined, scope: string, label: string, otherEngineScopes?: readonly string[]): {
+    issue?: string;
+    title?: string;
+};
+/** The scope of a written reference (`@patter.gold` -> "patter"), or undefined for a bare `@name`. */
+declare function scopeOfRef(ref: string): string | undefined;
 /** Group entries by scope, scopes in `scopeOrder` first (then alphabetical), names sorted within. */
 declare function groupByScope(entries: readonly CatalogueEntry[], scopeOrder?: string[]): Array<{
     scope: string;
@@ -286,6 +296,8 @@ interface EditCtx {
     defaultScope: string;
     catalogue: CatalogueEntry[];
     scopeOrder: string[];
+    /** See ExpressionEditorOptions.otherEngineScopes. */
+    otherEngineScopes?: readonly string[];
     functions: FunctionTemplateSpec[];
     byPath: Map<string, ExpressionValidationIssue[]>;
     /** The current root AST (never null here; the empty/always state is handled by mount). */
@@ -347,6 +359,10 @@ interface ExpressionEditorOptions {
     catalogue: CatalogueEntry[];
     /** Scope display order for the picker groups. */
     scopeOrder?: string[];
+    /** Scopes another engine owns (a product family's shared vocabulary, such as `patter` in a
+     *  Storylets card): the catalogue never lists their names, and the other engine checks them, so a
+     *  reference into one renders as an ordinary property pill instead of an unknown one. */
+    otherEngineScopes?: readonly string[];
     /** Dialect-specific clause templates (beyond the generic property comparisons). */
     functions?: FunctionTemplateSpec[];
     /** "tree" (default) for conditions, "flat" for a single inline expression. */
@@ -439,6 +455,10 @@ interface EffectsEditorOptions {
     /** Properties the target picker + value editors offer. */
     catalogue: CatalogueEntry[];
     scopeOrder?: string[];
+    /** Scopes another engine owns (a product family's shared vocabulary, such as `patter` in a
+     *  Storylets card): the catalogue never lists their names, and the other engine checks them, so a
+     *  reference into one renders as an ordinary property pill instead of an unknown one. */
+    otherEngineScopes?: readonly string[];
     /** Dialect clause templates passed through to each value editor. */
     functions?: FunctionTemplateSpec[];
     /** Known host event names to suggest when adding an `emit` (optional). */
@@ -511,6 +531,10 @@ interface PreviewOptions {
     dialect: Dialect;
     catalogue: CatalogueEntry[];
     scopeOrder?: string[];
+    /** Scopes another engine owns (a product family's shared vocabulary, such as `patter` in a
+     *  Storylets card): the catalogue never lists their names, and the other engine checks them, so a
+     *  reference into one renders as an ordinary property pill instead of an unknown one. */
+    otherEngineScopes?: readonly string[];
     /** Resolve a node id to a readable label for seen()/visits() node pills. */
     nodeLabel?: (id: string) => string;
     /** Host actions for a property pill (e.g. "Go to definition"). When set, the
@@ -560,4 +584,4 @@ interface ValueWizardOptions {
 /** Build the wizard UI into a fresh element (drive it via the host's popover). */
 declare function valueWizard(opts: ValueWizardOptions): HTMLElement;
 
-export { ARITHMETIC_OPS, BINARY_LABEL, COMPARABLE_TYPES, COMPARISON_OPS, type CatalogueEntry, EQUALITY_OPS, type EditCtx, type EditorEffect, type EffectsEditorHandle, type EffectsEditorOptions, type ExpressionEditorHandle, type ExpressionEditorOptions, type Filter, type FunctionTemplateSpec, OP_WORD, type PreviewOptions, type TreeRow, UNARY_LABEL, type Validation, type ValueWizardOptions, type WizardSpec, type WizardStepSpec, type WizardValue, addArg, addChildToContainer, addEmit, addSet, advancedRef, astToTree, binary, boolLit, buildSubGroupClause, callNode, choicesOf, comparisonOpsFor, deleteAt, displayName, filterCatalogue, findChoicePeer, findEnumPeer, firstEmptyLeafPath, flagChangeSrc, flagDelta, flipContainerOp, formatNumber, getNodeAt, groupByScope, initialValueFor, insertSiblingClauseAt, isComparisonOp, isPlaceholderForOp, isWrappedInNot, issuesAt, lookup, mountEffectsEditor, mountExpressionEditor, moveAt, moveChildInContainer, needsParens, normaliseRef, notNode, numLit, opSwapGroup, pathKey, placeholderForOp, propertyTip, redirectDeleteForPlaceholderSibling, refOf, removeArgAt, removeAt, renderConditionPreview, renderEffectsPreview, rhsTypesFor, scopedVar, searchCatalogue, seedValueSrc, setArgAt, setNodeAt, strLit, targetRefOf, toggleContainerNot, toggleNotAt, updateAt, validateSource, valueWizard, wrapInNotAt };
+export { ARITHMETIC_OPS, BINARY_LABEL, COMPARABLE_TYPES, COMPARISON_OPS, type CatalogueEntry, EQUALITY_OPS, type EditCtx, type EditorEffect, type EffectsEditorHandle, type EffectsEditorOptions, type ExpressionEditorHandle, type ExpressionEditorOptions, type Filter, type FunctionTemplateSpec, OP_WORD, type PreviewOptions, type TreeRow, UNARY_LABEL, type Validation, type ValueWizardOptions, type WizardSpec, type WizardStepSpec, type WizardValue, addArg, addChildToContainer, addEmit, addSet, advancedRef, astToTree, binary, boolLit, buildSubGroupClause, callNode, choicesOf, comparisonOpsFor, deleteAt, displayName, filterCatalogue, findChoicePeer, findEnumPeer, firstEmptyLeafPath, flagChangeSrc, flagDelta, flipContainerOp, formatNumber, getNodeAt, groupByScope, initialValueFor, insertSiblingClauseAt, isComparisonOp, isPlaceholderForOp, isWrappedInNot, issuesAt, lookup, mountEffectsEditor, mountExpressionEditor, moveAt, moveChildInContainer, needsParens, normaliseRef, notNode, numLit, opSwapGroup, otherEngineTip, pathKey, placeholderForOp, propertyPillNote, propertyTip, redirectDeleteForPlaceholderSibling, refOf, removeArgAt, removeAt, renderConditionPreview, renderEffectsPreview, rhsTypesFor, scopeOfRef, scopedVar, searchCatalogue, seedValueSrc, setArgAt, setNodeAt, strLit, targetRefOf, toggleContainerNot, toggleNotAt, updateAt, validateSource, valueWizard, wrapInNotAt };

package/dist/index.js

@@ -307,6 +307,20 @@ function searchCatalogue(entries, query, defaultScope) {
   if (!q) return [...entries];
   return entries.filter((e) => displayName(e, defaultScope).toLowerCase().includes(q) || (e.purpose ?? "").toLowerCase().includes(q));
 }
+function otherEngineTip(label) {
+  return `${label} belongs to another engine, which checks it`;
+}
+function propertyPillNote(entry, scope, label, otherEngineScopes) {
+  if (entry) {
+    const title = propertyTip(entry);
+    return title ? { title } : {};
+  }
+  if (otherEngineScopes?.includes(scope)) return { title: otherEngineTip(label) };
+  return { issue: `Unknown property ${label}` };
+}
+function scopeOfRef(ref) {
+  return /^@([^.\s]+)\./.exec(ref)?.[1];
+}
 function groupByScope(entries, scopeOrder = []) {
   const byScope = /* @__PURE__ */ new Map();
   for (const e of entries) {
@@ -480,11 +494,12 @@ function renderNode(node, path, ctx, parentOp, side) {
     case "scopedvar": {
       const entry = lookup(ctx.catalogue, node.scope, node.name);
       const label = displayName({ scope: node.scope, name: node.name }, ctx.defaultScope);
+      const note = propertyPillNote(entry, node.scope, label, ctx.otherEngineScopes);
       const varPill = pill(
         "var",
         label,
         (b) => variableEditor(ctx, path, node, b),
-        { issue: issue ?? (entry ? void 0 : `Unknown property ${label}`), title: propertyTip(entry) }
+        { issue: issue ?? note.issue, title: note.title }
       );
       attachPropertyMenu(ctx, node, varPill);
       return varPill;
@@ -1165,6 +1180,7 @@ function mountExpressionEditor(host, opts) {
       catalogue: opts.catalogue,
       scopeOrder: opts.scopeOrder ?? [],
       functions: opts.functions ?? [],
+      ...opts.otherEngineScopes ? { otherEngineScopes: opts.otherEngineScopes } : {},
       byPath: v.byPath,
       getAst: () => ast,
       apply: (next) => emit(toSrc(next)),
@@ -1606,6 +1622,7 @@ function mountEffectsEditor(host, opts) {
       scopeOrder: opts.scopeOrder,
       functions: opts.functions,
       mode: "flat",
+      ...opts.otherEngineScopes ? { otherEngineScopes: opts.otherEngineScopes } : {},
       // Every editor here holds a VALUE (a set's value, an emit's argument), never a condition. Say
       // so, or emptying one falls back to the condition empty state and an outcome row reads
       // "always / + Add your first condition" - condition vocabulary, offering clauses where a value
@@ -1665,7 +1682,8 @@ function mountEffectsEditor(host, opts) {
       });
     }, "change the target property");
     const targetEntry = entryForTarget(opts.catalogue, eff.target, defaultScope);
-    const tip = propertyTip(targetEntry);
+    const targetScope = targetEntry ? void 0 : scopeOfRef(eff.target);
+    const tip = targetScope !== void 0 && opts.otherEngineScopes?.includes(targetScope) ? otherEngineTip(eff.target) : propertyTip(targetEntry);
     if (tip) targetBtn.title = tip;
     if (targetEntry && opts.propertyActions) {
       const actions = opts.propertyActions({ scope: targetEntry.scope, name: targetEntry.name });
@@ -1809,6 +1827,7 @@ function frozenCtx(src, o, selfAdvanceRef) {
     catalogue: o.catalogue,
     scopeOrder: o.scopeOrder ?? [],
     functions: [],
+    ...o.otherEngineScopes ? { otherEngineScopes: o.otherEngineScopes } : {},
     compact: true,
     byPath: v.byPath,
     getAst: () => v.ast,
@@ -1841,7 +1860,11 @@ function renderConditionPreview(src, o) {
 function targetPill(ref, o) {
   const pill2 = el("span", "exed-pill exed-pill-prop", [ref || "(property)"]);
   const entry = o.catalogue.find((e) => refOf(e, o.dialect.defaultScope) === ref);
-  if (!entry) return pill2;
+  if (!entry) {
+    const scope = scopeOfRef(ref);
+    if (scope !== void 0 && o.otherEngineScopes?.includes(scope)) pill2.title = otherEngineTip(ref);
+    return pill2;
+  }
   const tip = propertyTip(entry);
   if (tip) pill2.title = tip;
   const actions = o.propertyActions?.({ scope: entry.scope, name: entry.name }) ?? [];
@@ -1875,6 +1898,6 @@ function renderEffectsPreview(effects, o) {
   return wrap;
 }
 
-export { ARITHMETIC_OPS, BINARY_LABEL, COMPARABLE_TYPES, COMPARISON_OPS, EQUALITY_OPS, OP_WORD, UNARY_LABEL, addArg, addChildToContainer, addEmit, addSet, advancedRef, astToTree, binary, boolLit, buildSubGroupClause, callNode, choicesOf, comparisonOpsFor, deleteAt, displayName, filterCatalogue, findChoicePeer, findEnumPeer, firstEmptyLeafPath, flagChangeSrc, flagDelta, flipContainerOp, formatNumber, getNodeAt, groupByScope, initialValueFor, insertSiblingClauseAt, isComparisonOp, isPlaceholderForOp, isWrappedInNot, issuesAt, lookup, mountEffectsEditor, mountExpressionEditor, moveAt, moveChildInContainer, needsParens, normaliseRef, notNode, numLit, opSwapGroup, pathKey, placeholderForOp, propertyTip, redirectDeleteForPlaceholderSibling, refOf, removeArgAt, removeAt, renderConditionPreview, renderEffectsPreview, rhsTypesFor, scopedVar, searchCatalogue, seedValueSrc, setArgAt, setNodeAt, strLit, targetRefOf, toggleContainerNot, toggleNotAt, updateAt, validateSource, valueWizard, wrapInNotAt };
+export { ARITHMETIC_OPS, BINARY_LABEL, COMPARABLE_TYPES, COMPARISON_OPS, EQUALITY_OPS, OP_WORD, UNARY_LABEL, addArg, addChildToContainer, addEmit, addSet, advancedRef, astToTree, binary, boolLit, buildSubGroupClause, callNode, choicesOf, comparisonOpsFor, deleteAt, displayName, filterCatalogue, findChoicePeer, findEnumPeer, firstEmptyLeafPath, flagChangeSrc, flagDelta, flipContainerOp, formatNumber, getNodeAt, groupByScope, initialValueFor, insertSiblingClauseAt, isComparisonOp, isPlaceholderForOp, isWrappedInNot, issuesAt, lookup, mountEffectsEditor, mountExpressionEditor, moveAt, moveChildInContainer, needsParens, normaliseRef, notNode, numLit, opSwapGroup, otherEngineTip, pathKey, placeholderForOp, propertyPillNote, propertyTip, redirectDeleteForPlaceholderSibling, refOf, removeArgAt, removeAt, renderConditionPreview, renderEffectsPreview, rhsTypesFor, scopeOfRef, scopedVar, searchCatalogue, seedValueSrc, setArgAt, setNodeAt, strLit, targetRefOf, toggleContainerNot, toggleNotAt, updateAt, validateSource, valueWizard, wrapInNotAt };
 //# sourceMappingURL=index.js.map
 //# sourceMappingURL=index.js.map