homegraph 1.5.2 → 1.5.4

package/dist/resolution/callback-synthesizer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"callback-synthesizer.d.ts","sourceRoot":"","sources":["../../src/resolution/callback-synthesizer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,OAAO,KAAK,EAAE,IAAI,EAAkB,MAAM,UAAU,CAAC;AACrD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,SAAS,CAAC;AAWjD,OAAO,EAAiB,KAAK,UAAU,EAAE,MAAM,qBAAqB,CAAC;AA64GrE,mGAAmG;AACnG,KAAK,OAAO,GAAG,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,KAAK,OAAO,CAAC;AAE5C;;;;;;;GAOG;AACH,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,CAAC,GAAG,EAAE,OAAO,KAAK,OAAO,CAAC;IAChC,GAAG,EAAE,CACH,OAAO,EAAE,YAAY,EACrB,GAAG,EAAE,iBAAiB,EACtB,WAAW,EAAE,UAAU,EACvB,WAAW,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,IAAI,KACrC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;CACtB;AAsGD;;;;;;GAMG;AACH,eAAO,MAAM,YAAY,EAAE,YAAY,EAiEtC,CAAC;AAIF,eAAO,MAAM,oBAAoB,QAA0C,CAAC;AAC5E,wBAAsB,uBAAuB,CAC3C,OAAO,EAAE,YAAY,EACrB,GAAG,EAAE,iBAAiB,EACtB,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,IAAI,EAIlD,IAAI,CAAC,EAAE;IAAE,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,EAInG,YAAY,CAAC,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,EAGzC,MAAM,CAAC,EAAE,MAAM,GACd,OAAO,CAAC,MAAM,CAAC,CAwOjB"}
+{"version":3,"file":"callback-synthesizer.d.ts","sourceRoot":"","sources":["../../src/resolution/callback-synthesizer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,OAAO,KAAK,EAAE,IAAI,EAAkB,MAAM,UAAU,CAAC;AACrD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,SAAS,CAAC;AAWjD,OAAO,EAAiB,KAAK,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAyiHrE,mGAAmG;AACnG,KAAK,OAAO,GAAG,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,KAAK,OAAO,CAAC;AAE5C;;;;;;;GAOG;AACH,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,CAAC,GAAG,EAAE,OAAO,KAAK,OAAO,CAAC;IAChC,GAAG,EAAE,CACH,OAAO,EAAE,YAAY,EACrB,GAAG,EAAE,iBAAiB,EACtB,WAAW,EAAE,UAAU,EACvB,WAAW,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,IAAI,KACrC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;CACtB;AAsGD;;;;;;GAMG;AACH,eAAO,MAAM,YAAY,EAAE,YAAY,EAmEtC,CAAC;AAIF,eAAO,MAAM,oBAAoB,QAA0C,CAAC;AAC5E,wBAAsB,uBAAuB,CAC3C,OAAO,EAAE,YAAY,EACrB,GAAG,EAAE,iBAAiB,EACtB,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,IAAI,EAIlD,IAAI,CAAC,EAAE;IAAE,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,EAInG,YAAY,CAAC,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,EAGzC,MAAM,CAAC,EAAE,MAAM,GACd,OAAO,CAAC,MAAM,CAAC,CAwOjB"}

package/dist/resolution/callback-synthesizer.js

@@ -743,6 +743,170 @@ async function arkuiEmitterEdges(ctx, onYield) {
     }
     return edges;
 }
+/** Cap for commonEvent event-key fan-out (same rationale as emitter). */
+const ARKUI_COMMON_EVENT_FANOUT_CAP = 8;
+/**
+ * HarmonyOS `commonEventManager.publish` ↔ `createSubscriber`/`subscribe` when
+ * both name the same literal event string. Without this, notification / screen /
+ * package flows die at the publish call (no static edge to the subscriber).
+ *
+ * Precision: literal event strings only; fan-out capped; `.ets` only.
+ */
+async function arkuiCommonEventEdges(ctx, onYield) {
+    let scanned = 0;
+    const publishes = new Map();
+    const subscribers = new Map();
+    const push = (map, key, site) => {
+        (map.get(key) ?? map.set(key, []).get(key)).push(site);
+    };
+    for (const file of ctx.getAllFiles()) {
+        if ((++scanned & 15) === 0)
+            await onYield();
+        if (!file.endsWith('.ets'))
+            continue;
+        const content = ctx.readFile(file);
+        if (!content || !/commonEventManager|CommonEvent/i.test(content))
+            continue;
+        const safe = (0, strip_comments_1.stripCommentsForRegex)(content, 'typescript');
+        if (!/commonEventManager\s*\./.test(safe) && !/\bpublish\s*\(/.test(safe))
+            continue;
+        const nodes = ctx.getNodesInFile(file)
+            .filter((n) => n.kind === 'method' || n.kind === 'function');
+        const enclAt = (index) => {
+            const line = safe.slice(0, index).split('\n').length;
+            const encl = nodes
+                .filter((n) => n.startLine <= line && n.endLine >= line)
+                .sort((a, b) => (a.endLine - a.startLine) - (b.endLine - b.startLine))[0];
+            return encl ? { nodeId: encl.id, file, line } : null;
+        };
+        // publish({ event: 'usual.event.X' }) or publish('usual.event.X', …)
+        const pubRe = /\b(?:commonEventManager\s*\.\s*)?publish\s*\(\s*(?:\{[^}]{0,200}?\bevent\s*:\s*['"]([^'"]+)['"]|['"]([^'"]+)['"])/g;
+        let m;
+        while ((m = pubRe.exec(safe))) {
+            const event = (m[1] || m[2] || '').trim();
+            if (!event || event.length < 4)
+                continue;
+            const site = enclAt(m.index);
+            if (site)
+                push(publishes, event, site);
+        }
+        // createSubscriber({ events: ['usual.event.X', ...] }) — subscriber side
+        const createRe = /\bcreateSubscriber\s*\(\s*\{[^}]{0,400}?\bevents\s*:\s*\[([^\]]{0,400})\]/g;
+        while ((m = createRe.exec(safe))) {
+            const list = m[1] || '';
+            const site = enclAt(m.index);
+            if (!site)
+                continue;
+            for (const em of list.matchAll(/['"]([^'"]+)['"]/g)) {
+                const event = em[1].trim();
+                if (event.length >= 4)
+                    push(subscribers, event, site);
+            }
+        }
+        // Also: subscribe(…) in a method that earlier referenced events: ['…'] in same method body
+        // (createSubscriber often inlined). Covered by createSubscriber scan above when both in one file.
+    }
+    const edges = [];
+    const seen = new Set();
+    for (const [event, pubs] of publishes) {
+        const subs = subscribers.get(event);
+        if (!subs)
+            continue;
+        if (pubs.length > ARKUI_COMMON_EVENT_FANOUT_CAP || subs.length > ARKUI_COMMON_EVENT_FANOUT_CAP)
+            continue;
+        for (const p of pubs)
+            for (const s of subs) {
+                if (p.nodeId === s.nodeId)
+                    continue;
+                const dedupe = `${p.nodeId}>${s.nodeId}>ce:${event}`;
+                if (seen.has(dedupe))
+                    continue;
+                seen.add(dedupe);
+                edges.push({
+                    source: p.nodeId,
+                    target: s.nodeId,
+                    kind: 'calls',
+                    line: p.line,
+                    provenance: 'heuristic',
+                    metadata: {
+                        synthesizedBy: 'arkui-common-event',
+                        event,
+                        registeredAt: `${s.file}:${s.line}`,
+                    },
+                });
+            }
+    }
+    return edges;
+}
+/**
+ * `@kit.ArkTS` / `@ohos.taskpool`: `taskpool.execute(new taskpool.Task(fn, …))`
+ * or `taskpool.execute(fn, …)` — static call is only `execute`, so the worker
+ * function never appears on the caller's trail. Bridge execute-site → named `fn`
+ * when the name resolves uniquely (or same-file).
+ */
+async function arkuiTaskpoolEdges(ctx, onYield) {
+    const edges = [];
+    const seen = new Set();
+    let scanned = 0;
+    const execRe = /\btaskpool\s*\.\s*execute\s*\(\s*(?:new\s+(?:taskpool\.)?Task\s*\(\s*)?([A-Za-z_$][\w]*)/g;
+    for (const file of ctx.getAllFiles()) {
+        if ((++scanned & 15) === 0)
+            await onYield();
+        if (!/\.(?:ets|ts)$/.test(file))
+            continue;
+        const content = ctx.readFile(file);
+        if (!content || !content.includes('taskpool'))
+            continue;
+        const safe = (0, strip_comments_1.stripCommentsForRegex)(content, 'typescript');
+        if (!/\btaskpool\s*\.\s*execute\s*\(/.test(safe))
+            continue;
+        const nodes = ctx.getNodesInFile(file)
+            .filter((n) => n.kind === 'method' || n.kind === 'function');
+        execRe.lastIndex = 0;
+        let m;
+        while ((m = execRe.exec(safe))) {
+            const fnName = m[1];
+            if (!fnName || fnName === 'Task' || fnName === 'taskpool')
+                continue;
+            const line = safe.slice(0, m.index).split('\n').length;
+            const encl = nodes
+                .filter((n) => n.startLine <= line && n.endLine >= line)
+                .sort((a, b) => (a.endLine - a.startLine) - (b.endLine - b.startLine))[0];
+            if (!encl)
+                continue;
+            let targets = ctx.getNodesByName(fnName)
+                .filter((n) => (n.kind === 'function' || n.kind === 'method') && !(0, generated_detection_1.isGeneratedFile)(n.filePath));
+            if (targets.length === 0)
+                continue;
+            const sameFile = targets.filter((n) => n.filePath === file);
+            if (sameFile.length > 0)
+                targets = sameFile;
+            if (targets.length > 3)
+                continue; // ambiguous name — don't guess
+            for (const t of targets) {
+                if (t.id === encl.id)
+                    continue;
+                const dedupe = `${encl.id}>${t.id}>taskpool`;
+                if (seen.has(dedupe))
+                    continue;
+                seen.add(dedupe);
+                edges.push({
+                    source: encl.id,
+                    target: t.id,
+                    kind: 'calls',
+                    line,
+                    provenance: 'heuristic',
+                    metadata: {
+                        synthesizedBy: 'arkui-taskpool',
+                        via: fnName,
+                        registeredAt: `${file}:${line}`,
+                    },
+                });
+            }
+        }
+    }
+    return edges;
+}
 /** `router.pushUrl({ url: 'pages/Detail' })` / replaceUrl — literal urls only. */
 const ARKUI_ROUTER_RE = /\brouter\s*\.\s*(?:pushUrl|replaceUrl)\s*\(\s*\{[^)]{0,200}?\burl\s*:\s*['"]([\w\-./]+)['"]/g;
 /**
@@ -3921,6 +4085,8 @@ exports.SYNTH_PASSES = [
     { name: 'flutterEdges', gate: (has) => has('dart'), run: (q, c, y) => flutterBuildEdges(q, c, y) },
     { name: 'arkuiStateEdges', gate: (has) => has('arkts'), run: (q, c, y) => arkuiStateBuildEdges(q, c, y) },
     { name: 'arkuiEmitter', gate: (has) => has('arkts'), run: (_q, c, y) => arkuiEmitterEdges(c, y) },
+    { name: 'arkuiCommonEvent', gate: (has) => has('arkts'), run: (_q, c, y) => arkuiCommonEventEdges(c, y) },
+    { name: 'arkuiTaskpool', gate: (has) => has('arkts'), run: (_q, c, y) => arkuiTaskpoolEdges(c, y) },
     { name: 'arkuiRoutes', gate: (has) => has('arkts'), run: (_q, c, y) => arkuiRouterEdges(c, y) },
     { name: 'arktsStartupEdges', gate: (has) => has('arkts'), run: async (q, c) => arktsEntryEdges(q, c) },
     { name: 'cppEdges', gate: (has) => has('cpp'), run: (q, _c, y) => cppOverrideEdges(q, y) },