sygnal 6.4.0 → 6.5.0

package/dist/diagnostics.cjs.js

@@ -272,6 +272,8 @@ const CODE_TITLES = {
     // checks/next.ts and sygnal-check: a component reference that is not a function (an import of
     // a name the module doesn't export is undefined under Vitest)
     SYG427: 'CHILD.select() of something that is not a component',
+    // 6.5.0 (checks/next.ts): state="a.b" / from="a.b" is a path; the parent state has a literal "a.b" key
+    SYG428: 'A state path that names a key containing a dot',
     // PLAN-9 (D470): checks/next.ts; dev entry
     SYG453: 'Two children with the same identity share one instance',
     SYG601: "Retired in 6.0: Missing or invalid sources",
@@ -480,6 +482,8 @@ const DEV_CODE_SEVERITY = {
     SYG426: 'warn',
     // checks/next.ts: CHILD.select(undefined), usually a missing export
     SYG427: 'error',
+    // checks/next.ts: a path designator that 6.4 read as one key with a dot
+    SYG428: 'warn',
     // PLAN-9 (checks/next.ts): D470 key identity, two children with one identity
     SYG453: 'warn',
     SYG612: 'error',
@@ -1153,25 +1157,44 @@ function checkCollection(component, el) {
             state = component.addCalculated(state);
     }
     catch (_) { }
-    let problem;
-    let fix = `Pass the name of an array field in ${name}'s state, e.g. <Collection of={${ofName}} from="items" />, and initialize that field to [] in initialState`;
-    // Every defined `from` (string field, lens object, or an invalid value) is reported by
-    // the core itself (SYG401/SYG412, retrofitted in 1E) in every diagnostics mode (D22), so
-    // this check only covers a missing `from`.
+    if (typeof from === 'string')
+        return checkFrom(component, name, from, ofName, state);
+    // a lens or an invalid value: the core's (SYG401 / SYG412)
     if (from !== undefined)
         return;
-    if (!Array.isArray(state) && !(state && Array.isArray(state.value))) {
-        problem = `has no 'from' prop, so it uses ${name}'s whole state, which is ${describe$1(state)}, not an array`;
-    }
-    if (!problem || !once(`SYG401:${name}:undefined`))
+    if (Array.isArray(state) || (state && Array.isArray(state.value)))
+        return;
+    if (!once(`SYG401:${name}:undefined`))
         return;
     reportSafely('SYG401', {
         component,
-        message: `<Collection of={${ofName}}> ${problem}, so it renders no items`,
-        fix,
+        message: `<Collection of={${ofName}}> has no 'from' prop, so it uses ${name}'s whole state, which is ${describe$1(state)}, not an array, so it renders no items`,
+        fix: `Pass the name of an array field in ${name}'s state, e.g. <Collection of={${ofName}} from="items" />, and initialize that field to [] in initialState`,
         data: { from: 'undefined', of: ofName },
     });
 }
+/** `from` a key or a path ('board.cards', 'boards[0].cards'), as the core reads it (cell.ts pathOf) */
+function checkFrom(component, name, from, ofName, state) {
+    const ks = from.replace(/\[(\d+)\]/g, '.$1').split('.');
+    const calc = component._calculatedFieldNames;
+    if (calc?.has?.(ks[0]))
+        return;
+    const at = ks.slice(0, -1).reduce((o, k) => (o == null ? o : o[k]), state), last = ks[ks.length - 1];
+    if (!isPlainObject(at) && !Array.isArray(at))
+        return; // a level still missing: renders once it appears (D178)
+    let message;
+    if (!(last in at)) {
+        const arrays = Object.keys(at).filter(k => Array.isArray(at[k]));
+        message = `Collection from="${from}" is not in state${arrays.length ? ` (array fields: '${arrays.join("', '")}')` : ''}; it renders nothing until it exists`;
+    }
+    else if (!Array.isArray(at[last]))
+        message = `Collection 'from' field '${from}' is not an array; it renders nothing`;
+    else
+        return;
+    if (!once(`SYG401:${name}:${from}`))
+        return;
+    reportSafely('SYG401', { component, message, fix: 'Set it to an array in initialState', data: { from, of: ofName } });
+}
 const WRAPPED = '__sygnalDiagWrapped';
 const collectionsCheck = {
     id: 'collections',
@@ -3736,6 +3759,22 @@ function removed(component, name, anchor, detail) {
         data: { form: anchor, guide: `${MIGRATE}#${anchor}`, ...(detail ? { detail } : {}) },
     });
 }
+/**
+ * SYG428 (6.5.0): `state="a.b"` / `from="a.b"` is a path, read as `state.a.b`. Before 6.5.0 it was
+ * one key named "a.b"; when the owner's state still has such a key, the designator now misses it.
+ */
+function dottedKey(f, what, designator, ownerState) {
+    if (typeof designator != 'string' || !/[.[]/.test(designator) || !isPlainObject(ownerState))
+        return;
+    if (!Object.prototype.hasOwnProperty.call(ownerState, designator) || !once(`SYG428:${f.name}:${designator}`))
+        return;
+    devReport('SYG428', {
+        component: f.name,
+        message: `${what}="${designator}" is a path (since 6.5.0), read as ${designator.replace(/\[(\d+)\]/g, '.$1').split('.').map((k) => `[${JSON.stringify(k)}]`).join('')}, but the state has a key named "${designator}"`,
+        fix: `Rename the key so it has no dot (and point ${what} at it), or use a lens: ${what}={{ get: (s) => s['${designator}'], set: (s, v) => ({ ...s, '${designator}': v }) }}`,
+        data: { designator, what },
+    });
+}
 /** SYG427: CHILD.select(x) with no component (an import of a name the module doesn't export) */
 function notComponent(f, x) {
     if (!once(`SYG427:${f.name}`))
@@ -4102,12 +4141,18 @@ function nextHooks(_api) {
     // G-527: one chain of SYG149 checks over the latest patches (G-501: it stops once every instance
     // that renders a named Collection is disposed, the app's dispose included)
     const vtCheck = vtChecker(() => vtp.size && on());
+    // SYG428: the live instances by id, to read a child's parent state
+    const live = new Map();
     return {
         onCreate(iv) {
+            live.set(iv.id, iv);
             if (!on())
                 return;
             log.onCreate(iv);
             const f = fac(iv);
+            const parent = live.get(iv.parentId);
+            if (parent)
+                dottedKey(f, `<${f.name} state`, iv.props?.state, parent.state);
             removedStatics(f);
             if (!iv.def.intent)
                 wire(iv, []);
@@ -4166,6 +4211,7 @@ function nextHooks(_api) {
         },
         onDispose(iv) {
             vtp.delete(iv);
+            live.delete(iv.id);
             H.onDispose(fac(iv));
         },
         onAction(iv, a) { log.onAction(iv, a); },
@@ -4213,6 +4259,7 @@ function nextHooks(_api) {
                 checkCollection(f, { data: { props } });
             }
             catch (_) { /* ignore */ }
+            dottedKey(f, `<${sel == 'collection' ? 'Collection' : 'VirtualCollection'} from`, props.from, owner.state);
             // G-419: SYG148 for a prefix that isn't an identifier; a valid one is checked for
             // duplicate names after each patch (SYG149). G-460: a falsy one names nothing (as the host)
             const p = props.viewTransitionName;