circle-ir 3.1.0

package/dist/resolution/symbol-table.js

@@ -0,0 +1,336 @@
+/**
+ * Symbol Table for Cross-File Resolution
+ *
+ * Tracks what each file exports (classes, methods, fields) and imports,
+ * enabling resolution of cross-file references.
+ */
+/**
+ * SymbolTable - Tracks exports and imports across project files
+ */
+export class SymbolTable {
+    // All exported symbols by FQN
+    exports = new Map();
+    // Simple name -> FQNs (for ambiguous resolution)
+    nameToFqns = new Map();
+    // File -> its imports
+    fileImports = new Map();
+    // Package -> exported types in that package
+    packageTypes = new Map();
+    // FQN -> file path
+    fqnToFile = new Map();
+    /**
+     * Add exports and imports from a CircleIR analysis result
+     */
+    addFromIR(ir, filePath) {
+        const pkg = ir.meta.package || '';
+        // Process types and their members
+        for (const type of ir.types) {
+            this.addTypeExports(type, filePath, pkg);
+        }
+        // Process imports
+        this.addFileImports(ir.imports, filePath);
+        // Process explicit exports if available
+        for (const exp of ir.exports) {
+            this.addExplicitExport(exp, filePath, pkg);
+        }
+    }
+    /**
+     * Add type and its members as exports
+     */
+    addTypeExports(type, filePath, pkg) {
+        const fqn = pkg ? `${pkg}.${type.name}` : type.name;
+        const visibility = this.getVisibility(type.annotations);
+        // Add type itself
+        const typeExport = {
+            name: type.name,
+            fqn,
+            kind: type.kind,
+            file: filePath,
+            line: type.start_line,
+            visibility,
+        };
+        this.registerExport(typeExport);
+        // Track in package
+        if (!this.packageTypes.has(pkg)) {
+            this.packageTypes.set(pkg, new Set());
+        }
+        this.packageTypes.get(pkg).add(fqn);
+        // Add methods
+        for (const method of type.methods) {
+            this.addMethodExport(method, fqn, filePath);
+        }
+        // Add fields
+        for (const field of type.fields) {
+            this.addFieldExport(field, fqn, filePath);
+        }
+    }
+    /**
+     * Add a method as an export
+     */
+    addMethodExport(method, parentFqn, filePath) {
+        const methodFqn = `${parentFqn}.${method.name}`;
+        const signature = method.parameters.map(p => p.type || 'Object').join(',');
+        const visibility = this.getVisibilityFromModifiers(method.modifiers);
+        const methodExport = {
+            name: method.name,
+            fqn: methodFqn,
+            kind: 'method',
+            file: filePath,
+            line: method.start_line,
+            visibility,
+            parentType: parentFqn,
+            signature,
+        };
+        this.registerExport(methodExport);
+    }
+    /**
+     * Add a field as an export
+     */
+    addFieldExport(field, parentFqn, filePath) {
+        const fieldFqn = `${parentFqn}.${field.name}`;
+        const visibility = this.getVisibilityFromModifiers(field.modifiers);
+        const fieldExport = {
+            name: field.name,
+            fqn: fieldFqn,
+            kind: 'field',
+            file: filePath,
+            line: 0, // Fields don't have line numbers in current TypeInfo
+            visibility,
+            parentType: parentFqn,
+        };
+        this.registerExport(fieldExport);
+    }
+    /**
+     * Register an export in all indexes
+     */
+    registerExport(symbol) {
+        this.exports.set(symbol.fqn, symbol);
+        this.fqnToFile.set(symbol.fqn, symbol.file);
+        if (!this.nameToFqns.has(symbol.name)) {
+            this.nameToFqns.set(symbol.name, new Set());
+        }
+        this.nameToFqns.get(symbol.name).add(symbol.fqn);
+    }
+    /**
+     * Add imports for a file
+     */
+    addFileImports(imports, filePath) {
+        const fileImport = {
+            imports,
+            resolved: new Map(),
+            wildcardPackages: [],
+        };
+        for (const imp of imports) {
+            if (imp.is_wildcard && imp.from_package) {
+                // Wildcard import: import java.util.*
+                fileImport.wildcardPackages.push(imp.from_package);
+            }
+            else if (imp.from_package && imp.imported_name !== '*') {
+                // Specific import: import java.util.ArrayList
+                const fqn = `${imp.from_package}.${imp.imported_name}`;
+                fileImport.resolved.set(imp.imported_name, fqn);
+            }
+        }
+        this.fileImports.set(filePath, fileImport);
+    }
+    /**
+     * Add explicit export declaration
+     */
+    addExplicitExport(exp, filePath, pkg) {
+        const fqn = pkg ? `${pkg}.${exp.symbol}` : exp.symbol;
+        // Only add if not already registered (types take precedence)
+        if (!this.exports.has(fqn)) {
+            const symbol = {
+                name: exp.symbol,
+                fqn,
+                kind: exp.kind,
+                file: filePath,
+                line: 0,
+                visibility: exp.visibility,
+            };
+            this.registerExport(symbol);
+        }
+    }
+    /**
+     * Resolve a simple name to its FQN from a given file's context
+     */
+    resolveSymbol(name, fromFile) {
+        // Check if already FQN
+        if (this.exports.has(name)) {
+            return this.exports.get(name);
+        }
+        // Check file's specific imports
+        const fileImport = this.fileImports.get(fromFile);
+        if (fileImport) {
+            const resolved = fileImport.resolved.get(name);
+            if (resolved && this.exports.has(resolved)) {
+                return this.exports.get(resolved);
+            }
+            // Check wildcard imports
+            for (const pkg of fileImport.wildcardPackages) {
+                const fqn = `${pkg}.${name}`;
+                if (this.exports.has(fqn)) {
+                    return this.exports.get(fqn);
+                }
+            }
+        }
+        // Check by simple name (may be ambiguous)
+        const fqns = this.nameToFqns.get(name);
+        if (fqns && fqns.size === 1) {
+            return this.exports.get(Array.from(fqns)[0]);
+        }
+        return undefined;
+    }
+    /**
+     * Resolve a type name to FQN, considering imports
+     */
+    resolveTypeName(name, fromFile) {
+        const symbol = this.resolveSymbol(name, fromFile);
+        if (symbol && (symbol.kind === 'class' || symbol.kind === 'interface' || symbol.kind === 'enum')) {
+            return symbol.fqn;
+        }
+        return undefined;
+    }
+    /**
+     * Get all methods of a type by FQN
+     */
+    getMethodsOfType(typeFqn) {
+        const results = [];
+        for (const symbol of this.exports.values()) {
+            if (symbol.kind === 'method' && symbol.parentType === typeFqn) {
+                results.push(symbol);
+            }
+        }
+        return results;
+    }
+    /**
+     * Find a method by name in a type
+     */
+    findMethod(typeFqn, methodName) {
+        const methodFqn = `${typeFqn}.${methodName}`;
+        return this.exports.get(methodFqn);
+    }
+    /**
+     * Get the file where a symbol is defined
+     */
+    getFile(fqn) {
+        return this.fqnToFile.get(fqn);
+    }
+    /**
+     * Get all exported symbols from a file
+     */
+    getFileExports(filePath) {
+        const results = [];
+        for (const symbol of this.exports.values()) {
+            if (symbol.file === filePath) {
+                results.push(symbol);
+            }
+        }
+        return results;
+    }
+    /**
+     * Get all types in a package
+     */
+    getPackageTypes(packageName) {
+        return Array.from(this.packageTypes.get(packageName) || []);
+    }
+    /**
+     * Get all known packages
+     */
+    getPackages() {
+        return Array.from(this.packageTypes.keys());
+    }
+    /**
+     * Check if a symbol exists
+     */
+    hasSymbol(fqn) {
+        return this.exports.has(fqn);
+    }
+    /**
+     * Get symbol by FQN
+     */
+    getSymbol(fqn) {
+        return this.exports.get(fqn);
+    }
+    /**
+     * Get all possible FQNs for a simple name
+     */
+    getPossibleFqns(simpleName) {
+        return Array.from(this.nameToFqns.get(simpleName) || []);
+    }
+    /**
+     * Get imports for a file
+     */
+    getFileImports(filePath) {
+        return this.fileImports.get(filePath)?.imports || [];
+    }
+    /**
+     * Get statistics
+     */
+    getStats() {
+        let types = 0, methods = 0, fields = 0;
+        const files = new Set();
+        for (const symbol of this.exports.values()) {
+            files.add(symbol.file);
+            if (symbol.kind === 'class' || symbol.kind === 'interface' || symbol.kind === 'enum') {
+                types++;
+            }
+            else if (symbol.kind === 'method') {
+                methods++;
+            }
+            else if (symbol.kind === 'field') {
+                fields++;
+            }
+        }
+        return {
+            totalSymbols: this.exports.size,
+            types,
+            methods,
+            fields,
+            files: files.size,
+            packages: this.packageTypes.size,
+        };
+    }
+    /**
+     * Clear all data
+     */
+    clear() {
+        this.exports.clear();
+        this.nameToFqns.clear();
+        this.fileImports.clear();
+        this.packageTypes.clear();
+        this.fqnToFile.clear();
+    }
+    // --- Private helpers ---
+    /**
+     * Extract visibility from annotations (for types)
+     */
+    getVisibility(_annotations) {
+        // Types in Java are public by default if in their own file
+        // For simplicity, assume public unless we find evidence otherwise
+        return 'public';
+    }
+    /**
+     * Extract visibility from modifiers
+     */
+    getVisibilityFromModifiers(modifiers) {
+        if (modifiers.includes('public'))
+            return 'public';
+        if (modifiers.includes('protected'))
+            return 'protected';
+        if (modifiers.includes('private'))
+            return 'private';
+        return 'package';
+    }
+}
+/**
+ * Build a symbol table from multiple IR results
+ */
+export function buildSymbolTable(files) {
+    const table = new SymbolTable();
+    for (const { ir, path } of files) {
+        table.addFromIR(ir, path);
+    }
+    return table;
+}
+//# sourceMappingURL=symbol-table.js.map

package/dist/resolution/symbol-table.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbol-table.js","sourceRoot":"","sources":["../../src/resolution/symbol-table.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAoCH;;GAEG;AACH,MAAM,OAAO,WAAW;IACtB,8BAA8B;IACtB,OAAO,GAAgC,IAAI,GAAG,EAAE,CAAC;IAEzD,iDAAiD;IACzC,UAAU,GAA6B,IAAI,GAAG,EAAE,CAAC;IAEzD,sBAAsB;IACd,WAAW,GAA6B,IAAI,GAAG,EAAE,CAAC;IAE1D,4CAA4C;IACpC,YAAY,GAA6B,IAAI,GAAG,EAAE,CAAC;IAE3D,mBAAmB;IACX,SAAS,GAAwB,IAAI,GAAG,EAAE,CAAC;IAEnD;;OAEG;IACH,SAAS,CAAC,EAAY,EAAE,QAAgB;QACtC,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC;QAElC,kCAAkC;QAClC,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;YAC5B,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;QAC3C,CAAC;QAED,kBAAkB;QAClB,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QAE1C,wCAAwC;QACxC,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;YAC7B,IAAI,CAAC,iBAAiB,CAAC,GAAG,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IAED;;OAEG;IACK,cAAc,CAAC,IAAc,EAAE,QAAgB,EAAE,GAAW;QAClE,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACpD,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAExD,kBAAkB;QAClB,MAAM,UAAU,GAAmB;YACjC,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,GAAG;YACH,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,IAAI,CAAC,UAAU;YACrB,UAAU;SACX,CAAC;QAEF,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;QAEhC,mBAAmB;QACnB,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAChC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QACxC,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAErC,cAAc;QACd,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAClC,IAAI,CAAC,eAAe,CAAC,MAAM,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;QAC9C,CAAC;QAED,aAAa;QACb,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChC,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;IAED;;OAEG;IACK,eAAe,CAAC,MAAkB,EAAE,SAAiB,EAAE,QAAgB;QAC7E,MAAM,SAAS,GAAG,GAAG,SAAS,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAChD,MAAM,SAAS,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3E,MAAM,UAAU,GAAG,IAAI,CAAC,0BAA0B,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAErE,MAAM,YAAY,GAAmB;YACnC,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,GAAG,EAAE,SAAS;YACd,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,MAAM,CAAC,UAAU;YACvB,UAAU;YACV,UAAU,EAAE,SAAS;YACrB,SAAS;SACV,CAAC;QAEF,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC;IACpC,CAAC;IAED;;OAEG;IACK,cAAc,CAAC,KAAgB,EAAE,SAAiB,EAAE,QAAgB;QAC1E,MAAM,QAAQ,GAAG,GAAG,SAAS,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QAC9C,MAAM,UAAU,GAAG,IAAI,CAAC,0BAA0B,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAEpE,MAAM,WAAW,GAAmB;YAClC,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,GAAG,EAAE,QAAQ;YACb,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,EAAE,qDAAqD;YAC9D,UAAU;YACV,UAAU,EAAE,SAAS;SACtB,CAAC;QAEF,IAAI,CAAC,cAAc,CAAC,WAAW,CAAC,CAAC;IACnC,CAAC;IAED;;OAEG;IACK,cAAc,CAAC,MAAsB;QAC3C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACrC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;QAE5C,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YACtC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QAC9C,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAE,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACpD,CAAC;IAED;;OAEG;IACK,cAAc,CAAC,OAAqB,EAAE,QAAgB;QAC5D,MAAM,UAAU,GAAgB;YAC9B,OAAO;YACP,QAAQ,EAAE,IAAI,GAAG,EAAE;YACnB,gBAAgB,EAAE,EAAE;SACrB,CAAC;QAEF,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC1B,IAAI,GAAG,CAAC,WAAW,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;gBACxC,sCAAsC;gBACtC,UAAU,CAAC,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;YACrD,CAAC;iBAAM,IAAI,GAAG,CAAC,YAAY,IAAI,GAAG,CAAC,aAAa,KAAK,GAAG,EAAE,CAAC;gBACzD,8CAA8C;gBAC9C,MAAM,GAAG,GAAG,GAAG,GAAG,CAAC,YAAY,IAAI,GAAG,CAAC,aAAa,EAAE,CAAC;gBACvD,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC;YAClD,CAAC;QACH,CAAC;QAED,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC7C,CAAC;IAED;;OAEG;IACK,iBAAiB,CAAC,GAAe,EAAE,QAAgB,EAAE,GAAW;QACtE,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC;QAEtD,6DAA6D;QAC7D,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC3B,MAAM,MAAM,GAAmB;gBAC7B,IAAI,EAAE,GAAG,CAAC,MAAM;gBAChB,GAAG;gBACH,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,CAAC;gBACP,UAAU,EAAE,GAAG,CAAC,UAAU;aAC3B,CAAC;YACF,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IAED;;OAEG;IACH,aAAa,CAAC,IAAY,EAAE,QAAgB;QAC1C,uBAAuB;QACvB,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChC,CAAC;QAED,gCAAgC;QAChC,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAClD,IAAI,UAAU,EAAE,CAAC;YACf,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC/C,IAAI,QAAQ,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC3C,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACpC,CAAC;YAED,yBAAyB;YACzB,KAAK,MAAM,GAAG,IAAI,UAAU,CAAC,gBAAgB,EAAE,CAAC;gBAC9C,MAAM,GAAG,GAAG,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC;gBAC7B,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC1B,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC/B,CAAC;YACH,CAAC;QACH,CAAC;QAED,0CAA0C;QAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YAC5B,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED;;OAEG;IACH,eAAe,CAAC,IAAY,EAAE,QAAgB;QAC5C,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAClD,IAAI,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,CAAC;YACjG,OAAO,MAAM,CAAC,GAAG,CAAC;QACpB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED;;OAEG;IACH,gBAAgB,CAAC,OAAe;QAC9B,MAAM,OAAO,GAAqB,EAAE,CAAC;QACrC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;YAC3C,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,UAAU,KAAK,OAAO,EAAE,CAAC;gBAC9D,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACvB,CAAC;QACH,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;OAEG;IACH,UAAU,CAAC,OAAe,EAAE,UAAkB;QAC5C,MAAM,SAAS,GAAG,GAAG,OAAO,IAAI,UAAU,EAAE,CAAC;QAC7C,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACrC,CAAC;IAED;;OAEG;IACH,OAAO,CAAC,GAAW;QACjB,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACjC,CAAC;IAED;;OAEG;IACH,cAAc,CAAC,QAAgB;QAC7B,MAAM,OAAO,GAAqB,EAAE,CAAC;QACrC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;YAC3C,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC7B,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACvB,CAAC;QACH,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;OAEG;IACH,eAAe,CAAC,WAAmB;QACjC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC;IAC9D,CAAC;IAED;;OAEG;IACH,WAAW;QACT,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC;IAC9C,CAAC;IAED;;OAEG;IACH,SAAS,CAAC,GAAW;QACnB,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC/B,CAAC;IAED;;OAEG;IACH,SAAS,CAAC,GAAW;QACnB,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC/B,CAAC;IAED;;OAEG;IACH,eAAe,CAAC,UAAkB;QAChC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;IAC3D,CAAC;IAED;;OAEG;IACH,cAAc,CAAC,QAAgB;QAC7B,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,OAAO,IAAI,EAAE,CAAC;IACvD,CAAC;IAED;;OAEG;IACH,QAAQ;QAQN,IAAI,KAAK,GAAG,CAAC,EAAE,OAAO,GAAG,CAAC,EAAE,MAAM,GAAG,CAAC,CAAC;QACvC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;QAEhC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;YAC3C,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACvB,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACrF,KAAK,EAAE,CAAC;YACV,CAAC;iBAAM,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACpC,OAAO,EAAE,CAAC;YACZ,CAAC;iBAAM,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBACnC,MAAM,EAAE,CAAC;YACX,CAAC;QACH,CAAC;QAED,OAAO;YACL,YAAY,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI;YAC/B,KAAK;YACL,OAAO;YACP,MAAM;YACN,KAAK,EAAE,KAAK,CAAC,IAAI;YACjB,QAAQ,EAAE,IAAI,CAAC,YAAY,CAAC,IAAI;SACjC,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,KAAK;QACH,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QACrB,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;QACxB,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;QAC1B,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;IACzB,CAAC;IAED,0BAA0B;IAE1B;;OAEG;IACK,aAAa,CAAC,YAAsB;QAC1C,2DAA2D;QAC3D,kEAAkE;QAClE,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED;;OAEG;IACK,0BAA0B,CAAC,SAAmB;QACpD,IAAI,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAAE,OAAO,QAAQ,CAAC;QAClD,IAAI,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC;YAAE,OAAO,WAAW,CAAC;QACxD,IAAI,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC;YAAE,OAAO,SAAS,CAAC;QACpD,OAAO,SAAS,CAAC;IACnB,CAAC;CACF;AAED;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAA4C;IAC3E,MAAM,KAAK,GAAG,IAAI,WAAW,EAAE,CAAC;IAChC,KAAK,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,KAAK,EAAE,CAAC;QACjC,KAAK,CAAC,SAAS,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IAC5B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/resolution/type-hierarchy.d.ts

@@ -0,0 +1,124 @@
+/**
+ * Type Hierarchy Resolution
+ *
+ * Tracks class inheritance and interface implementations across files
+ * to enable polymorphic sink detection.
+ *
+ * Example: When sink is Statement.executeQuery(), we can match calls
+ * on PreparedStatement, CallableStatement, or any other subtype.
+ */
+import type { TypeInfo, TypeHierarchy as TypeHierarchyData, CircleIR } from '../types/index.js';
+/**
+ * Node representation for hierarchy tracking
+ */
+export interface TypeNode {
+    name: string;
+    fqn: string;
+    kind: 'class' | 'interface' | 'enum';
+    extends: string | null;
+    implements: string[];
+    extendsInterfaces: string[];
+    file: string;
+    line: number;
+}
+/**
+ * TypeHierarchyResolver - Builds and queries type inheritance relationships
+ */
+export declare class TypeHierarchyResolver {
+    private types;
+    private nameToFqn;
+    private subtypes;
+    private implementations;
+    /**
+     * Add types from a CircleIR analysis result
+     */
+    addFromIR(ir: CircleIR, filePath: string): void;
+    /**
+     * Add a single type to the hierarchy
+     */
+    addType(type: TypeInfo, filePath: string, defaultPackage?: string | null): void;
+    /**
+     * Get all direct subtypes of a class
+     */
+    getDirectSubtypes(className: string): string[];
+    /**
+     * Get all subtypes (transitive) of a class
+     */
+    getAllSubtypes(className: string): string[];
+    /**
+     * Get all direct implementations of an interface
+     */
+    getDirectImplementations(interfaceName: string): string[];
+    /**
+     * Get all implementations (including through subinterfaces) of an interface
+     */
+    getAllImplementations(interfaceName: string): string[];
+    /**
+     * Check if a type is a subtype of another (including transitive)
+     */
+    isSubtypeOf(childName: string, parentName: string): boolean;
+    /**
+     * Check if a type implements an interface (directly or through inheritance)
+     * Also handles interface-extends-interface relationships
+     */
+    implementsInterface(typeName: string, interfaceName: string): boolean;
+    /**
+     * Get type info by name
+     */
+    getType(name: string): TypeNode | undefined;
+    /**
+     * Get all types matching a simple name
+     */
+    getTypesByName(simpleName: string): TypeNode[];
+    /**
+     * Get the file where a type is defined
+     */
+    getTypeFile(name: string): string | undefined;
+    /**
+     * Check if a receiver type could match a target class
+     * Handles: exact match, subtype, implementation, simple name match
+     */
+    couldBeType(receiverType: string, targetClass: string): boolean;
+    /**
+     * Export hierarchy data in the CircleIR format
+     */
+    toTypeHierarchyData(): TypeHierarchyData;
+    /**
+     * Get statistics about the hierarchy
+     */
+    getStats(): {
+        totalTypes: number;
+        classes: number;
+        interfaces: number;
+        enums: number;
+    };
+    /**
+     * Get all types in the hierarchy
+     */
+    getAllTypes(): TypeNode[];
+    /**
+     * Clear all data
+     */
+    clear(): void;
+    /**
+     * Resolve a type name to its FQN
+     */
+    private resolveTypeName;
+    /**
+     * Resolve a name (simple or FQN) to its FQN
+     */
+    private resolveFqn;
+    /**
+     * Get simple name from FQN
+     */
+    private getSimpleName;
+    /**
+     * Get package from FQN
+     */
+    private getPackage;
+}
+/**
+ * Pre-populated common Java type hierarchy
+ * These are standard JDK types that code often extends/implements
+ */
+export declare function createWithJdkTypes(): TypeHierarchyResolver;