cgraphx 1.1.0

package/dist/resolution/c-fnptr-synthesizer.js

@@ -0,0 +1,352 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.cFnPointerDispatchEdges = cFnPointerDispatchEdges;
+const strip_comments_1 = require("./strip-comments");
+const C_CPP_EXT = /\.(c|h|cc|cpp|cxx|hpp|hh|hxx|cppm|ipp|inl|tcc)$/i;
+const FN_KINDS = new Set(['function', 'method']);
+const FANOUT_CAP = 300; // a real command table (git ~150) is legitimate fan-out; this only stops pathological cases.
+function sliceLines(content, startLine, endLine) {
+    if (!startLine)
+        return '';
+    return content.split('\n').slice(startLine - 1, endLine ?? startLine).join('\n');
+}
+/** Index of the `}` matching the `{` at `open` (which must point at a `{`). -1 if unbalanced. */
+function matchBrace(src, open) {
+    let depth = 0;
+    for (let i = open; i < src.length; i++) {
+        const c = src[i];
+        if (c === '{')
+            depth++;
+        else if (c === '}') {
+            depth--;
+            if (depth === 0)
+                return i;
+        }
+    }
+    return -1;
+}
+/** Split `body` on `sep` at brace/paren/bracket depth 0 (commas inside `{…}` / `(…)` stay together). */
+function splitTopLevel(body, sep) {
+    const out = [];
+    let depth = 0;
+    let start = 0;
+    for (let i = 0; i < body.length; i++) {
+        const c = body[i];
+        if (c === '{' || c === '(' || c === '[')
+            depth++;
+        else if (c === '}' || c === ')' || c === ']')
+            depth--;
+        else if (c === sep && depth === 0) {
+            out.push(body.slice(start, i));
+            start = i + 1;
+        }
+    }
+    out.push(body.slice(start));
+    return out;
+}
+/** A fn-pointer field looks like `… (*name)(…)` — capture `name`. */
+const FNPTR_DECL_RE = /\(\s*\*\s*(\w+)\s*\)\s*\(/;
+/** `typedef RET (*NAME)(…)` — a function-pointer typedef. */
+const FNPTR_TYPEDEF_RE = /\btypedef\b[^;{}]*?\(\s*\*\s*(\w+)\s*\)\s*\(/g;
+function cFnPointerDispatchEdges(queries, ctx) {
+    const files = ctx.getAllFiles().filter((f) => C_CPP_EXT.test(f));
+    if (files.length === 0)
+        return [];
+    // Cache stripped source per file (read once, reused across passes).
+    const srcCache = new Map();
+    const src = (file) => {
+        if (srcCache.has(file))
+            return srcCache.get(file);
+        const raw = ctx.readFile(file);
+        const s = raw == null ? '' : (0, strip_comments_1.stripCommentsForRegex)(raw, 'c');
+        srcCache.set(file, s);
+        return raw == null ? null : s;
+    };
+    // ---- Pass A: function-pointer typedefs (cross-file) ----
+    const fnPtrTypedefs = new Set();
+    for (const file of files) {
+        const s = src(file);
+        if (!s || !s.includes('typedef'))
+            continue;
+        FNPTR_TYPEDEF_RE.lastIndex = 0;
+        let m;
+        while ((m = FNPTR_TYPEDEF_RE.exec(s)))
+            fnPtrTypedefs.add(m[1]);
+    }
+    // ---- Pass B: struct field layouts ----
+    // structLayout: struct name → ordered fields (with fn-pointer flag).
+    // fieldToStructs: fn-pointer field name → set of struct names that declare it.
+    const structLayout = new Map();
+    const fieldToStructs = new Map();
+    for (const st of ctx.getNodesByKind('struct')) {
+        if (!C_CPP_EXT.test(st.filePath))
+            continue;
+        const s = srcCache.get(st.filePath) ?? src(st.filePath);
+        if (!s)
+            continue;
+        const body = sliceLines(s, st.startLine, st.endLine);
+        const open = body.indexOf('{');
+        const close = open >= 0 ? matchBrace(body, open) : -1;
+        if (open < 0 || close < 0)
+            continue;
+        const inner = body.slice(open + 1, close);
+        const fields = [];
+        let idx = 0;
+        for (const rawDecl of splitTopLevel(inner, ';')) {
+            const decl = rawDecl.trim();
+            if (!decl)
+                continue;
+            let name = null;
+            let isFnPtr = false;
+            const ptr = decl.match(FNPTR_DECL_RE);
+            if (ptr) {
+                name = ptr[1];
+                isFnPtr = true;
+            }
+            else {
+                // `TYPE [*]name` — fn-pointer when TYPE is a fn-pointer typedef.
+                const fm = decl.match(/(\w+)\s+\*?\s*(\w+)\s*$/);
+                if (fm) {
+                    name = fm[2];
+                    isFnPtr = fnPtrTypedefs.has(fm[1]);
+                }
+            }
+            if (!name)
+                continue;
+            fields.push({ name, index: idx, isFnPtr });
+            if (isFnPtr) {
+                if (!fieldToStructs.has(name))
+                    fieldToStructs.set(name, new Set());
+                fieldToStructs.get(name).add(st.name);
+            }
+            idx++;
+        }
+        if (fields.some((f) => f.isFnPtr))
+            structLayout.set(st.name, fields);
+    }
+    if (structLayout.size === 0)
+        return [];
+    const fnPtrFieldOf = (struct, field) => !!structLayout.get(struct)?.some((f) => f.name === field && f.isFnPtr);
+    // C/C++ function + method nodes, materialized once (bounded by C/C++ files).
+    const cFns = [];
+    for (const fn of iterateFns(queries)) {
+        if (C_CPP_EXT.test(fn.filePath))
+            cFns.push(fn);
+    }
+    // ---- function-name → node resolution (prefer a function in the same file) ----
+    const resolveFn = (name, preferFile) => {
+        const cands = ctx.getNodesByName(name).filter((n) => FN_KINDS.has(n.kind));
+        if (cands.length === 0)
+            return null;
+        if (cands.length === 1)
+            return cands[0];
+        if (preferFile) {
+            const same = cands.find((n) => n.filePath === preferFile);
+            if (same)
+                return same;
+        }
+        return cands[0];
+    };
+    // ---- Pass C: registrations — Map<"struct.field", Set<funcNodeId>> ----
+    const reg = new Map();
+    const idToNode = new Map();
+    const addReg = (struct, field, fn) => {
+        const key = `${struct}.${field}`;
+        if (!reg.has(key))
+            reg.set(key, new Set());
+        reg.get(key).add(fn.id);
+        idToNode.set(fn.id, fn);
+    };
+    // A struct value `{ … }` (one element) — register its function entries to the
+    // struct's fields, by `.field = fn` designators or by positional slot.
+    const registerStructValue = (struct, valueBody, file) => {
+        const layout = structLayout.get(struct);
+        if (!layout)
+            return;
+        const items = splitTopLevel(valueBody, ',');
+        let pos = 0;
+        for (const rawItem of items) {
+            const item = rawItem.trim();
+            if (!item)
+                continue;
+            const des = item.match(/^\.\s*(\w+)\s*=\s*(?:&\s*)?(\w+)\s*$/);
+            if (des) {
+                const field = des[1];
+                if (fnPtrFieldOf(struct, field)) {
+                    const fn = resolveFn(des[2], file);
+                    if (fn)
+                        addReg(struct, field, fn);
+                }
+                // a designated item does not advance positional counting
+                continue;
+            }
+            const field = layout.find((f) => f.index === pos);
+            if (field?.isFnPtr) {
+                const id = item.match(/^&?\s*(\w+)\s*$/);
+                if (id) {
+                    const fn = resolveFn(id[1], file);
+                    if (fn)
+                        addReg(struct, field.name, fn);
+                }
+            }
+            pos++;
+        }
+    };
+    // `(?:struct )?TYPE name[opt] = {` initializers, where TYPE is a struct that
+    // has ≥1 fn-pointer field. Handles both single (`= {…}`) and array
+    // (`[] = { {…}, {…} }`) forms.
+    const INIT_RE = /(?:^|[;{}])\s*(?:(?:static|const|extern|register|volatile)\s+)*(?:struct\s+)?(\w+)\s+(\w+)\s*(\[[^\]]*\])?\s*=\s*\{/g;
+    for (const file of files) {
+        const s = srcCache.get(file);
+        if (!s || !s.includes('='))
+            continue;
+        INIT_RE.lastIndex = 0;
+        let m;
+        while ((m = INIT_RE.exec(s))) {
+            const struct = m[1];
+            if (!structLayout.has(struct))
+                continue;
+            const isArray = !!m[3];
+            const open = m.index + m[0].length - 1; // points at the `{`
+            const close = matchBrace(s, open);
+            if (close < 0)
+                continue;
+            const body = s.slice(open + 1, close);
+            if (isArray) {
+                // top-level `{ … }` element groups
+                for (const el of splitTopLevel(body, ',')) {
+                    const t = el.trim();
+                    if (t.startsWith('{')) {
+                        const e = matchBrace(t, 0);
+                        if (e > 0)
+                            registerStructValue(struct, t.slice(1, e), file);
+                    }
+                    else if (t) {
+                        // array of bare values (rare for structs) — treat as one positional slot
+                        registerStructValue(struct, t, file);
+                    }
+                }
+            }
+            else {
+                registerStructValue(struct, body, file);
+            }
+            INIT_RE.lastIndex = close;
+        }
+    }
+    // ---- receiver-type resolution within a function's source ----
+    // `(?:struct )?TYPE [*]recv` declared in the params or body → TYPE (if a known struct).
+    const recvTypeIn = (fnSrc, recv) => {
+        const re = new RegExp(`(?:struct\\s+)?(\\w+)\\s*\\*?\\s*\\b${recv}\\b\\s*(?:[,)=;]|\\[)`, 'g');
+        let m;
+        while ((m = re.exec(fnSrc))) {
+            if (structLayout.has(m[1]))
+                return m[1];
+        }
+        return null;
+    };
+    // ---- Pass D: field←field propagation (`a->f = b->g`) ----
+    // Collected as (targetStruct.field ← sourceStruct.field) pairs, then merged to
+    // a fixpoint so a hook slot inherits a registry field's handlers.
+    const FIELD_ASSIGN_RE = /(\w+)\s*(?:->|\.)\s*(\w+)\s*=\s*(\w+)\s*(?:->|\.)\s*(\w+)/g;
+    const propagations = [];
+    for (const fn of cFns) {
+        const s = srcCache.get(fn.filePath);
+        if (!s)
+            continue;
+        const body = sliceLines(s, fn.startLine, fn.endLine);
+        if (!body.includes('='))
+            continue;
+        FIELD_ASSIGN_RE.lastIndex = 0;
+        let m;
+        while ((m = FIELD_ASSIGN_RE.exec(body))) {
+            const [, lrecv, lfield, rrecv, rfield] = m;
+            const lt = recvTypeIn(body, lrecv);
+            const rt = recvTypeIn(body, rrecv);
+            if (lt && rt && fnPtrFieldOf(lt, lfield) && fnPtrFieldOf(rt, rfield)) {
+                propagations.push({ to: `${lt}.${lfield}`, from: `${rt}.${rfield}` });
+            }
+        }
+    }
+    for (let pass = 0; pass < 3 && propagations.length; pass++) {
+        let changed = false;
+        for (const { to, from } of propagations) {
+            const fromSet = reg.get(from);
+            if (!fromSet)
+                continue;
+            if (!reg.has(to))
+                reg.set(to, new Set());
+            const toSet = reg.get(to);
+            for (const id of fromSet) {
+                if (!toSet.has(id)) {
+                    toSet.add(id);
+                    changed = true;
+                }
+            }
+        }
+        if (!changed)
+            break;
+    }
+    if (reg.size === 0)
+        return [];
+    // ---- Pass E: dispatch sites → edges ----
+    // recv->field( or recv.field( where field is a known fn-pointer field.
+    const DISPATCH_RE = /(\w+)\s*(?:->|\.)\s*(\w+)\s*\(/g;
+    const edges = [];
+    const seen = new Set();
+    for (const fn of cFns) {
+        const s = srcCache.get(fn.filePath);
+        if (!s)
+            continue;
+        const body = sliceLines(s, fn.startLine, fn.endLine);
+        DISPATCH_RE.lastIndex = 0;
+        let m;
+        let added = 0;
+        while ((m = DISPATCH_RE.exec(body)) && added < FANOUT_CAP) {
+            const recv = m[1];
+            const field = m[2];
+            const owners = fieldToStructs.get(field);
+            if (!owners || owners.size === 0)
+                continue;
+            // Resolve the receiver's struct type; else fall back to a field name that
+            // belongs to exactly one struct.
+            let struct = recvTypeIn(body, recv);
+            if (!struct || !owners.has(struct))
+                struct = owners.size === 1 ? [...owners][0] : null;
+            if (!struct)
+                continue;
+            const targets = reg.get(`${struct}.${field}`);
+            if (!targets)
+                continue;
+            const line = fn.startLine + body.slice(0, m.index).split('\n').length - 1;
+            for (const tid of targets) {
+                if (tid === fn.id)
+                    continue;
+                const key = `${fn.id}>${tid}`;
+                if (seen.has(key))
+                    continue;
+                seen.add(key);
+                edges.push({
+                    source: fn.id,
+                    target: tid,
+                    kind: 'calls',
+                    line,
+                    provenance: 'heuristic',
+                    metadata: {
+                        synthesizedBy: 'fn-pointer-dispatch',
+                        via: `${struct}.${field}`,
+                        registeredAt: `${fn.filePath}:${line}`,
+                    },
+                });
+                if (++added >= FANOUT_CAP)
+                    break;
+            }
+        }
+    }
+    return edges;
+}
+/** C/C++ function + method nodes, streamed (memory-safe on symbol-dense repos). */
+function* iterateFns(queries) {
+    yield* queries.iterateNodesByKind('function');
+    yield* queries.iterateNodesByKind('method');
+}
+//# sourceMappingURL=c-fnptr-synthesizer.js.map

package/dist/resolution/c-fnptr-synthesizer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"c-fnptr-synthesizer.js","sourceRoot":"","sources":["../../src/resolution/c-fnptr-synthesizer.ts"],"names":[],"mappings":";;AAsFA,0DA0QC;AAjUD,qDAAyD;AAEzD,MAAM,SAAS,GAAG,kDAAkD,CAAC;AACrE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;AACjD,MAAM,UAAU,GAAG,GAAG,CAAC,CAAC,6FAA6F;AASrH,SAAS,UAAU,CAAC,OAAe,EAAE,SAAkB,EAAE,OAAgB;IACvE,IAAI,CAAC,SAAS;QAAE,OAAO,EAAE,CAAC;IAC1B,OAAO,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,EAAE,OAAO,IAAI,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACnF,CAAC;AAED,iGAAiG;AACjG,SAAS,UAAU,CAAC,GAAW,EAAE,IAAY;IAC3C,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QACjB,IAAI,CAAC,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;aAClB,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACnB,KAAK,EAAE,CAAC;YACR,IAAI,KAAK,KAAK,CAAC;gBAAE,OAAO,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IACD,OAAO,CAAC,CAAC,CAAC;AACZ,CAAC;AAED,wGAAwG;AACxG,SAAS,aAAa,CAAC,IAAY,EAAE,GAAW;IAC9C,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;QACnB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;aAC5C,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;aACjD,IAAI,CAAC,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAClC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;YAC/B,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC;QAChB,CAAC;IACH,CAAC;IACD,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IAC5B,OAAO,GAAG,CAAC;AACb,CAAC;AAED,qEAAqE;AACrE,MAAM,aAAa,GAAG,2BAA2B,CAAC;AAClD,6DAA6D;AAC7D,MAAM,gBAAgB,GAAG,+CAA+C,CAAC;AAEzE,SAAgB,uBAAuB,CAAC,OAAqB,EAAE,GAAsB;IACnF,MAAM,KAAK,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACjE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAElC,oEAAoE;IACpE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,MAAM,GAAG,GAAG,CAAC,IAAY,EAAiB,EAAE;QAC1C,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;QACnD,MAAM,GAAG,GAAG,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAA,sCAAqB,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC7D,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACtB,OAAO,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC;IAEF,2DAA2D;IAC3D,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;QACpB,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC;YAAE,SAAS;QAC3C,gBAAgB,CAAC,SAAS,GAAG,CAAC,CAAC;QAC/B,IAAI,CAAyB,CAAC;QAC9B,OAAO,CAAC,CAAC,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAAE,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;IAClE,CAAC;IAED,yCAAyC;IACzC,qEAAqE;IACrE,+EAA+E;IAC/E,MAAM,YAAY,GAAG,IAAI,GAAG,EAAuB,CAAC;IACpD,MAAM,cAAc,GAAG,IAAI,GAAG,EAAuB,CAAC;IACtD,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC9C,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC;YAAE,SAAS;QAC3C,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;QACxD,IAAI,CAAC,CAAC;YAAE,SAAS;QACjB,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC;QACrD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC/B,MAAM,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACtD,IAAI,IAAI,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC;YAAE,SAAS;QACpC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;QAC1C,MAAM,MAAM,GAAgB,EAAE,CAAC;QAC/B,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,KAAK,MAAM,OAAO,IAAI,aAAa,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC;YAChD,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;YAC5B,IAAI,CAAC,IAAI;gBAAE,SAAS;YACpB,IAAI,IAAI,GAAkB,IAAI,CAAC;YAC/B,IAAI,OAAO,GAAG,KAAK,CAAC;YACpB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;YACtC,IAAI,GAAG,EAAE,CAAC;gBACR,IAAI,GAAG,GAAG,CAAC,CAAC,CAAE,CAAC;gBACf,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;iBAAM,CAAC;gBACN,iEAAiE;gBACjE,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,yBAAyB,CAAC,CAAC;gBACjD,IAAI,EAAE,EAAE,CAAC;oBACP,IAAI,GAAG,EAAE,CAAC,CAAC,CAAE,CAAC;oBACd,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAE,CAAC,CAAC;gBACtC,CAAC;YACH,CAAC;YACD,IAAI,CAAC,IAAI;gBAAE,SAAS;YACpB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC;YAC3C,IAAI,OAAO,EAAE,CAAC;gBACZ,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;gBACnE,cAAc,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YACzC,CAAC;YACD,GAAG,EAAE,CAAC;QACR,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;YAAE,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACvE,CAAC;IACD,IAAI,YAAY,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEvC,MAAM,YAAY,GAAG,CAAC,MAAc,EAAE,KAAa,EAAW,EAAE,CAC9D,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC;IAEzE,6EAA6E;IAC7E,MAAM,IAAI,GAAW,EAAE,CAAC;IACxB,KAAK,MAAM,EAAE,IAAI,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QACrC,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjD,CAAC;IAED,iFAAiF;IACjF,MAAM,SAAS,GAAG,CAAC,IAAY,EAAE,UAAmB,EAAe,EAAE;QACnE,MAAM,KAAK,GAAG,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3E,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACpC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC,CAAC,CAAE,CAAC;QACzC,IAAI,UAAU,EAAE,CAAC;YACf,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC;YAC1D,IAAI,IAAI;gBAAE,OAAO,IAAI,CAAC;QACxB,CAAC;QACD,OAAO,KAAK,CAAC,CAAC,CAAE,CAAC;IACnB,CAAC,CAAC;IAEF,yEAAyE;IACzE,MAAM,GAAG,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC3C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAgB,CAAC;IACzC,MAAM,MAAM,GAAG,CAAC,MAAc,EAAE,KAAa,EAAE,EAAQ,EAAQ,EAAE;QAC/D,MAAM,GAAG,GAAG,GAAG,MAAM,IAAI,KAAK,EAAE,CAAC;QACjC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QAC3C,GAAG,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACzB,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAC1B,CAAC,CAAC;IAEF,8EAA8E;IAC9E,uEAAuE;IACvE,MAAM,mBAAmB,GAAG,CAAC,MAAc,EAAE,SAAiB,EAAE,IAAY,EAAQ,EAAE;QACpF,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACxC,IAAI,CAAC,MAAM;YAAE,OAAO;QACpB,MAAM,KAAK,GAAG,aAAa,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QAC5C,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,KAAK,MAAM,OAAO,IAAI,KAAK,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;YAC5B,IAAI,CAAC,IAAI;gBAAE,SAAS;YACpB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,sCAAsC,CAAC,CAAC;YAC/D,IAAI,GAAG,EAAE,CAAC;gBACR,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,CAAE,CAAC;gBACtB,IAAI,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;oBAChC,MAAM,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAE,EAAE,IAAI,CAAC,CAAC;oBACpC,IAAI,EAAE;wBAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;gBACpC,CAAC;gBACD,yDAAyD;gBACzD,SAAS;YACX,CAAC;YACD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,GAAG,CAAC,CAAC;YAClD,IAAI,KAAK,EAAE,OAAO,EAAE,CAAC;gBACnB,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;gBACzC,IAAI,EAAE,EAAE,CAAC;oBACP,MAAM,EAAE,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC,CAAE,EAAE,IAAI,CAAC,CAAC;oBACnC,IAAI,EAAE;wBAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBACzC,CAAC;YACH,CAAC;YACD,GAAG,EAAE,CAAC;QACR,CAAC;IACH,CAAC,CAAC;IAEF,6EAA6E;IAC7E,mEAAmE;IACnE,+BAA+B;IAC/B,MAAM,OAAO,GACX,sHAAsH,CAAC;IACzH,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,SAAS;QACrC,OAAO,CAAC,SAAS,GAAG,CAAC,CAAC;QACtB,IAAI,CAAyB,CAAC;QAC9B,OAAO,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7B,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;YACrB,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,SAAS;YACxC,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACvB,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,oBAAoB;YAC5D,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YAClC,IAAI,KAAK,GAAG,CAAC;gBAAE,SAAS;YACxB,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;YACtC,IAAI,OAAO,EAAE,CAAC;gBACZ,mCAAmC;gBACnC,KAAK,MAAM,EAAE,IAAI,aAAa,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;oBAC1C,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;oBACpB,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;wBACtB,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;wBAC3B,IAAI,CAAC,GAAG,CAAC;4BAAE,mBAAmB,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;oBAC9D,CAAC;yBAAM,IAAI,CAAC,EAAE,CAAC;wBACb,yEAAyE;wBACzE,mBAAmB,CAAC,MAAM,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;oBACvC,CAAC;gBACH,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,mBAAmB,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;YAC1C,CAAC;YACD,OAAO,CAAC,SAAS,GAAG,KAAK,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,gEAAgE;IAChE,wFAAwF;IACxF,MAAM,UAAU,GAAG,CAAC,KAAa,EAAE,IAAY,EAAiB,EAAE;QAChE,MAAM,EAAE,GAAG,IAAI,MAAM,CAAC,uCAAuC,IAAI,uBAAuB,EAAE,GAAG,CAAC,CAAC;QAC/F,IAAI,CAAyB,CAAC;QAC9B,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YAC5B,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC;gBAAE,OAAO,CAAC,CAAC,CAAC,CAAE,CAAC;QAC5C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IAEF,4DAA4D;IAC5D,+EAA+E;IAC/E,kEAAkE;IAClE,MAAM,eAAe,GAAG,4DAA4D,CAAC;IACrF,MAAM,YAAY,GAAmC,EAAE,CAAC;IACxD,KAAK,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;QACpC,IAAI,CAAC,CAAC;YAAE,SAAS;QACjB,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC;QACrD,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,SAAS;QAClC,eAAe,CAAC,SAAS,GAAG,CAAC,CAAC;QAC9B,IAAI,CAAyB,CAAC;QAC9B,OAAO,CAAC,CAAC,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YACxC,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;YAC3C,MAAM,EAAE,GAAG,UAAU,CAAC,IAAI,EAAE,KAAM,CAAC,CAAC;YACpC,MAAM,EAAE,GAAG,UAAU,CAAC,IAAI,EAAE,KAAM,CAAC,CAAC;YACpC,IAAI,EAAE,IAAI,EAAE,IAAI,YAAY,CAAC,EAAE,EAAE,MAAO,CAAC,IAAI,YAAY,CAAC,EAAE,EAAE,MAAO,CAAC,EAAE,CAAC;gBACvE,YAAY,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,MAAM,EAAE,EAAE,CAAC,CAAC;YACxE,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,CAAC,IAAI,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QAC3D,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,KAAK,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,YAAY,EAAE,CAAC;YACxC,MAAM,OAAO,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC9B,IAAI,CAAC,OAAO;gBAAE,SAAS;YACvB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;YACzC,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;YAC3B,KAAK,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;gBACzB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;oBACnB,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;oBACd,OAAO,GAAG,IAAI,CAAC;gBACjB,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,CAAC,OAAO;YAAE,MAAM;IACtB,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAE9B,2CAA2C;IAC3C,uEAAuE;IACvE,MAAM,WAAW,GAAG,iCAAiC,CAAC;IACtD,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;QACpC,IAAI,CAAC,CAAC;YAAE,SAAS;QACjB,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC;QACrD,WAAW,CAAC,SAAS,GAAG,CAAC,CAAC;QAC1B,IAAI,CAAyB,CAAC;QAC9B,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,OAAO,CAAC,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,GAAG,UAAU,EAAE,CAAC;YAC1D,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;YACnB,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;YACpB,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACzC,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;gBAAE,SAAS;YAC3C,0EAA0E;YAC1E,iCAAiC;YACjC,IAAI,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACpC,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,MAAM,GAAG,MAAM,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC;YACxF,IAAI,CAAC,MAAM;gBAAE,SAAS;YACtB,MAAM,OAAO,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,MAAM,IAAI,KAAK,EAAE,CAAC,CAAC;YAC9C,IAAI,CAAC,OAAO;gBAAE,SAAS;YACvB,MAAM,IAAI,GAAG,EAAE,CAAC,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;YAC1E,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;gBAC1B,IAAI,GAAG,KAAK,EAAE,CAAC,EAAE;oBAAE,SAAS;gBAC5B,MAAM,GAAG,GAAG,GAAG,EAAE,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC;gBAC9B,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,SAAS;gBAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACd,KAAK,CAAC,IAAI,CAAC;oBACT,MAAM,EAAE,EAAE,CAAC,EAAE;oBACb,MAAM,EAAE,GAAG;oBACX,IAAI,EAAE,OAAO;oBACb,IAAI;oBACJ,UAAU,EAAE,WAAW;oBACvB,QAAQ,EAAE;wBACR,aAAa,EAAE,qBAAqB;wBACpC,GAAG,EAAE,GAAG,MAAM,IAAI,KAAK,EAAE;wBACzB,YAAY,EAAE,GAAG,EAAE,CAAC,QAAQ,IAAI,IAAI,EAAE;qBACvC;iBACF,CAAC,CAAC;gBACH,IAAI,EAAE,KAAK,IAAI,UAAU;oBAAE,MAAM;YACnC,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,mFAAmF;AACnF,QAAQ,CAAC,CAAC,UAAU,CAAC,OAAqB;IACxC,KAAK,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,UAAU,CAAC,CAAC;IAC9C,KAAK,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC;AAC9C,CAAC"}

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

@@ -0,0 +1,15 @@
+import type { QueryBuilder } from '../db/queries';
+import type { ResolutionContext } from './types';
+/**
+ * Synthesize dispatcher→callback edges (field observers + EventEmitters +
+ * React re-render + JSX children + Vue templates + SvelteKit load + RN event
+ * channel + Fabric native-impl + MyBatis Java↔XML + Gin middleware chain +
+ * Redux-thunk dispatch chain + object-literal registry dispatch + RTK Query
+ * generated-hook → endpoint + Pinia useStore().action() + Vuex string dispatch +
+ * Celery task .delay()/.apply_async() → task body + Spring publishEvent → @EventListener +
+ * MediatR Send/Publish → IRequestHandler/INotificationHandler +
+ * Sidekiq Worker.perform_async → #perform + Laravel event(new X) → listener handle).
+ * Returns the count added. Never throws into indexing — callers wrap in try/catch.
+ */
+export declare function synthesizeCallbackEdges(queries: QueryBuilder, ctx: ResolutionContext): number;
+//# sourceMappingURL=callback-synthesizer.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"callback-synthesizer.d.ts","sourceRoot":"","sources":["../../src/resolution/callback-synthesizer.ts"],"names":[],"mappings":"AAwBA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,SAAS,CAAC;AAgkFjD;;;;;;;;;;GAUG;AACH,wBAAgB,uBAAuB,CAAC,OAAO,EAAE,YAAY,EAAE,GAAG,EAAE,iBAAiB,GAAG,MAAM,CA0F7F"}