@motifx/compiler 1.0.1 → 1.2.0-rc.0

package/dist/index.esm.js

@@ -11,6 +11,7 @@ import htmlTags from 'html-tags';
 import svgTags from 'svg-tags';
 import * as generatorNs from '@babel/generator';
 import * as path from 'node:path';
+import { promises } from 'node:fs';
 import * as ts from 'typescript';
 import pPath from 'path';
 
@@ -483,12 +484,6 @@ const makeHtmlAttr = (prop, name, value, path) => {
         return t.objectProperty(t.stringLiteral(name), value || t.booleanLiteral(true));
     }
     else if (t.isArrowFunctionExpression(value) && value !== null) {
-        if (t.isBlockStatement(value.body)) {
-            t.functionExpression(null, value.params, value.body);
-        }
-        else {
-            t.functionExpression(null, value.params, t.blockStatement([t.returnStatement(value.body)]));
-        }
         return t.objectProperty(t.stringLiteral(name), value);
     }
     else if (t.isFunctionExpression(value)) {
@@ -713,33 +708,9 @@ const mergeHtmlAttributes = (htmlAttrlist) => {
 };
 const makeHtmlEvents = (prop, name, value, path) => {
     if (!t.isStringLiteral(value) && !t.isBooleanLiteral(value) && value !== null) {
-        if (t.isArrowFunctionExpression(value)) {
-            var el;
-            if (t.isBlockStatement(value.body)) {
-                el = t.arrowFunctionExpression(value.params, value.body);
-            }
-            else {
-                el = t.arrowFunctionExpression(value.params, t.blockStatement([t.returnStatement(value.body)]));
-            }
-            var evName = name.toLowerCase().replace("on", '').replace('doubleclick', 'dblclick');
-            return t.callExpression(t.identifier("sender.motif.on"), [t.stringLiteral(evName), el]);
-        }
-        else if (t.isFunctionExpression(value)) {
-            var el;
-            if (t.isBlockStatement(value.body)) {
-                el = t.functionExpression(null, value.params, value.body);
-            }
-            else {
-                el = t.functionExpression(null, value.params, t.blockStatement([t.returnStatement(value.body)]));
-            }
+        if (t.isExpression(value)) {
             var evName = name.toLowerCase().replace("on", '').replace('doubleclick', 'dblclick');
-            return t.callExpression(t.identifier("sender.motif.on"), [t.stringLiteral(evName), el]);
-        }
-        else {
-            if (t.isExpression(value)) {
-                var evName = name.toLowerCase().replace("on", '').replace('doubleclick', 'dblclick');
-                return t.callExpression(t.identifier("sender.motif.on"), [t.stringLiteral(evName), value]);
-            }
+            return t.callExpression(t.identifier("sender.motif.on"), [t.stringLiteral(evName), value]);
         }
     }
     else {
@@ -796,7 +767,10 @@ const ParentIfStatement = (path, state) => {
     else ;
     return state;
 };
-const returnIfStatement = (value, enableDefaultreturn = true, defaultLiteral = t.booleanLiteral(false)) => {
+const returnIfStatement = (value, enableDefaultreturn = true, defaultLiteral = t.booleanLiteral(false), callFunctions = false) => {
+    if (callFunctions && t.isFunctionExpression(value)) {
+        return value;
+    }
     var ifStatement = findIfStatements(value);
     var mx = t.binaryExpression('===', t.unaryExpression('typeof', value), t.stringLiteral('function'));
     var rtrn;
@@ -810,13 +784,15 @@ const returnIfStatement = (value, enableDefaultreturn = true, defaultLiteral = t
         }
     }
     else if (t.isMemberExpression(value) || t.isIdentifier(value)) {
-        rtrn = t.returnStatement(value);
+        rtrn = t.returnStatement(callFunctions
+            ? t.conditionalExpression(t.binaryExpression('===', t.unaryExpression('typeof', value), t.stringLiteral('function')), t.callExpression(value, []), value)
+            : value);
         var rtrns = t.ifStatement(ifStatement, t.blockStatement([rtrn]));
         if (enableDefaultreturn) {
-            return t.arrowFunctionExpression([], t.blockStatement([rtrns, t.returnStatement(defaultLiteral)]));
+            return cacheGuardCalls(t.arrowFunctionExpression([], t.blockStatement([rtrns, t.returnStatement(defaultLiteral)])), [value]);
         }
         else {
-            return t.arrowFunctionExpression([], t.blockStatement([rtrns]));
+            return cacheGuardCalls(t.arrowFunctionExpression([], t.blockStatement([rtrns])), [value]);
         }
     }
     else if (t.isFunctionExpression(value)) {
@@ -835,20 +811,20 @@ const returnIfStatement = (value, enableDefaultreturn = true, defaultLiteral = t
         var le = t.logicalExpression('&&', ifStatementA, ifStatementB);
         rtrn = t.returnStatement(value);
         if (enableDefaultreturn) {
-            return t.arrowFunctionExpression([], t.blockStatement([t.ifStatement(le, t.blockStatement([rtrn])), t.returnStatement(defaultLiteral)]));
+            return cacheGuardCalls(t.arrowFunctionExpression([], t.blockStatement([t.ifStatement(le, t.blockStatement([rtrn])), t.returnStatement(defaultLiteral)])), [value.left, value.right]);
         }
         else {
-            return t.arrowFunctionExpression([], t.blockStatement([t.ifStatement(le, t.blockStatement([rtrn]))]));
+            return cacheGuardCalls(t.arrowFunctionExpression([], t.blockStatement([t.ifStatement(le, t.blockStatement([rtrn]))])), [value.left, value.right]);
         }
     }
     else if (t.isCallExpression(value)) {
         rtrn = t.returnStatement(t.conditionalExpression(mx, t.callExpression(value, []), value));
         var rtrns = t.ifStatement(ifStatement, t.blockStatement([rtrn]));
         if (enableDefaultreturn) {
-            return t.arrowFunctionExpression([], t.blockStatement([rtrns, t.returnStatement(defaultLiteral)]));
+            return cacheGuardCalls(t.arrowFunctionExpression([], t.blockStatement([rtrns, t.returnStatement(defaultLiteral)])), [value]);
         }
         else {
-            return t.arrowFunctionExpression([], t.blockStatement([rtrns]));
+            return cacheGuardCalls(t.arrowFunctionExpression([], t.blockStatement([rtrns])), [value]);
         }
     }
     else {
@@ -918,6 +894,95 @@ const findIfStatements = (value) => {
     }
     return ifStatement;
 };
+const isEffectNode = (node) => t.isCallExpression(node) || t.isOptionalCallExpression(node) || t.isNewExpression(node) ||
+    t.isTaggedTemplateExpression(node) || t.isUpdateExpression(node) || t.isAssignmentExpression(node) ||
+    t.isAwaitExpression(node) || t.isYieldExpression(node);
+const hasEffect = (node) => {
+    if (!node || t.isFunction(node) || t.isClass(node))
+        return false;
+    if (isEffectNode(node))
+        return true;
+    for (const key of t.VISITOR_KEYS[node.type] ?? []) {
+        const child = node[key];
+        if (Array.isArray(child) ? child.some(c => hasEffect(c)) : hasEffect(child))
+            return true;
+    }
+    return false;
+};
+const guardCallLinks = (root, found) => {
+    if (!t.isExpression(root) || t.isFunction(root))
+        return;
+    if (!t.isIdentifier(root) && !t.isMemberExpression(root) && !t.isThisExpression(root) && !t.isLiteral(root) && hasEffect(root)) {
+        found.add(root);
+    }
+    if (t.isMemberExpression(root))
+        guardCallLinks(root.object, found);
+    else if (t.isCallExpression(root) && t.isExpression(root.callee))
+        guardCallLinks(root.callee, found);
+};
+const collectNames = (node, names) => {
+    if (!node)
+        return;
+    if (t.isIdentifier(node))
+        names.add(node.name);
+    for (const key of t.VISITOR_KEYS[node.type] ?? []) {
+        const child = node[key];
+        if (Array.isArray(child))
+            child.forEach(c => collectNames(c, names));
+        else
+            collectNames(child, names);
+    }
+};
+const cacheGuardCalls = (fn, roots) => {
+    if (!t.isBlockStatement(fn.body))
+        return fn;
+    const links = new Set();
+    roots.forEach(r => guardCallLinks(r, links));
+    if (links.size === 0)
+        return fn;
+    const used = new Set();
+    collectNames(fn, used);
+    const assigned = new Map();
+    let counter = 0;
+    const nextName = () => {
+        let name;
+        do {
+            name = `__r${++counter}`;
+        } while (used.has(name));
+        return name;
+    };
+    const rewrite = (node) => {
+        if (!node || typeof node !== 'object' || !node.type)
+            return node;
+        if (links.has(node)) {
+            const known = assigned.get(node);
+            if (known)
+                return t.identifier(known);
+            const name = nextName();
+            assigned.set(node, name);
+            return t.assignmentExpression('=', t.identifier(name), rewriteChildren(node));
+        }
+        if (t.isFunction(node) || t.isClass(node))
+            return node;
+        return rewriteChildren(node);
+    };
+    const rewriteChildren = (node) => {
+        const copy = t.cloneNode(node, false);
+        for (const key of t.VISITOR_KEYS[node.type] ?? []) {
+            const child = node[key];
+            copy[key] = Array.isArray(child) ? child.map(rewrite) : rewrite(child);
+        }
+        return copy;
+    };
+    const body = rewriteChildren(fn.body);
+    if (assigned.size === 0)
+        return fn;
+    const declaration = t.variableDeclaration('let', [...assigned.values()].map(name => t.variableDeclarator(t.identifier(name))));
+    body.body.unshift(declaration);
+    const result = t.cloneNode(fn, false);
+    result.body = body;
+    return result;
+};
 const makeDirectives = (prop, name, value, path, state) => {
     var result = null;
     if (value != null) {
@@ -956,7 +1021,7 @@ const makeDirectives = (prop, name, value, path, state) => {
                     }
                     else {
                         if (t.isExpression(value)) {
-                            result = t.expressionStatement(t.callExpression(t.identifier(callerName), [returnIfStatement(value, false)]));
+                            result = t.expressionStatement(t.callExpression(t.identifier(callerName), [returnIfStatement(value, false, t.booleanLiteral(false), true)]));
                         }
                     }
                 }
@@ -1038,7 +1103,7 @@ const makePreDirectives = (prop, name, value, path) => {
                 fail('MJX012', `Directive "${name}" does not accept an object literal.`, prop);
             }
             else if (t.isExpression(value)) {
-                result = t.expressionStatement(t.callExpression(t.identifier(callerName), [returnIfStatement(value, true, t.booleanLiteral(true))]));
+                result = t.expressionStatement(t.callExpression(t.identifier(callerName), [returnIfStatement(value, true, t.booleanLiteral(true), true)]));
             }
         }
         else {
@@ -1579,7 +1644,7 @@ const getProps = (props, path, state) => {
             refEntries.push({ prop, lowered: t.arrowFunctionExpression([t.identifier('sender')], t.blockStatement(body)) });
         }
         else if (t.isFunctionExpression(value) || t.isArrowFunctionExpression(value)) {
-            refEntries.push({ prop, lowered: t.arrowFunctionExpression(value.params, value.body) });
+            refEntries.push({ prop, lowered: t.arrowFunctionExpression(value.params, value.body, value.async) });
         }
         else if (t.isExpression(value)) {
             var cx = t.expressionStatement(value);
@@ -2212,7 +2277,7 @@ const mkText = (exp) => {
             var mx = t.binaryExpression('===', t.unaryExpression('typeof', exp), t.stringLiteral('function'));
             var rtrn = t.returnStatement(t.conditionalExpression(mx, t.callExpression(exp, []), t.arrowFunctionExpression([], exp)));
             var rtrns = t.ifStatement(ifStatement, t.blockStatement([rtrn]));
-            var kx = t.arrowFunctionExpression([], t.blockStatement([rtrns]));
+            var kx = cacheGuardCalls(t.arrowFunctionExpression([], t.blockStatement([rtrns])), [exp]);
             a1 = t.callExpression(id('sender.bindings.add'), [t.stringLiteral("textContent"), kx]);
         }
     }
@@ -2278,7 +2343,7 @@ const mkText = (exp) => {
             // var a1 = t.callExpression(id('sender.bind.logic'), [kx, exp.right]);
             var rtrns = t.ifStatement(ifStatement, t.blockStatement([t.returnStatement(exp.left)]));
             var tryStatement = t.tryStatement(t.blockStatement([rtrns]), t.catchClause(null, t.blockStatement([t.returnStatement(t.nullLiteral())])), null);
-            var kx = t.arrowFunctionExpression([], t.blockStatement([tryStatement]));
+            var kx = cacheGuardCalls(t.arrowFunctionExpression([], t.blockStatement([tryStatement])), [exp.left]);
             if (!t.isFunctionDeclaration(exp.right) && !t.isArrowFunctionExpression(exp.right)) {
                 t.ifStatement(t.identifier('__v'), t.blockStatement([t.returnStatement(exp.right)]), t.blockStatement([t.returnStatement(t.callExpression(t.identifier(motifComponent()), [t.objectExpression([])]))]));
                 exp.right = t.arrowFunctionExpression([t.identifier("__v")], t.blockStatement([t.returnStatement(exp.right)]));
@@ -2298,7 +2363,7 @@ const mkText = (exp) => {
         var mx = t.binaryExpression('===', t.unaryExpression('typeof', exp), t.stringLiteral('function'));
         var rtrn = t.returnStatement(t.conditionalExpression(mx, t.callExpression(exp, []), t.arrowFunctionExpression([], exp)));
         var rtrns = t.ifStatement(ifStatement, t.blockStatement([rtrn]));
-        var kx = t.arrowFunctionExpression([], t.blockStatement([rtrns]));
+        var kx = cacheGuardCalls(t.arrowFunctionExpression([], t.blockStatement([rtrns])), [exp]);
         a1 = t.callExpression(id('sender.bindings.add'), [t.stringLiteral("textContent"), kx]);
     }
     else {
@@ -2306,7 +2371,7 @@ const mkText = (exp) => {
         var mx = t.binaryExpression('===', t.unaryExpression('typeof', exp), t.stringLiteral('function'));
         var rtrn = t.returnStatement(t.conditionalExpression(mx, t.callExpression(exp, []), t.arrowFunctionExpression([], exp)));
         var rtrns = t.ifStatement(ifStatement, t.blockStatement([rtrn]));
-        var kx = t.arrowFunctionExpression([], t.blockStatement([rtrns]));
+        var kx = cacheGuardCalls(t.arrowFunctionExpression([], t.blockStatement([rtrns])), [exp]);
         a1 = t.callExpression(id('sender.bindings.add'), [t.stringLiteral("textContent"), kx]);
     }
     var arrayBody = t.arrowFunctionExpression([id('sender')], t.blockStatement([t.expressionStatement(a1)]));
@@ -2472,7 +2537,7 @@ function ParseComponent(path, state) {
                     // var rtrn = t.returnStatement(t.conditionalExpression(mx, t.callExpression(cx.left, []), t.arrowFunctionExpression([], cx.left)));
                     var rtrns = t.ifStatement(ifStatement, t.blockStatement([t.returnStatement(cx.left)]));
                     var tryStatement = t.tryStatement(t.blockStatement([rtrns]), t.catchClause(null, t.blockStatement([t.returnStatement(t.nullLiteral())])), null);
-                    var kx = t.arrowFunctionExpression([], t.blockStatement([tryStatement]));
+                    var kx = cacheGuardCalls(t.arrowFunctionExpression([], t.blockStatement([tryStatement])), [cx.left]);
                     if (!t.isFunctionDeclaration(cx.right) && !t.isArrowFunctionExpression(cx.right)) {
                         t.ifStatement(t.identifier('__v'), t.blockStatement([t.returnStatement(cx.right)]), t.blockStatement([t.returnStatement(t.callExpression(t.identifier(motifComponent()), [t.objectExpression([])]))]));
                         cx.right = t.arrowFunctionExpression([t.identifier("__v")], t.blockStatement([t.returnStatement(cx.right)]));
@@ -2617,7 +2682,7 @@ function ParseFrament(path, state) {
                     else {
                         var rtrnsPlain = t.ifStatement(ifStatement, t.blockStatement([t.returnStatement(exp.left)]));
                         var tryStatement = t.tryStatement(t.blockStatement([rtrnsPlain]), t.catchClause(null, t.blockStatement([t.returnStatement(t.nullLiteral())])), null);
-                        condFn = t.arrowFunctionExpression([], t.blockStatement([tryStatement]));
+                        condFn = cacheGuardCalls(t.arrowFunctionExpression([], t.blockStatement([tryStatement])), [exp.left]);
                     }
                     if (!t.isFunctionDeclaration(exp.right) && !t.isArrowFunctionExpression(exp.right)) {
                         exp.right = t.arrowFunctionExpression([t.identifier("val")], t.blockStatement([t.returnStatement(exp.right)]));
@@ -3063,12 +3128,9 @@ class Compiler {
                 },
                 function devOnlyStrip() {
                     let isDev = true;
-                    try {
-                        const flag = (0, eval)('typeof __MOTIF_DEV__ !== "undefined" ? __MOTIF_DEV__ : undefined');
-                        if (typeof flag === 'boolean')
-                            isDev = flag;
-                    }
-                    catch { /* ignore */ }
+                    const flag = globalThis.__MOTIF_DEV__;
+                    if (typeof flag === 'boolean')
+                        isDev = flag;
                     if (typeof process !== 'undefined' && process?.env?.MOTIF_DEV === 'false')
                         isDev = false;
                     const consumed = new WeakSet();
@@ -3129,11 +3191,492 @@ class Compiler {
     }
 }
 
+const SUPER_METHODS = ['build', 'setState', 'reState', 'setText', 'style', 'dispose', 'disposeAsync', 'using', 'doWork', 'getService', '$', 'useModel'];
+const SUPER_ACCESSORS = ['context', 'siblings', 'serviceProvider', 'isWait'];
+const CORE_COMPONENT_CLASSES = ['Component', 'ComponentBase', 'ContentBlock', 'ContentBody', 'FragmentNode', 'Frame', 'RouterLink', 'RouterView', 'Transport', 'TransportTo', 'Virtualization'];
+const coreComponents = new Set(CORE_COMPONENT_CLASSES);
+const superNames = new Set([...SUPER_METHODS, ...SUPER_ACCESSORS]);
+const quickMember = new RegExp(`(?:^|[\\s;{}])(?:async\\s+|get\\s+|set\\s+|override\\s+|public\\s+|protected\\s+)*(?:${[...superNames].map(n => n.replace('$', '\\$')).join('|')})\\s*\\(`, 'm');
+function mayHaveSuperOverrides(code) {
+    return /\bextends\b/.test(code) && quickMember.test(code);
+}
+function isCoreSource(source) {
+    return source === '@motifx/core' || source.startsWith('@motifx/core/');
+}
+function isCoreComponent(name) {
+    return coreComponents.has(name);
+}
+function parseModule(code, filename) {
+    const isTs = /\.[mc]?tsx?$/.test(filename);
+    const isTsx = /\.tsx$/.test(filename);
+    const plugins = isTs ? ['typescript', 'decorators-legacy', 'classProperties'] : ['jsx', 'decorators-legacy', 'classProperties'];
+    if (isTsx)
+        plugins.push('jsx');
+    try {
+        const ast = babel.parseSync(code, {
+            filename,
+            babelrc: false,
+            configFile: false,
+            browserslistConfigFile: false,
+            sourceType: 'unambiguous',
+            parserOpts: { plugins, errorRecovery: true },
+        });
+        return ast ?? null;
+    }
+    catch {
+        return null;
+    }
+}
+function isSuperMember(node, name) {
+    if (!node || !(t.isMemberExpression(node) || t.isOptionalMemberExpression(node)) || !t.isSuper(node.object))
+        return false;
+    if (!node.computed && t.isIdentifier(node.property))
+        return node.property.name === name;
+    return t.isStringLiteral(node.property) && node.property.value === name;
+}
+function directUse(node, name, use) {
+    if (use === 'call' && (t.isCallExpression(node) || t.isOptionalCallExpression(node))) {
+        const callee = node.callee;
+        if (isSuperMember(callee, name))
+            return true;
+        if ((t.isMemberExpression(callee) || t.isOptionalMemberExpression(callee)) && isSuperMember(callee.object, name)
+            && t.isIdentifier(callee.property) && (callee.property.name === 'call' || callee.property.name === 'apply'))
+            return true;
+    }
+    if (use === 'get' && isSuperMember(node, name))
+        return true;
+    if (use === 'set' && t.isAssignmentExpression(node) && isSuperMember(node.left, name))
+        return true;
+    return false;
+}
+function definitely(node, name, use) {
+    if (!node || typeof node !== 'object')
+        return false;
+    if (t.isFunction(node) || t.isClass(node))
+        return false;
+    if (directUse(node, name, use))
+        return true;
+    if (use === 'get' && t.isAssignmentExpression(node) && isSuperMember(node.left, name))
+        return definitely(node.right, name, use);
+    if (t.isLogicalExpression(node))
+        return definitely(node.left, name, use);
+    if (t.isConditionalExpression(node))
+        return definitely(node.test, name, use) || (definitely(node.consequent, name, use) && definitely(node.alternate, name, use));
+    if (t.isOptionalCallExpression(node) || t.isOptionalMemberExpression(node)) {
+        const head = t.isOptionalCallExpression(node) ? node.callee : node.object;
+        return definitely(head, name, use);
+    }
+    for (const key of t.VISITOR_KEYS[node.type] ?? []) {
+        const child = node[key];
+        if (Array.isArray(child) ? child.some(c => definitely(c, name, use)) : definitely(child, name, use))
+            return true;
+    }
+    return false;
+}
+function mentions(node, name, use) {
+    if (!node || typeof node !== 'object')
+        return false;
+    if (directUse(node, name, use))
+        return true;
+    if (t.isClass(node))
+        return false;
+    for (const key of t.VISITOR_KEYS[node.type] ?? []) {
+        const child = node[key];
+        if (Array.isArray(child) ? child.some(c => mentions(c, name, use)) : mentions(child, name, use))
+            return true;
+    }
+    return false;
+}
+const join = (a, b) => a === null ? b : b === null ? a : a && b;
+const GUARDS = {
+    build: ['isBuilt', 'isDisposed', 'isWait'],
+    dispose: ['isDisposed'],
+    disposeAsync: ['isDisposed'],
+};
+function isGuardTest(test, member) {
+    const allowed = GUARDS[member];
+    if (!allowed)
+        return false;
+    if (t.isLogicalExpression(test) && test.operator === '||')
+        return isGuardTest(test.left, member) && isGuardTest(test.right, member);
+    return t.isMemberExpression(test) && t.isThisExpression(test.object) && !test.computed && t.isIdentifier(test.property) && allowed.includes(test.property.name);
+}
+function isBareReturn(node) {
+    if (t.isReturnStatement(node))
+        return true;
+    return t.isBlockStatement(node) && node.body.length === 1 && t.isReturnStatement(node.body[0]);
+}
+function flow(node, called, name, use, member) {
+    const plain = (c) => ({ normal: c, returns: true, breaks: null, continues: null });
+    if (!node)
+        return plain(called);
+    const d = (e) => called || definitely(e, name, use);
+    if (t.isBlockStatement(node) || t.isProgram(node))
+        return block(node.body, called, name, use, member);
+    if (t.isExpressionStatement(node))
+        return plain(d(node.expression));
+    if (t.isVariableDeclaration(node))
+        return plain(called || node.declarations.some(x => definitely(x.init, name, use)));
+    if (t.isReturnStatement(node))
+        return { normal: null, returns: d(node.argument), breaks: null, continues: null };
+    if (t.isThrowStatement(node))
+        return { normal: null, returns: true, breaks: null, continues: null };
+    if (t.isBreakStatement(node))
+        return { normal: null, returns: true, breaks: called, continues: null };
+    if (t.isContinueStatement(node))
+        return { normal: null, returns: true, breaks: null, continues: called };
+    if (t.isIfStatement(node)) {
+        const tc = d(node.test);
+        if (!tc && isGuardTest(node.test, member) && isBareReturn(node.consequent)) {
+            const alt = node.alternate ? flow(node.alternate, tc, name, use, member) : plain(tc);
+            return { normal: alt.normal, returns: alt.returns, breaks: alt.breaks, continues: alt.continues };
+        }
+        const cons = flow(node.consequent, tc, name, use, member);
+        const alt = node.alternate ? flow(node.alternate, tc, name, use, member) : plain(tc);
+        return { normal: join(cons.normal, alt.normal), returns: cons.returns && alt.returns, breaks: join(cons.breaks, alt.breaks), continues: join(cons.continues, alt.continues) };
+    }
+    if (t.isWhileStatement(node) || t.isForStatement(node) || t.isForInStatement(node) || t.isForOfStatement(node)) {
+        let tc = called;
+        if (t.isForStatement(node))
+            tc = called || definitely(node.init, name, use) || definitely(node.test, name, use);
+        else if (t.isWhileStatement(node))
+            tc = d(node.test);
+        else
+            tc = d(node.right);
+        const body = flow(node.body, tc, name, use, member);
+        return { normal: join(tc, body.breaks), returns: body.returns, breaks: null, continues: null };
+    }
+    if (t.isDoWhileStatement(node)) {
+        const body = flow(node.body, called, name, use, member);
+        const afterBody = join(body.normal, body.continues);
+        const afterTest = afterBody === null ? null : afterBody || definitely(node.test, name, use);
+        return { normal: join(afterTest, body.breaks), returns: body.returns, breaks: null, continues: null };
+    }
+    if (t.isSwitchStatement(node)) {
+        const dc = d(node.discriminant);
+        let fall = null;
+        let returns = true;
+        let breaks = null;
+        let continues = null;
+        let hasDefault = false;
+        for (const c of node.cases) {
+            if (!c.test)
+                hasDefault = true;
+            const entry = join(fall, dc || definitely(c.test, name, use));
+            const out = entry === null ? null : block(c.consequent, entry, name, use, member);
+            if (out) {
+                returns = returns && out.returns;
+                breaks = join(breaks, out.breaks);
+                continues = join(continues, out.continues);
+                fall = out.normal;
+            }
+            else {
+                fall = null;
+            }
+        }
+        let normal = join(fall, breaks);
+        if (!hasDefault)
+            normal = join(normal, dc);
+        return { normal, returns, breaks: null, continues };
+    }
+    if (t.isTryStatement(node)) {
+        const tryOut = flow(node.block, called, name, use, member);
+        const catchOut = node.handler ? flow(node.handler.body, called, name, use, member) : null;
+        let normal = catchOut ? join(tryOut.normal, catchOut.normal) : tryOut.normal;
+        let returns = tryOut.returns && (catchOut ? catchOut.returns : true);
+        let breaks = catchOut ? join(tryOut.breaks, catchOut.breaks) : tryOut.breaks;
+        let continues = catchOut ? join(tryOut.continues, catchOut.continues) : tryOut.continues;
+        if (node.finalizer) {
+            const fin = flow(node.finalizer, false, name, use, member);
+            if (fin.normal === true) {
+                normal = normal === null ? null : true;
+                returns = true;
+                breaks = breaks === null ? null : true;
+                continues = continues === null ? null : true;
+            }
+            else if (fin.normal === null) {
+                return { normal: null, returns: returns && fin.returns, breaks: fin.breaks, continues: fin.continues };
+            }
+            returns = returns && fin.returns;
+        }
+        return { normal, returns, breaks, continues };
+    }
+    if (t.isLabeledStatement(node)) {
+        const body = flow(node.body, called, name, use, member);
+        return { normal: join(body.normal, body.breaks), returns: body.returns, breaks: null, continues: body.continues };
+    }
+    if (t.isFunctionDeclaration(node) || t.isClassDeclaration(node))
+        return plain(called);
+    let c = called;
+    for (const key of t.VISITOR_KEYS[node.type] ?? []) {
+        const child = node[key];
+        if (Array.isArray(child) ? child.some(x => definitely(x, name, use)) : definitely(child, name, use)) {
+            c = true;
+            break;
+        }
+    }
+    return plain(c);
+}
+function block(body, called, name, use, member) {
+    let state = called;
+    let returns = true;
+    let breaks = null;
+    let continues = null;
+    for (const s of body) {
+        if (state === null)
+            break;
+        const out = flow(s, state, name, use, member);
+        returns = returns && out.returns;
+        breaks = join(breaks, out.breaks);
+        continues = join(continues, out.continues);
+        state = out.normal;
+    }
+    return { normal: state, returns, breaks, continues };
+}
+function checkMemberBody(body, member, accessor) {
+    const use = accessor === 'method' ? 'call' : accessor;
+    if (!mentions(body, member, use))
+        return 'never';
+    const out = flow(body, false, member, use, member);
+    return out.normal !== false && out.returns ? 'ok' : 'path';
+}
+function memberName(m) {
+    const key = m.key;
+    if (m.computed)
+        return t.isStringLiteral(key) ? key.value : null;
+    if (t.isIdentifier(key))
+        return key.name;
+    if (t.isStringLiteral(key))
+        return key.value;
+    return null;
+}
+function analyzeModule(ast) {
+    const imports = new Map();
+    const classes = new Map();
+    const exportsMap = new Map();
+    const starSources = [];
+    const findings = [];
+    const classNodes = [];
+    const noteClass = (node, name) => {
+        if (name)
+            classes.set(name, node);
+        classNodes.push({ node, name: name ?? 'An anonymous class' });
+    };
+    const walk = (node, parent) => {
+        if (!node || typeof node !== 'object' || !node.type)
+            return;
+        if (t.isImportDeclaration(node)) {
+            for (const s of node.specifiers) {
+                if (t.isImportSpecifier(s))
+                    imports.set(s.local.name, { source: node.source.value, name: t.isIdentifier(s.imported) ? s.imported.name : s.imported.value });
+                else if (t.isImportDefaultSpecifier(s))
+                    imports.set(s.local.name, { source: node.source.value, name: 'default' });
+                else if (t.isImportNamespaceSpecifier(s))
+                    imports.set(s.local.name, { source: node.source.value, name: '*' });
+            }
+        }
+        else if (t.isExportNamedDeclaration(node)) {
+            if (node.source) {
+                for (const s of node.specifiers) {
+                    if (t.isExportSpecifier(s)) {
+                        const exported = t.isIdentifier(s.exported) ? s.exported.name : s.exported.value;
+                        exportsMap.set(exported, { from: node.source.value, imported: s.local.name });
+                    }
+                }
+            }
+            else {
+                for (const s of node.specifiers) {
+                    if (t.isExportSpecifier(s)) {
+                        const exported = t.isIdentifier(s.exported) ? s.exported.name : s.exported.value;
+                        exportsMap.set(exported, { local: s.local.name });
+                    }
+                }
+                const decl = node.declaration;
+                if (t.isClassDeclaration(decl) && decl.id)
+                    exportsMap.set(decl.id.name, { local: decl.id.name });
+                if (t.isVariableDeclaration(decl)) {
+                    for (const v of decl.declarations)
+                        if (t.isIdentifier(v.id))
+                            exportsMap.set(v.id.name, { local: v.id.name });
+                }
+            }
+        }
+        else if (t.isExportDefaultDeclaration(node)) {
+            const decl = node.declaration;
+            if (t.isClassDeclaration(decl)) {
+                const local = decl.id?.name ?? '*default*';
+                if (!decl.id)
+                    classes.set(local, decl);
+                exportsMap.set('default', { local });
+            }
+            else if (t.isIdentifier(decl)) {
+                exportsMap.set('default', { local: decl.name });
+            }
+        }
+        else if (t.isExportAllDeclaration(node)) {
+            starSources.push(node.source.value);
+        }
+        if (t.isClassDeclaration(node)) {
+            noteClass(node, node.id?.name ?? (t.isExportDefaultDeclaration(parent) ? '*default*' : null));
+        }
+        else if (t.isClassExpression(node)) {
+            const name = node.id?.name ?? (t.isVariableDeclarator(parent) && t.isIdentifier(parent.id) ? parent.id.name : null);
+            noteClass(node, name);
+        }
+        for (const key of t.VISITOR_KEYS[node.type] ?? []) {
+            const child = node[key];
+            if (Array.isArray(child))
+                child.forEach(c => walk(c, node));
+            else
+                walk(child, node);
+        }
+    };
+    walk(ast.program, null);
+    const baseOf = (cls, seen) => {
+        if (seen.has(cls))
+            return { kind: 'unknown' };
+        seen.add(cls);
+        const sup = cls.superClass;
+        if (t.isIdentifier(sup)) {
+            const imp = imports.get(sup.name);
+            if (imp && imp.name !== '*')
+                return { kind: 'import', source: imp.source, name: imp.name };
+            const local = classes.get(sup.name);
+            if (local)
+                return baseOf(local, seen);
+            return { kind: 'unknown' };
+        }
+        if (t.isMemberExpression(sup) && t.isIdentifier(sup.object) && !sup.computed && t.isIdentifier(sup.property)) {
+            const imp = imports.get(sup.object.name);
+            if (imp && imp.name === '*')
+                return { kind: 'import', source: imp.source, name: sup.property.name };
+        }
+        return { kind: 'unknown' };
+    };
+    for (const { node, name } of classNodes) {
+        if (!node.superClass)
+            continue;
+        let base;
+        for (const m of node.body.body) {
+            if (!(t.isClassMethod(m) || t.isClassPrivateMethod(m)) || m.static || t.isClassPrivateMethod(m))
+                continue;
+            if (m.kind === 'constructor')
+                continue;
+            const member = memberName(m);
+            if (!member || !superNames.has(member))
+                continue;
+            const accessor = m.kind === 'get' ? 'get' : m.kind === 'set' ? 'set' : 'method';
+            if (accessor === 'method' && !SUPER_METHODS.includes(member))
+                continue;
+            if (accessor !== 'method' && !SUPER_ACCESSORS.includes(member))
+                continue;
+            const result = checkMemberBody(m.body, member, accessor);
+            if (result === 'ok')
+                continue;
+            base ??= baseOf(node, new Set());
+            findings.push({
+                className: name === '*default*' ? 'The default-exported class' : name,
+                member,
+                accessor,
+                kind: result,
+                line: m.loc?.start.line ?? 0,
+                column: m.loc?.start.column ?? 0,
+                classLine: node.loc?.start.line ?? 0,
+                base,
+            });
+        }
+    }
+    return {
+        findings,
+        classBase(exportedOrLocal) {
+            const cls = classes.get(exportedOrLocal);
+            return cls ? baseOf(cls, new Set()) : null;
+        },
+        exportOf(name) {
+            return exportsMap.get(name) ?? null;
+        },
+        starSources,
+    };
+}
+function superCallMessage(f) {
+    const target = f.accessor === 'get' ? `read super.${f.member}` : f.accessor === 'set' ? `assign super.${f.member}` : `call super.${f.member}(…)`;
+    return f.kind === 'never'
+        ? `${f.className}.${f.member} overrides a ComponentBase member and does not ${target}; MotifJS relies on it. Rename the member, or ${target} on every path.`
+        : `${f.className}.${f.member} can finish without reaching super.${f.member} (a return, a branch, a loop or a catch skips it); MotifJS relies on it. ${target[0].toUpperCase() + target.slice(1)} on every path.`;
+}
+function createComponentResolver(resolve, read) {
+    const cache = new Map();
+    const shapes = new Map();
+    const shapeOf = (file) => {
+        let p = shapes.get(file);
+        if (!p) {
+            p = (async () => {
+                const code = await read(file);
+                if (code == null || code.length > 2_000_000)
+                    return null;
+                const ast = parseModule(code, file);
+                return ast ? analyzeModule(ast) : null;
+            })();
+            shapes.set(file, p);
+        }
+        return p;
+    };
+    const isComponentExport = (file, name, depth) => {
+        const key = `${file}#${name}`;
+        let p = cache.get(key);
+        if (!p) {
+            cache.set(key, Promise.resolve(false));
+            p = (async () => {
+                if (depth > 12)
+                    return false;
+                const shape = await shapeOf(file);
+                if (!shape)
+                    return false;
+                const exp = shape.exportOf(name);
+                if (exp?.from)
+                    return isComponentBase({ kind: 'import', source: exp.from, name: exp.imported ?? name }, file, depth + 1);
+                const local = exp?.local ?? (name === 'default' ? '*default*' : null);
+                if (local) {
+                    const base = shape.classBase(local);
+                    if (base)
+                        return isComponentBase(base, file, depth + 1);
+                    return false;
+                }
+                for (const star of shape.starSources) {
+                    if (await isComponentBase({ kind: 'import', source: star, name }, file, depth + 1))
+                        return true;
+                }
+                return false;
+            })();
+            cache.set(key, p);
+        }
+        return p;
+    };
+    const isComponentBase = async (base, importer, depth = 0) => {
+        if (base.kind !== 'import')
+            return false;
+        if (isCoreSource(base.source))
+            return isCoreComponent(base.name);
+        let file = null;
+        try {
+            file = await resolve(base.source, importer);
+        }
+        catch {
+            file = null;
+        }
+        if (!file)
+            return false;
+        return isComponentExport(file, base.name, depth);
+    };
+    return isComponentBase;
+}
+
 const fileRegex = /\.(jsx|tsx|aio|mjsx|mtsx)$/;
 const decoratorFileRegex = /\.(ts|mts|cts|js|mjs|cjs)$/;
 const declarationFileRegex = /\.d\.[mc]?ts$/;
 const decoratorSyntaxRegex = /(?:^|[\s(,;{}])@[A-Za-z_$]/;
 const assetQueryRegex = /(?:^|&)(?:raw|url|worker|sharedworker|inline)(?:[&=]|$)/;
+const analyzableFileRegex = /\.(jsx|tsx|mjsx|mtsx|ts|mts|cts|js|mjs|cjs)$/;
 function sourceFile(id) {
     if (id.charCodeAt(0) === 0)
         return null;
@@ -3154,6 +3697,41 @@ function shouldLowerDecorators(id, src) {
         return false;
     return decoratorSyntaxRegex.test(src);
 }
+function shouldCheckSuperCalls(id, src) {
+    const file = sourceFile(id);
+    if (file === null || !analyzableFileRegex.test(file) || declarationFileRegex.test(file))
+        return false;
+    if (file.replace(/\\/g, '/').includes('/node_modules/'))
+        return false;
+    return mayHaveSuperOverrides(src);
+}
+function lineFrame(src, line, column) {
+    const lines = src.split(/\r?\n/);
+    if (line < 1 || line > lines.length)
+        return undefined;
+    const from = Math.max(1, line - 1);
+    const to = Math.min(lines.length, line + 1);
+    const width = String(to).length;
+    const out = [];
+    for (let i = from; i <= to; i++) {
+        out.push(`${i === line ? '>' : ' '} ${String(i).padStart(width)} | ${lines[i - 1]}`);
+        if (i === line)
+            out.push(`  ${' '.repeat(width)} | ${' '.repeat(column)}^`);
+    }
+    return out.join('\n');
+}
+async function checkSuperCalls(src, file, isComponentBase) {
+    const ast = parseModule(src, file);
+    if (!ast)
+        return [];
+    const out = [];
+    for (const f of analyzeModule(ast).findings) {
+        if (!(await isComponentBase(f.base, file)))
+            continue;
+        out.push({ code: 'MJX015', message: superCallMessage(f), file, line: f.line, frame: lineFrame(src, f.line, f.column) });
+    }
+    return out;
+}
 function legacyDecoratorsChecker() {
     const byConfig = new Map();
     return (file) => {
@@ -3181,10 +3759,45 @@ function explainMatches(opt, id) {
 function vitePlugin(options = {}) {
     const showDiagnostics = options.diagnostics !== false;
     const usesLegacyDecorators = legacyDecoratorsChecker();
+    let context = null;
+    const makeResolver = () => createComponentResolver(async (source, importer) => {
+        if (!context?.resolve)
+            return null;
+        const r = await context.resolve(source, importer, { skipSelf: true });
+        if (!r || r.external)
+            return null;
+        return sourceFile(r.id);
+    }, async (file) => {
+        try {
+            return await promises.readFile(file, 'utf8');
+        }
+        catch {
+            return null;
+        }
+    });
+    let isComponentBase = makeResolver();
+    const pending = new Set();
     return {
         name: 'transform-file-motif-jsx',
         enforce: 'pre',
+        watchChange() {
+            isComponentBase = makeResolver();
+        },
+        handleHotUpdate() {
+            isComponentBase = makeResolver();
+        },
+        async buildEnd() {
+            await Promise.all([...pending]);
+        },
         transform(src, id) {
+            if (showDiagnostics && shouldCheckSuperCalls(id, src)) {
+                context = this;
+                const check = checkSuperCalls(src, sourceFile(id), isComponentBase)
+                    .then(found => { if (found.length > 0)
+                    printDiagnostics(found); }, () => { })
+                    .finally(() => { pending.delete(check); });
+                pending.add(check);
+            }
             if (shouldLowerDecorators(id, src)) {
                 if (usesLegacyDecorators(sourceFile(id)))
                     return;
@@ -3287,6 +3900,7 @@ function lintProgram(program, files) {
             continue;
         if (wanted && !wanted.has(normalize(sf.fileName)))
             continue;
+        out.push(...superCallFindings(sf, checker));
         if (!/\.(tsx|jsx|mtsx|mjsx)$/.test(sf.fileName))
             continue;
         const visit = (node) => {
@@ -3342,6 +3956,60 @@ function lintProgram(program, files) {
     }
     return out;
 }
+const coreDeclarationFile = /[\\/](?:@motifx[\\/]core|motifjs[\\/](?:dist|src))[\\/]/;
+function derivesFromComponentBase(node, checker) {
+    try {
+        let type = checker.getTypeAtLocation(node);
+        const seen = new Set();
+        const queue = type ? [type] : [];
+        while (queue.length > 0) {
+            type = queue.shift();
+            const target = (type.target ?? type);
+            if (seen.has(target))
+                continue;
+            seen.add(target);
+            const sym = target.getSymbol();
+            if (sym && sym.getName() === 'ComponentBase' && sym.declarations?.some(d => coreDeclarationFile.test(d.getSourceFile().fileName)))
+                return true;
+            if (!(target.objectFlags & (ts.ObjectFlags.Class | ts.ObjectFlags.Interface)))
+                continue;
+            for (const b of checker.getBaseTypes(target) ?? [])
+                queue.push(b);
+        }
+    }
+    catch { }
+    return false;
+}
+function superCallFindings(sf, checker) {
+    if (!mayHaveSuperOverrides(sf.text))
+        return [];
+    const ast = parseModule(sf.text, sf.fileName);
+    if (!ast)
+        return [];
+    const findings = analyzeModule(ast).findings;
+    if (findings.length === 0)
+        return [];
+    const membersByLine = new Map();
+    const collect = (n) => {
+        if ((ts.isMethodDeclaration(n) || ts.isGetAccessorDeclaration(n) || ts.isSetAccessorDeclaration(n)) && (ts.isClassDeclaration(n.parent) || ts.isClassExpression(n.parent))) {
+            const name = n.name && (ts.isIdentifier(n.name) || ts.isStringLiteral(n.name)) ? n.name.text : '';
+            const lines = [n.getStart(sf), n.name.getStart(sf)].map(p => sf.getLineAndCharacterOfPosition(p).line + 1);
+            for (const l of lines)
+                membersByLine.set(`${l}:${name}`, n);
+        }
+        ts.forEachChild(n, collect);
+    };
+    collect(sf);
+    const out = [];
+    for (const f of findings) {
+        const member = membersByLine.get(`${f.line}:${f.member}`);
+        const cls = member?.parent;
+        if (!member || !cls || !derivesFromComponentBase(cls, checker))
+            continue;
+        out.push({ code: 'MJX015', file: sf.fileName, line: f.line, message: superCallMessage(f), frame: codeFrame(sf, member) });
+    }
+    return out;
+}
 /** tsconfig'den program kurup denetler. CLI bunu kullanır. */
 function lintProject(options = {}) {
     const projectPath = options.project ?? 'tsconfig.json';