@nithin554/code-crawler 0.0.0 → 0.1.2

package/dist/resolver/javaResolver.js

@@ -0,0 +1,253 @@
+import { phantomNodeId } from "./types.js";
+export function resolveJavaFile(file, index, options = {}) {
+    const searchInheritance = options.searchInheritance ?? true;
+    const results = [];
+    for (const call of file.callSites) {
+        results.push(resolveCall(call, file, index, searchInheritance));
+    }
+    return results;
+}
+function resolveCall(call, file, index, searchInheritance) {
+    const phantom = {
+        callSite: call,
+        targetId: phantomNodeId(call),
+        resolved: false,
+        confidence: 0,
+        reason: "",
+    };
+    // ---- 1. Constructor calls ------------------------------------------------
+    if (call.isConstructorCall) {
+        const types = resolveTypeName(call.name, file, index);
+        if (types.length === 0) {
+            return { ...phantom, reason: `type "${call.name}" not found in project` };
+        }
+        for (const fqn of types) {
+            const ctor = `${fqn}#<init>`;
+            if (index.methodsByFqn.get(fqn)?.some((m) => m.id === ctor)) {
+                return {
+                    callSite: call,
+                    targetId: ctor,
+                    resolved: true,
+                    confidence: 1.0,
+                    reason: `constructor of ${fqn}`,
+                };
+            }
+        }
+        // Constructor not explicitly declared: Java provides the default one.
+        return {
+            callSite: call,
+            targetId: `${types[0]}#<init>`,
+            resolved: true,
+            confidence: 0.9,
+            reason: `default constructor of ${types[0]}`,
+        };
+    }
+    // ---- Receiver candidate extraction ---------------------------------------
+    const candidates = receiverCandidates(call, file, index);
+    if (candidates.types.length === 0) {
+        return {
+            ...phantom,
+            reason: `could not infer receiver type: ${candidates.how}`,
+        };
+    }
+    for (const typeFqn of candidates.types) {
+        const found = findMethod(typeFqn, call.name, call.argumentTexts.length, index, searchInheritance);
+        if (found) {
+            return {
+                callSite: call,
+                targetId: found.method.id,
+                resolved: true,
+                confidence: baseConfidence(candidates) * found.confidence,
+                reason: `${found.method.id} (via ${candidates.how}${found.inherited ? ", inherited" : ""})`,
+            };
+        }
+    }
+    return {
+        ...phantom,
+        reason: `no method ${call.name}(${call.argumentTexts.length} args) on ${candidates.types.join(" | ")} (${candidates.how})`,
+    };
+}
+/**
+ * Compute the candidate receiver types for an invocation, in priority order.
+ */
+function receiverCandidates(call, file, index) {
+    const receiver = call.receiver;
+    // ---- 2. Bare / this / super calls ----------------------------------------
+    if (!receiver) {
+        return {
+            types: enclosingAndAncestors(call.enclosingTypeId, index),
+            how: "bare call in " + call.enclosingTypeId,
+        };
+    }
+    if (receiver === "this" || receiver.startsWith("this.")) {
+        const field = receiver.startsWith("this.")
+            ? file.fields.find((f) => f.typeId === call.enclosingTypeId && f.name === receiver.slice(5))
+            : null;
+        if (field) {
+            const types = resolveTypeName(field.type, file, index);
+            return { types, how: `field ${receiver} of ${call.enclosingTypeId}` };
+        }
+        return {
+            types: enclosingAndAncestors(call.enclosingTypeId, index),
+            how: `this-call in ${call.enclosingTypeId}`,
+        };
+    }
+    if (receiver.startsWith("super.")) {
+        return {
+            types: superAncestors(call.enclosingTypeId, index),
+            how: `super-call from ${call.enclosingTypeId}`,
+        };
+    }
+    // ---- 3. Type-qualified static calls --------------------------------------
+    const asType = resolveTypeName(receiver, file, index);
+    if (asType.length > 0) {
+        return { types: asType, how: `static/type-qualified on ${receiver}` };
+    }
+    // ---- 4. Instance calls on a variable -------------------------------------
+    if (isNameLike(receiver)) {
+        const inferred = inferVariableType(receiver, call, file, index);
+        if (inferred.types.length > 0)
+            return inferred;
+    }
+    // ---- Fallback: `new Foo().method()` and other expressions ----------------
+    const newMatch = receiver.match(/^new\s+([\w.$]+)/);
+    if (newMatch && newMatch[1]) {
+        const types = resolveTypeName(newMatch[1], file, index);
+        return { types, how: `receiver created via new ${newMatch[1]}()` };
+    }
+    return { types: [], how: `unhandled receiver expression "${receiver}"` };
+}
+/** Infer a variable's declared type from locals, parameters, and fields. */
+function inferVariableType(name, call, file, index) {
+    // locals in the enclosing method
+    const locals = file.localsByMethod.get(call.enclosingMethodId);
+    const localType = locals?.get(name);
+    if (localType) {
+        return { types: resolveTypeName(localType, file, index), how: `local ${name}: ${localType}` };
+    }
+    // parameters of the enclosing method
+    const method = file.methods.find((m) => m.id === call.enclosingMethodId);
+    const param = method?.params.find((p) => p.name === name);
+    if (param) {
+        return { types: resolveTypeName(param.type, file, index), how: `param ${name}: ${param.type}` };
+    }
+    // fields of the enclosing type
+    const field = file.fields.find((f) => f.typeId === call.enclosingTypeId && f.name === name);
+    if (field) {
+        return { types: resolveTypeName(field.type, file, index), how: `field ${name}: ${field.type}` };
+    }
+    // inherited fields (search ancestors of the enclosing type)
+    for (const anc of superAncestors(call.enclosingTypeId, index)) {
+        const ancField = file.fields.find((f) => f.typeId === anc && f.name === name);
+        if (ancField) {
+            return { types: resolveTypeName(ancField.type, file, index), how: `field ${name} inherited from ${anc}` };
+        }
+    }
+    return { types: [], how: `unknown variable "${name}"` };
+}
+/** Find a method on a type or (optionally) its ancestors, matching arity. */
+function findMethod(typeFqn, methodName, argCount, index, searchInheritance) {
+    const direct = (index.methodsByFqn.get(typeFqn) ?? []).filter((m) => m.name === methodName);
+    const match = pickOverload(direct, argCount);
+    if (match)
+        return { method: { id: match.id }, confidence: 1.0, inherited: false };
+    if (searchInheritance) {
+        const inherited = findInherited(typeFqn, methodName, argCount, index, new Set(), 0);
+        if (inherited)
+            return inherited;
+    }
+    return null;
+}
+function findInherited(typeFqn, methodName, argCount, index, visited, depth) {
+    if (depth > 10 || visited.has(typeFqn))
+        return null;
+    visited.add(typeFqn);
+    for (const parentName of index.parentsByFqn.get(typeFqn) ?? []) {
+        for (const parent of index.resolveType(parentName)) {
+            const candidates = (index.methodsByFqn.get(parent) ?? []).filter((m) => m.name === methodName);
+            const match = pickOverload(candidates, argCount);
+            if (match) {
+                return { method: { id: match.id }, confidence: 0.9, inherited: true };
+            }
+            const deeper = findInherited(parent, methodName, argCount, index, visited, depth + 1);
+            if (deeper)
+                return deeper;
+        }
+    }
+    return null;
+}
+/** Pick the overload with matching arity; fall back to the first candidate. */
+function pickOverload(methods, argCount) {
+    const exact = methods.find((m) => m.params.length === argCount);
+    if (exact)
+        return exact;
+    return methods[0] ?? null;
+}
+/** Enclosing type + all ancestors, deduped, in order. */
+function enclosingAndAncestors(typeFqn, index) {
+    const seen = new Set();
+    const out = [];
+    const walk = (t) => {
+        if (seen.has(t))
+            return;
+        seen.add(t);
+        out.push(t);
+        for (const parent of index.parentsByFqn.get(t) ?? []) {
+            for (const resolved of index.resolveType(parent))
+                walk(resolved);
+        }
+    };
+    walk(typeFqn);
+    return out;
+}
+function superAncestors(typeFqn, index) {
+    return enclosingAndAncestors(typeFqn, index).slice(1);
+}
+/**
+ * Resolve a type name (simple or qualified) to candidate FQNs.
+ * Priority: exact FQN in index -> file-declared/imported -> same package ->
+ * java.lang -> any simple-name match.
+ */
+function resolveTypeName(name, file, index) {
+    const trimmed = name.trim();
+    if (!trimmed)
+        return [];
+    if (index.kindByFqn.has(trimmed))
+        return [trimmed];
+    // java.lang implicit types
+    if (index.kindByFqn.has(`java.lang.${trimmed}`))
+        return [`java.lang.${trimmed}`];
+    // same package
+    const simple = trimmed.includes(".") ? trimmed.split(".").pop() : trimmed;
+    const inFile = file.typeByName.get(simple);
+    if (inFile)
+        return [inFile];
+    if (file.packageName) {
+        const pkgQualified = `${file.packageName}.${simple}`;
+        if (index.kindByFqn.has(pkgQualified))
+            return [pkgQualified];
+    }
+    return index.resolveType(simple);
+}
+/** Whether a receiver looks like a plain (possibly dotted) name. */
+function isNameLike(receiver) {
+    return /^[A-Za-z_$][\w$]*(\.[A-Za-z_$][\w$]*)*$/.test(receiver);
+}
+function baseConfidence(candidates) {
+    switch (candidates.how.split(" ")[0]) {
+        case "local":
+        case "static/type-qualified":
+        case "param":
+            return 1.0;
+        case "field":
+        case "bare":
+        case "this-call":
+        case "super-call":
+            return 0.95;
+        case "receiver":
+            return 0.85;
+        default:
+            return 0.7;
+    }
+}
+//# sourceMappingURL=javaResolver.js.map

package/dist/resolver/javaResolver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"javaResolver.js","sourceRoot":"","sources":["../../src/resolver/javaResolver.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAqC,MAAM,YAAY,CAAC;AAqB9E,MAAM,UAAU,eAAe,CAC7B,IAAoB,EACpB,KAAgB,EAChB,UAA0B,EAAE;IAE5B,MAAM,iBAAiB,GAAG,OAAO,CAAC,iBAAiB,IAAI,IAAI,CAAC;IAC5D,MAAM,OAAO,GAAmB,EAAE,CAAC;IAEnC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QAClC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,iBAAiB,CAAC,CAAC,CAAC;IAClE,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,WAAW,CAClB,IAA8B,EAC9B,IAAoB,EACpB,KAAgB,EAChB,iBAA0B;IAE1B,MAAM,OAAO,GAAG;QACd,QAAQ,EAAE,IAAI;QACd,QAAQ,EAAE,aAAa,CAAC,IAAI,CAAC;QAC7B,QAAQ,EAAE,KAAK;QACf,UAAU,EAAE,CAAC;QACb,MAAM,EAAE,EAAE;KACX,CAAC;IAEF,6EAA6E;IAC7E,IAAI,IAAI,CAAC,iBAAiB,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACtD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,OAAO,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,SAAS,IAAI,CAAC,IAAI,wBAAwB,EAAE,CAAC;QAC5E,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;YACxB,MAAM,IAAI,GAAG,GAAG,GAAG,SAAS,CAAC;YAC7B,IAAI,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;gBAC5D,OAAO;oBACL,QAAQ,EAAE,IAAI;oBACd,QAAQ,EAAE,IAAI;oBACd,QAAQ,EAAE,IAAI;oBACd,UAAU,EAAE,GAAG;oBACf,MAAM,EAAE,kBAAkB,GAAG,EAAE;iBAChC,CAAC;YACJ,CAAC;QACH,CAAC;QACD,sEAAsE;QACtE,OAAO;YACL,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,SAAS;YAC9B,QAAQ,EAAE,IAAI;YACd,UAAU,EAAE,GAAG;YACf,MAAM,EAAE,0BAA0B,KAAK,CAAC,CAAC,CAAC,EAAE;SAC7C,CAAC;IACJ,CAAC;IAED,6EAA6E;IAC7E,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IACzD,IAAI,UAAU,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClC,OAAO;YACL,GAAG,OAAO;YACV,MAAM,EAAE,kCAAkC,UAAU,CAAC,GAAG,EAAE;SAC3D,CAAC;IACJ,CAAC;IAED,KAAK,MAAM,OAAO,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,KAAK,EAAE,iBAAiB,CAAC,CAAC;QAClG,IAAI,KAAK,EAAE,CAAC;YACV,OAAO;gBACL,QAAQ,EAAE,IAAI;gBACd,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE;gBACzB,QAAQ,EAAE,IAAI;gBACd,UAAU,EAAE,cAAc,CAAC,UAAU,CAAC,GAAG,KAAK,CAAC,UAAU;gBACzD,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,EAAE,SAAS,UAAU,CAAC,GAAG,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,GAAG;aAC5F,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO;QACL,GAAG,OAAO;QACV,MAAM,EAAE,aAAa,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,aAAa,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,UAAU,CAAC,GAAG,GAAG;KAC3H,CAAC;AACJ,CAAC;AAOD;;GAEG;AACH,SAAS,kBAAkB,CAAC,IAA8B,EAAE,IAAoB,EAAE,KAAgB;IAChG,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;IAE/B,6EAA6E;IAC7E,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO;YACL,KAAK,EAAE,qBAAqB,CAAC,IAAI,CAAC,eAAe,EAAE,KAAK,CAAC;YACzD,GAAG,EAAE,eAAe,GAAG,IAAI,CAAC,eAAe;SAC5C,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,KAAK,MAAM,IAAI,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QACxD,MAAM,KAAK,GAAG,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC;YACxC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,eAAe,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAC5F,CAAC,CAAC,IAAI,CAAC;QACT,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,KAAK,GAAG,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;YACvD,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,QAAQ,OAAO,IAAI,CAAC,eAAe,EAAE,EAAE,CAAC;QACxE,CAAC;QACD,OAAO;YACL,KAAK,EAAE,qBAAqB,CAAC,IAAI,CAAC,eAAe,EAAE,KAAK,CAAC;YACzD,GAAG,EAAE,gBAAgB,IAAI,CAAC,eAAe,EAAE;SAC5C,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClC,OAAO;YACL,KAAK,EAAE,cAAc,CAAC,IAAI,CAAC,eAAe,EAAE,KAAK,CAAC;YAClD,GAAG,EAAE,mBAAmB,IAAI,CAAC,eAAe,EAAE;SAC/C,CAAC;IACJ,CAAC;IAED,6EAA6E;IAC7E,MAAM,MAAM,GAAG,eAAe,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IACtD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,4BAA4B,QAAQ,EAAE,EAAE,CAAC;IACxE,CAAC;IAED,6EAA6E;IAC7E,IAAI,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,iBAAiB,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAChE,IAAI,QAAQ,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,QAAQ,CAAC;IACjD,CAAC;IAED,6EAA6E;IAC7E,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;IACpD,IAAI,QAAQ,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACxD,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,4BAA4B,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACrE,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,kCAAkC,QAAQ,GAAG,EAAE,CAAC;AAC3E,CAAC;AAED,4EAA4E;AAC5E,SAAS,iBAAiB,CACxB,IAAY,EACZ,IAA8B,EAC9B,IAAoB,EACpB,KAAgB;IAEhB,iCAAiC;IACjC,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAC/D,MAAM,SAAS,GAAG,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,EAAE,KAAK,EAAE,eAAe,CAAC,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,GAAG,EAAE,SAAS,IAAI,KAAK,SAAS,EAAE,EAAE,CAAC;IAChG,CAAC;IACD,qCAAqC;IACrC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,iBAAiB,CAAC,CAAC;IACzE,MAAM,KAAK,GAAG,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAC1D,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,EAAE,KAAK,EAAE,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,GAAG,EAAE,SAAS,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;IAClG,CAAC;IACD,+BAA+B;IAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,eAAe,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAC5F,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,EAAE,KAAK,EAAE,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,GAAG,EAAE,SAAS,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;IAClG,CAAC;IACD,4DAA4D;IAC5D,KAAK,MAAM,GAAG,IAAI,cAAc,CAAC,IAAI,CAAC,eAAe,EAAE,KAAK,CAAC,EAAE,CAAC;QAC9D,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QAC9E,IAAI,QAAQ,EAAE,CAAC;YACb,OAAO,EAAE,KAAK,EAAE,eAAe,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,GAAG,EAAE,SAAS,IAAI,mBAAmB,GAAG,EAAE,EAAE,CAAC;QAC5G,CAAC;IACH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,qBAAqB,IAAI,GAAG,EAAE,CAAC;AAC1D,CAAC;AAQD,6EAA6E;AAC7E,SAAS,UAAU,CACjB,OAAe,EACf,UAAkB,EAClB,QAAgB,EAChB,KAAgB,EAChB,iBAA0B;IAE1B,MAAM,MAAM,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;IAC5F,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC7C,IAAI,KAAK;QAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;IAElF,IAAI,iBAAiB,EAAE,CAAC;QACtB,MAAM,SAAS,GAAG,aAAa,CAAC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;QACpF,IAAI,SAAS;YAAE,OAAO,SAAS,CAAC;IAClC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,aAAa,CACpB,OAAe,EACf,UAAkB,EAClB,QAAgB,EAChB,KAAgB,EAChB,OAAoB,EACpB,KAAa;IAEb,IAAI,KAAK,GAAG,EAAE,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IACpD,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACrB,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;QAC/D,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC,EAAE,CAAC;YACnD,MAAM,UAAU,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;YAC/F,MAAM,KAAK,GAAG,YAAY,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;YACjD,IAAI,KAAK,EAAE,CAAC;gBACV,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;YACxE,CAAC;YACD,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YACtF,IAAI,MAAM;gBAAE,OAAO,MAAM,CAAC;QAC5B,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,+EAA+E;AAC/E,SAAS,YAAY,CAAC,OAA0D,EAAE,QAAgB;IAChG,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;IAChE,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC;IACxB,OAAO,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;AAC5B,CAAC;AAED,yDAAyD;AACzD,SAAS,qBAAqB,CAAC,OAAe,EAAE,KAAgB;IAC9D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,IAAI,GAAG,CAAC,CAAS,EAAE,EAAE;QACzB,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO;QACxB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACZ,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACZ,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YACrD,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC;gBAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QACnE,CAAC;IACH,CAAC,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,CAAC;IACd,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,cAAc,CAAC,OAAe,EAAE,KAAgB;IACvD,OAAO,qBAAqB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AACxD,CAAC;AAED;;;;GAIG;AACH,SAAS,eAAe,CAAC,IAAY,EAAE,IAAoB,EAAE,KAAgB;IAC3E,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IAC5B,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IAExB,IAAI,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IAEnD,2BAA2B;IAC3B,IAAI,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,aAAa,OAAO,EAAE,CAAC;QAAE,OAAO,CAAC,aAAa,OAAO,EAAE,CAAC,CAAC;IAEjF,eAAe;IACf,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAG,CAAC,CAAC,CAAC,OAAO,CAAC;IAC3E,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC3C,IAAI,MAAM;QAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAE5B,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;QACrB,MAAM,YAAY,GAAG,GAAG,IAAI,CAAC,WAAW,IAAI,MAAM,EAAE,CAAC;QACrD,IAAI,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,YAAY,CAAC;YAAE,OAAO,CAAC,YAAY,CAAC,CAAC;IAC/D,CAAC;IAED,OAAO,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;AACnC,CAAC;AAED,oEAAoE;AACpE,SAAS,UAAU,CAAC,QAAgB;IAClC,OAAO,yCAAyC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,cAAc,CAAC,UAAwB;IAC9C,QAAQ,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACrC,KAAK,OAAO,CAAC;QACb,KAAK,uBAAuB,CAAC;QAC7B,KAAK,OAAO;YACV,OAAO,GAAG,CAAC;QACb,KAAK,OAAO,CAAC;QACb,KAAK,MAAM,CAAC;QACZ,KAAK,WAAW,CAAC;QACjB,KAAK,YAAY;YACf,OAAO,IAAI,CAAC;QACd,KAAK,UAAU;YACb,OAAO,IAAI,CAAC;QACd;YACE,OAAO,GAAG,CAAC;IACf,CAAC;AACH,CAAC"}

package/dist/resolver/types.d.ts

@@ -0,0 +1,45 @@
+import type { CallSite, MethodInfo, ParsedFile, TypeKind } from "../parser/language.js";
+/**
+ * Shared resolver contract.
+ *
+ * A resolver turns raw `CallSite`s from the parser into concrete call edges.
+ * Resolution is heuristic: each call site either resolves to a known method
+ * node (with a confidence score) or falls back to a phantom `unknown_symbol`
+ * node so the graph stays traversable.
+ */
+export interface ResolvedCall {
+    callSite: CallSite;
+    /** Method node id (`Type#method`) or phantom id for unresolved calls. */
+    targetId: string;
+    resolved: boolean;
+    /** 0..1 heuristic confidence; 1 = statically certain. */
+    confidence: number;
+    /** Human-readable resolution trace for debugging and tool output. */
+    reason: string;
+}
+/**
+ * Global index over all parsed files, used to resolve type and method names
+ * across the whole project. Built once per crawl pass.
+ */
+export declare class TypeIndex {
+    /** simple name -> FQNs declared anywhere in the project. */
+    typesBySimpleName: Map<string, string[]>;
+    /** FQN -> kind (class/interface/enum). */
+    kindByFqn: Map<string, TypeKind>;
+    /** FQN -> directly-declared methods (all overloads). */
+    methodsByFqn: Map<string, MethodInfo[]>;
+    /** FQN -> parent FQNs (extends/implements, resolved where possible). */
+    parentsByFqn: Map<string, string[]>;
+    addFile(file: ParsedFile): void;
+    /** Resolve a (possibly qualified) type name to candidate FQNs. */
+    resolveType(name: string): string[];
+    /** All methods named `methodName` declared on a type (or inherited). */
+    findMethods(typeFqn: string, methodName: string, visited?: Set<string>, depth?: number): MethodInfo[];
+    /** True when a type declares (or inherits) the named method. */
+    hasMethod(typeFqn: string, methodName: string): boolean;
+}
+/** Build a TypeIndex from many parsed files. */
+export declare function buildTypeIndex(files: ParsedFile[]): TypeIndex;
+/** Node id for an unresolved (phantom) call. */
+export declare function phantomNodeId(call: CallSite): string;
+export type { CallSite, ParsedFile };

package/dist/resolver/types.js

@@ -0,0 +1,80 @@
+/**
+ * Global index over all parsed files, used to resolve type and method names
+ * across the whole project. Built once per crawl pass.
+ */
+export class TypeIndex {
+    /** simple name -> FQNs declared anywhere in the project. */
+    typesBySimpleName = new Map();
+    /** FQN -> kind (class/interface/enum). */
+    kindByFqn = new Map();
+    /** FQN -> directly-declared methods (all overloads). */
+    methodsByFqn = new Map();
+    /** FQN -> parent FQNs (extends/implements, resolved where possible). */
+    parentsByFqn = new Map();
+    addFile(file) {
+        for (const t of file.types) {
+            const list = this.typesBySimpleName.get(t.name) ?? [];
+            if (!list.includes(t.id))
+                list.push(t.id);
+            this.typesBySimpleName.set(t.name, list);
+            this.kindByFqn.set(t.id, t.kind);
+            this.parentsByFqn.set(t.id, t.extendsTypes.concat(t.implementsTypes));
+        }
+        for (const m of file.methods) {
+            const list = this.methodsByFqn.get(m.typeId) ?? [];
+            list.push(m);
+            this.methodsByFqn.set(m.typeId, list);
+        }
+    }
+    /** Resolve a (possibly qualified) type name to candidate FQNs. */
+    resolveType(name) {
+        const trimmed = name.trim();
+        if (!trimmed)
+            return [];
+        // Exact FQN match?
+        if (this.kindByFqn.has(trimmed))
+            return [trimmed];
+        // Simple name match.
+        const simple = trimmed.includes(".") ? trimmed.split(".").pop() : trimmed;
+        return this.typesBySimpleName.get(simple) ?? [];
+    }
+    /** All methods named `methodName` declared on a type (or inherited). */
+    findMethods(typeFqn, methodName, visited = new Set(), depth = 0) {
+        if (depth > 10 || visited.has(typeFqn))
+            return [];
+        visited.add(typeFqn);
+        const direct = (this.methodsByFqn.get(typeFqn) ?? []).filter((m) => m.name === methodName);
+        if (direct.length > 0)
+            return direct;
+        for (const parent of this.parentsByFqn.get(typeFqn) ?? []) {
+            const resolved = this.resolveType(parent);
+            for (const p of resolved) {
+                const found = this.findMethods(p, methodName, visited, depth + 1);
+                if (found.length > 0)
+                    return found;
+            }
+        }
+        return [];
+    }
+    /** True when a type declares (or inherits) the named method. */
+    hasMethod(typeFqn, methodName) {
+        return this.findMethods(typeFqn, methodName).length > 0;
+    }
+}
+/** Build a TypeIndex from many parsed files. */
+export function buildTypeIndex(files) {
+    const index = new TypeIndex();
+    for (const f of files)
+        index.addFile(f);
+    return index;
+}
+/** Node id for an unresolved (phantom) call. */
+export function phantomNodeId(call) {
+    const label = call.isConstructorCall
+        ? `new ${call.name}`
+        : call.receiver
+            ? `${call.receiver}.${call.name}`
+            : call.name;
+    return `__unknown__:${label}`;
+}
+//# sourceMappingURL=types.js.map

package/dist/resolver/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/resolver/types.ts"],"names":[],"mappings":"AAsBA;;;GAGG;AACH,MAAM,OAAO,SAAS;IACpB,4DAA4D;IAC5D,iBAAiB,GAAG,IAAI,GAAG,EAAoB,CAAC;IAChD,0CAA0C;IAC1C,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAC;IACxC,wDAAwD;IACxD,YAAY,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC/C,wEAAwE;IACxE,YAAY,GAAG,IAAI,GAAG,EAAoB,CAAC;IAE3C,OAAO,CAAC,IAAgB;QACtB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACtD,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;gBAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC1C,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACzC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YACjC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC;QACxE,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YACnD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACb,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IAED,kEAAkE;IAClE,WAAW,CAAC,IAAY;QACtB,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5B,IAAI,CAAC,OAAO;YAAE,OAAO,EAAE,CAAC;QACxB,mBAAmB;QACnB,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QAClD,qBAAqB;QACrB,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAG,CAAC,CAAC,CAAC,OAAO,CAAC;QAC3E,OAAO,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IAClD,CAAC;IAED,wEAAwE;IACxE,WAAW,CAAC,OAAe,EAAE,UAAkB,EAAE,UAAU,IAAI,GAAG,EAAU,EAAE,KAAK,GAAG,CAAC;QACrF,IAAI,KAAK,GAAG,EAAE,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,OAAO,EAAE,CAAC;QAClD,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACrB,MAAM,MAAM,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;QAC3F,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,MAAM,CAAC;QACrC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;YAC1D,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;YAC1C,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACzB,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBAClE,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;oBAAE,OAAO,KAAK,CAAC;YACrC,CAAC;QACH,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,gEAAgE;IAChE,SAAS,CAAC,OAAe,EAAE,UAAkB;QAC3C,OAAO,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;IAC1D,CAAC;CACF;AAED,gDAAgD;AAChD,MAAM,UAAU,cAAc,CAAC,KAAmB;IAChD,MAAM,KAAK,GAAG,IAAI,SAAS,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACxC,OAAO,KAAK,CAAC;AACf,CAAC;AAED,gDAAgD;AAChD,MAAM,UAAU,aAAa,CAAC,IAAc;IAC1C,MAAM,KAAK,GAAG,IAAI,CAAC,iBAAiB;QAClC,CAAC,CAAC,OAAO,IAAI,CAAC,IAAI,EAAE;QACpB,CAAC,CAAC,IAAI,CAAC,QAAQ;YACb,CAAC,CAAC,GAAG,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE;YACjC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;IAChB,OAAO,eAAe,KAAK,EAAE,CAAC;AAChC,CAAC"}

package/dist/server.d.ts

@@ -0,0 +1,15 @@
+import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
+import type { GraphStore } from "./graph/store.js";
+import type { Config } from "./config.js";
+import { loadConfig } from "./config.js";
+/**
+ * MCP server surface for code-crawler.
+ *
+ * Thin tool handlers: every tool delegates to the graph/queries/crawler layers
+ * and formats the result as JSON text. Line numbers are converted from the
+ * internal 0-based convention to 1-based for LLM consumption.
+ */
+export declare const SERVER_NAME = "code-crawler";
+export declare const SERVER_VERSION = "0.1.0";
+export declare function createServer(store: GraphStore, config: Config): McpServer;
+export { loadConfig };