@weave-framework/compiler 0.2.0

package/dist/infer.js

@@ -0,0 +1,113 @@
+/**
+ * Auto-scope inference: walk a template AST and return the names that should
+ * resolve to component data (`ctx.*`). Every free identifier in every template
+ * expression qualifies, minus JS globals (handled in {@link freeIdentifiers})
+ * and minus names a block *declares* — `@for` items + implicit `$` vars, `@let`
+ * names, `@if (… as alias)` — since those are bound locally (and, for `@for`
+ * `track`, used as real arrow params against the parent scope).
+ *
+ * Lexical and intentionally simple; M8 replaces it with TS-AST resolution.
+ */
+import { freeIdentifiers } from './scope.js';
+const FOR_VARS = ['$index', '$count', '$first', '$last', '$even', '$odd'];
+export function inferCtxNames(nodes) {
+    const used = new Set();
+    const declared = new Set();
+    const add = (expr) => {
+        if (expr)
+            for (const id of freeIdentifiers(expr))
+                used.add(id);
+    };
+    const walk = (list) => {
+        for (const node of list) {
+            switch (node.type) {
+                case 'text':
+                    break;
+                case 'interp':
+                    add(node.expr);
+                    break;
+                case 'let':
+                    add(node.expr);
+                    declared.add(node.name);
+                    break;
+                case 'element':
+                    for (const attr of node.attrs) {
+                        if (attr.type === 'use')
+                            add(attr.name); // the action identifier resolves to ctx
+                        if (attr.type === 'transition')
+                            add(attr.name); // the transition fn resolves to ctx
+                        if (attr.type !== 'static')
+                            add(attr.expr);
+                    }
+                    walk(node.children);
+                    break;
+                case 'if':
+                    for (const br of node.branches) {
+                        add(br.cond);
+                        if (br.alias)
+                            declared.add(br.alias);
+                        walk(br.children);
+                    }
+                    break;
+                case 'for':
+                    add(node.list);
+                    add(node.track);
+                    declared.add(node.item);
+                    for (const v of FOR_VARS)
+                        declared.add(v);
+                    walk(node.children);
+                    if (node.empty)
+                        walk(node.empty);
+                    break;
+                case 'switch':
+                    add(node.expr);
+                    for (const c of node.cases) {
+                        add(c.test);
+                        walk(c.children);
+                    }
+                    break;
+                case 'defer':
+                    if (node.trigger.kind === 'when')
+                        add(node.trigger.expr);
+                    if (node.trigger.kind === 'timer')
+                        add(node.trigger.ms);
+                    walk(node.children);
+                    if (node.placeholder)
+                        walk(node.placeholder);
+                    break;
+                case 'await':
+                    add(node.expr);
+                    if (node.pending)
+                        walk(node.pending);
+                    if (node.then) {
+                        if (node.then.alias)
+                            declared.add(node.then.alias);
+                        walk(node.then.children);
+                    }
+                    if (node.catch) {
+                        if (node.catch.alias)
+                            declared.add(node.catch.alias);
+                        walk(node.catch.children);
+                    }
+                    break;
+                case 'snippet':
+                    // the snippet name + its params are template-locals, not ctx
+                    declared.add(node.name);
+                    for (const p of node.params)
+                        declared.add(p);
+                    walk(node.children);
+                    break;
+                case 'render':
+                    add(node.expr); // the snippet name is subtracted via `declared`
+                    break;
+                case 'key':
+                    add(node.expr);
+                    walk(node.children);
+                    break;
+            }
+        }
+    };
+    walk(nodes);
+    return [...used].filter((n) => !declared.has(n)).sort();
+}
+//# sourceMappingURL=infer.js.map

package/dist/infer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"infer.js","sourceRoot":"","sources":["../src/infer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAE7C,MAAM,QAAQ,GAAa,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;AAEpF,MAAM,UAAU,aAAa,CAAC,KAAqB;IACjD,MAAM,IAAI,GAAgB,IAAI,GAAG,EAAU,CAAC;IAC5C,MAAM,QAAQ,GAAgB,IAAI,GAAG,EAAU,CAAC;IAEhD,MAAM,GAAG,GAAG,CAAC,IAAwB,EAAQ,EAAE;QAC7C,IAAI,IAAI;YAAE,KAAK,MAAM,EAAE,IAAI,eAAe,CAAC,IAAI,CAAC;gBAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACjE,CAAC,CAAC;IAEF,MAAM,IAAI,GAAG,CAAC,IAAoB,EAAQ,EAAE;QAC1C,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;YACxB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;gBAClB,KAAK,MAAM;oBACT,MAAM;gBACR,KAAK,QAAQ;oBACX,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACf,MAAM;gBACR,KAAK,KAAK;oBACR,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACf,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACxB,MAAM;gBACR,KAAK,SAAS;oBACZ,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;wBAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;4BAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,wCAAwC;wBACjF,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY;4BAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,oCAAoC;wBACpF,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;4BAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBAC7C,CAAC;oBACD,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;oBACpB,MAAM;gBACR,KAAK,IAAI;oBACP,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;wBAC/B,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;wBACb,IAAI,EAAE,CAAC,KAAK;4BAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;wBACrC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;oBACpB,CAAC;oBACD,MAAM;gBACR,KAAK,KAAK;oBACR,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACf,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;oBAChB,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACxB,KAAK,MAAM,CAAC,IAAI,QAAQ;wBAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;oBAC1C,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;oBACpB,IAAI,IAAI,CAAC,KAAK;wBAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;oBACjC,MAAM;gBACR,KAAK,QAAQ;oBACX,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACf,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;wBAC3B,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;wBACZ,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;oBACnB,CAAC;oBACD,MAAM;gBACR,KAAK,OAAO;oBACV,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM;wBAAE,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;oBACzD,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,OAAO;wBAAE,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;oBACxD,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;oBACpB,IAAI,IAAI,CAAC,WAAW;wBAAE,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;oBAC7C,MAAM;gBACR,KAAK,OAAO;oBACV,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACf,IAAI,IAAI,CAAC,OAAO;wBAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBACrC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;wBACd,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK;4BAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;wBACnD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;oBAC3B,CAAC;oBACD,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;wBACf,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK;4BAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;wBACrD,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;oBAC5B,CAAC;oBACD,MAAM;gBACR,KAAK,SAAS;oBACZ,6DAA6D;oBAC7D,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACxB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM;wBAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;oBAC7C,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;oBACpB,MAAM;gBACR,KAAK,QAAQ;oBACX,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,gDAAgD;oBAChE,MAAM;gBACR,KAAK,KAAK;oBACR,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACf,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;oBACpB,MAAM;YACV,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IAEF,IAAI,CAAC,KAAK,CAAC,CAAC;IACZ,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AAC1D,CAAC"}

package/dist/parser.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Weave template parser — hand-written, zero dependencies.
+ *
+ * Parses an HTML-like template into a {@link TemplateNode} tree. Handles
+ * elements, text, `{{ expr }}` interpolation, and the binding attribute forms
+ * (`name={expr}`, `.prop={expr}`, `on:evt|mod={expr}`, `class:name={expr}`,
+ * `bind:name={expr}`, `ref={expr}`). Control-flow blocks (`@if`/`@for`) are
+ * added in M4; this parser deliberately treats a leading `@` as an error so the
+ * gap is explicit rather than silently mis-parsed.
+ */
+import type { TemplateNode } from './ast.js';
+export declare class ParseError extends Error {
+}
+export declare function parseTemplate(input: string): TemplateNode[];
+//# sourceMappingURL=parser.d.ts.map

package/dist/parser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../src/parser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EACV,YAAY,EAGb,MAAM,UAAU,CAAC;AAUlB,qBAAa,UAAW,SAAQ,KAAK;CAAG;AAQxC,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,YAAY,EAAE,CAI3D"}