@wildwinter/expr-editor 0.13.1 → 0.14.1

package/dist/index.d.cts

@@ -169,6 +169,16 @@ declare const choicesOf: (e: {
     enumValues?: string[];
     stages?: string[];
 } | null | undefined) => string[] | undefined;
+/** What a property PILL says on rollover: the purpose, and for a quality its
+ *  ladder (the one thing about a property whose order matters and which the
+ *  use site cannot otherwise show). The picker already displays purposes; this
+ *  is for the place an author actually meets a property, mid-expression.
+ *  Pure, so hosts and tests share one answer; the pill wires it as its title. */
+declare const propertyTip: (e: {
+    type: PropertyType;
+    purpose?: string;
+    stages?: string[];
+} | null | undefined) => string | undefined;
 interface Filter {
     acceptTypes?: PropertyType[];
     acceptScopes?: string[];
@@ -426,6 +436,16 @@ interface EffectsEditorOptions {
      *  inside a focus-trapping dialog so popovers do not dismiss it. Threaded to the
      *  target/event pickers here and to every inline value editor. */
     popoverContainer?: HTMLElement;
+    /** Host actions for a property pill, shown on right-click (e.g. go to
+     *  definition). Threaded to every inline value editor, and honoured by the
+     *  set rows' own target pills (resolved via the catalogue). */
+    propertyActions?(ref: {
+        scope: string;
+        name: string;
+    }): Array<{
+        label: string;
+        run: () => void;
+    }>;
     /** Emitted on every structural / value edit with the whole new list. */
     onChange: (effects: EditorEffect[]) => void;
 }
@@ -517,4 +537,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, flagDelta, flipContainerOp, formatNumber, getNodeAt, groupByScope, initialValueFor, insertSiblingClauseAt, isComparisonOp, isPlaceholderForOp, isWrappedInNot, issuesAt, lookup, mountEffectsEditor, mountExpressionEditor, moveAt, moveChildInContainer, needsParens, normaliseRef, notNode, numLit, opSwapGroup, pathKey, placeholderForOp, redirectDeleteForPlaceholderSibling, refOf, removeArgAt, removeAt, renderConditionPreview, renderEffectsPreview, rhsTypesFor, scopedVar, searchCatalogue, seedValueSrc, setArgAt, setNodeAt, strLit, 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, 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, toggleContainerNot, toggleNotAt, updateAt, validateSource, valueWizard, wrapInNotAt };

package/dist/index.d.ts

@@ -169,6 +169,16 @@ declare const choicesOf: (e: {
     enumValues?: string[];
     stages?: string[];
 } | null | undefined) => string[] | undefined;
+/** What a property PILL says on rollover: the purpose, and for a quality its
+ *  ladder (the one thing about a property whose order matters and which the
+ *  use site cannot otherwise show). The picker already displays purposes; this
+ *  is for the place an author actually meets a property, mid-expression.
+ *  Pure, so hosts and tests share one answer; the pill wires it as its title. */
+declare const propertyTip: (e: {
+    type: PropertyType;
+    purpose?: string;
+    stages?: string[];
+} | null | undefined) => string | undefined;
 interface Filter {
     acceptTypes?: PropertyType[];
     acceptScopes?: string[];
@@ -426,6 +436,16 @@ interface EffectsEditorOptions {
      *  inside a focus-trapping dialog so popovers do not dismiss it. Threaded to the
      *  target/event pickers here and to every inline value editor. */
     popoverContainer?: HTMLElement;
+    /** Host actions for a property pill, shown on right-click (e.g. go to
+     *  definition). Threaded to every inline value editor, and honoured by the
+     *  set rows' own target pills (resolved via the catalogue). */
+    propertyActions?(ref: {
+        scope: string;
+        name: string;
+    }): Array<{
+        label: string;
+        run: () => void;
+    }>;
     /** Emitted on every structural / value edit with the whole new list. */
     onChange: (effects: EditorEffect[]) => void;
 }
@@ -517,4 +537,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, flagDelta, flipContainerOp, formatNumber, getNodeAt, groupByScope, initialValueFor, insertSiblingClauseAt, isComparisonOp, isPlaceholderForOp, isWrappedInNot, issuesAt, lookup, mountEffectsEditor, mountExpressionEditor, moveAt, moveChildInContainer, needsParens, normaliseRef, notNode, numLit, opSwapGroup, pathKey, placeholderForOp, redirectDeleteForPlaceholderSibling, refOf, removeArgAt, removeAt, renderConditionPreview, renderEffectsPreview, rhsTypesFor, scopedVar, searchCatalogue, seedValueSrc, setArgAt, setNodeAt, strLit, 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, 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, toggleContainerNot, toggleNotAt, updateAt, validateSource, valueWizard, wrapInNotAt };

package/dist/index.js

@@ -286,6 +286,13 @@ var choicesOf = (e) => {
   if (e.type === "enum") return e.enumValues;
   return void 0;
 };
+var propertyTip = (e) => {
+  if (!e) return void 0;
+  const lines = [];
+  if (e.purpose) lines.push(e.purpose);
+  if (e.type === "quality" && e.stages?.length) lines.push(`Stages: ${e.stages.join(" \u2192 ")}`);
+  return lines.length ? lines.join("\n") : void 0;
+};
 var refOf = (e, defaultScope) => e.scope === defaultScope ? `@${e.name}` : `@${e.scope}.${e.name}`;
 var displayName = (e, defaultScope) => e.scope === defaultScope ? e.name : `${e.scope}.${e.name}`;
 function filterCatalogue(entries, filter = {}) {
@@ -420,6 +427,14 @@ function textField(opts) {
   setTimeout(() => input.focus(), 0);
   return wrap;
 }
+function propertyMenuBody(actions, close) {
+  const wrap = el("div", "exed-menu");
+  for (const a of actions) wrap.append(button("exed-opt", a.label, () => {
+    a.run();
+    close();
+  }));
+  return wrap;
+}
 
 // src/flat.ts
 var FLAG_FNS = /* @__PURE__ */ new Set(["check_flags", "set_flags"]);
@@ -457,7 +472,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 varPill = pill("var", label, (b) => variableEditor(ctx, path, node, b), { issue: issue ?? (entry ? void 0 : `Unknown property ${label}`) });
+      const varPill = pill(
+        "var",
+        label,
+        (b) => variableEditor(ctx, path, node, b),
+        { issue: issue ?? (entry ? void 0 : `Unknown property ${label}`), title: propertyTip(entry) }
+      );
       attachPropertyMenu(ctx, node, varPill);
       return varPill;
     }
@@ -533,14 +553,7 @@ function attachPropertyMenu(ctx, node, pillEl) {
   const open = ctx.openMenu ?? ctx.openPopover;
   pillEl.addEventListener("contextmenu", (e) => {
     e.preventDefault();
-    open(pillEl, (close) => {
-      const wrap = el("div", "exed-menu");
-      for (const a of actions) wrap.append(button("exed-opt", a.label, () => {
-        a.run();
-        close();
-      }));
-      return wrap;
-    });
+    open(pillEl, (close) => propertyMenuBody(actions, close));
   });
 }
 function isCompoundComparison(node, ctx) {
@@ -1550,6 +1563,7 @@ function mountEffectsEditor(host, opts) {
       valueField: true,
       ...addTerm ? { addTerm } : {},
       ...selfAdvanceRef ? { selfAdvanceRef } : {},
+      ...opts.propertyActions ? { propertyActions: opts.propertyActions } : {},
       ...opts.popoverContainer ? { popoverContainer: opts.popoverContainer } : {},
       text: textMode,
       onChange
@@ -1600,6 +1614,17 @@ function mountEffectsEditor(host, opts) {
         commit(updateAt(effects, i, { target: refOf(entry, defaultScope), value: initialValueFor(entry, defaultScope).src }));
       });
     }, "change the target property");
+    const targetEntry = opts.catalogue.find((e) => refOf(e, defaultScope) === eff.target);
+    const tip = propertyTip(targetEntry);
+    if (tip) targetBtn.title = tip;
+    if (targetEntry && opts.propertyActions) {
+      const actions = opts.propertyActions({ scope: targetEntry.scope, name: targetEntry.name });
+      if (actions.length) targetBtn.addEventListener("contextmenu", (e) => {
+        e.preventDefault();
+        closePopover();
+        popover = openPopover(targetBtn, (close) => propertyMenuBody(actions, close), { container: opts.popoverContainer });
+      });
+    }
     const advances = isSelfAdvance(eff, defaultScope, opts.dialect);
     row.append(targetBtn);
     if (!advances) row.append(el("span", "exed-effect-eq", ["="]));
@@ -1763,13 +1788,26 @@ function renderConditionPreview(src, o) {
   const cls = o.propertyActions ? "exed-preview exed-preview-interactive" : "exed-preview";
   return el("div", cls, [exprPills(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;
+  const tip = propertyTip(entry);
+  if (tip) pill2.title = tip;
+  const actions = o.propertyActions?.({ scope: entry.scope, name: entry.name }) ?? [];
+  if (actions.length) pill2.addEventListener("contextmenu", (e) => {
+    e.preventDefault();
+    openPopover(pill2, (close) => propertyMenuBody(actions, close), { container: o.popoverContainer });
+  });
+  return pill2;
+}
 function renderEffectsPreview(effects, o) {
-  const wrap = el("div", "exed-preview exed-preview-effects");
+  const wrap = el("div", `exed-preview exed-preview-effects${o.propertyActions ? " exed-preview-interactive" : ""}`);
   for (const eff of effects) {
     const row = el("div", "exed-preview-eff");
     if (eff.kind === "set") {
       const advances = isSelfAdvance(eff, o.dialect.defaultScope, o.dialect);
-      row.append(el("span", "exed-pill exed-pill-prop", [eff.target || "(property)"]));
+      row.append(targetPill(eff.target, o));
       if (!advances) row.append(el("span", "exed-effect-eq", ["="]));
       row.append(exprPills(eff.value, o, advances ? eff.target : void 0));
     } else {
@@ -1787,6 +1825,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, flagDelta, flipContainerOp, formatNumber, getNodeAt, groupByScope, initialValueFor, insertSiblingClauseAt, isComparisonOp, isPlaceholderForOp, isWrappedInNot, issuesAt, lookup, mountEffectsEditor, mountExpressionEditor, moveAt, moveChildInContainer, needsParens, normaliseRef, notNode, numLit, opSwapGroup, pathKey, placeholderForOp, redirectDeleteForPlaceholderSibling, refOf, removeArgAt, removeAt, renderConditionPreview, renderEffectsPreview, rhsTypesFor, scopedVar, searchCatalogue, seedValueSrc, setArgAt, setNodeAt, strLit, 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, 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, toggleContainerNot, toggleNotAt, updateAt, validateSource, valueWizard, wrapInNotAt };
 //# sourceMappingURL=index.js.map
 //# sourceMappingURL=index.js.map