| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970 |
- /**
- * Resolution Module Tests
- *
- * Tests for Phase 3: Reference Resolution
- */
- import { describe, it, expect, beforeEach, afterEach } from 'vitest';
- import * as fs from 'fs';
- import * as path from 'path';
- import * as os from 'os';
- import { CodeGraph } from '../src';
- import { Node, UnresolvedReference } from '../src/types';
- import { ReferenceResolver, createResolver, ResolutionContext } from '../src/resolution';
- import { matchReference } from '../src/resolution/name-matcher';
- import { resolveImportPath, extractImportMappings } from '../src/resolution/import-resolver';
- import { detectFrameworks, getAllFrameworkResolvers } from '../src/resolution/frameworks';
- import { QueryBuilder } from '../src/db/queries';
- import { DatabaseConnection } from '../src/db';
- describe('Resolution Module', () => {
- let tempDir: string;
- let cg: CodeGraph;
- beforeEach(() => {
- // Create temp directory
- tempDir = fs.mkdtempSync(path.join(os.tmpdir(), 'codegraph-resolution-test-'));
- });
- afterEach(() => {
- // Clean up
- if (cg) {
- cg.destroy();
- } else if (fs.existsSync(tempDir)) {
- fs.rmSync(tempDir, { recursive: true });
- }
- });
- describe('Name Matcher', () => {
- it('should match exact name references', () => {
- // Create a mock context
- const mockNodes: Node[] = [
- {
- id: 'func:test.ts:myFunction:10',
- kind: 'function',
- name: 'myFunction',
- qualifiedName: 'test.ts::myFunction',
- filePath: 'test.ts',
- language: 'typescript',
- startLine: 10,
- endLine: 20,
- startColumn: 0,
- endColumn: 0,
- updatedAt: Date.now(),
- },
- ];
- const context: ResolutionContext = {
- getNodesInFile: () => mockNodes,
- getNodesByName: (name) => mockNodes.filter((n) => n.name === name),
- getNodesByQualifiedName: () => [],
- getNodesByKind: () => [],
- fileExists: () => true,
- readFile: () => null,
- getProjectRoot: () => '/test',
- getAllFiles: () => ['test.ts'],
- };
- const ref = {
- fromNodeId: 'caller:main.ts:caller:5',
- referenceName: 'myFunction',
- referenceKind: 'calls' as const,
- line: 5,
- column: 10,
- filePath: 'main.ts',
- language: 'typescript' as const,
- };
- const result = matchReference(ref, context);
- expect(result).not.toBeNull();
- expect(result?.targetNodeId).toBe('func:test.ts:myFunction:10');
- expect(result?.resolvedBy).toBe('exact-match');
- });
- it('should prefer same-module candidates over cross-module matches', () => {
- // Simulates a Python monorepo where multiple apps define navigate()
- const candidateA: Node = {
- id: 'func:apps/app_a/src/server.py:navigate:10',
- kind: 'function',
- name: 'navigate',
- qualifiedName: 'apps/app_a/src/server.py::navigate',
- filePath: 'apps/app_a/src/server.py',
- language: 'python',
- startLine: 10,
- endLine: 20,
- startColumn: 0,
- endColumn: 0,
- updatedAt: Date.now(),
- };
- const candidateB: Node = {
- id: 'func:apps/app_b/src/server.py:navigate:15',
- kind: 'function',
- name: 'navigate',
- qualifiedName: 'apps/app_b/src/server.py::navigate',
- filePath: 'apps/app_b/src/server.py',
- language: 'python',
- startLine: 15,
- endLine: 25,
- startColumn: 0,
- endColumn: 0,
- updatedAt: Date.now(),
- };
- const context: ResolutionContext = {
- getNodesInFile: () => [],
- getNodesByName: (name) => name === 'navigate' ? [candidateA, candidateB] : [],
- getNodesByQualifiedName: () => [],
- getNodesByKind: () => [],
- fileExists: () => true,
- readFile: () => null,
- getProjectRoot: () => '/test',
- getAllFiles: () => [],
- getNodesByLowerName: () => [],
- getImportMappings: () => [],
- };
- // Reference from app_a should resolve to app_a's navigate, not app_b's
- const ref = {
- fromNodeId: 'func:apps/app_a/src/handler.py:handler:5',
- referenceName: 'navigate',
- referenceKind: 'calls' as const,
- line: 5,
- column: 10,
- filePath: 'apps/app_a/src/handler.py',
- language: 'python' as const,
- };
- const result = matchReference(ref, context);
- expect(result).not.toBeNull();
- expect(result?.targetNodeId).toBe('func:apps/app_a/src/server.py:navigate:10');
- expect(result?.resolvedBy).toBe('exact-match');
- });
- it('should lower confidence for cross-module exact matches', () => {
- // Only one candidate but in a completely different module
- const candidates: Node[] = [
- {
- id: 'func:apps/app_b/src/server.py:navigate:10',
- kind: 'function',
- name: 'navigate',
- qualifiedName: 'apps/app_b/src/server.py::navigate',
- filePath: 'apps/app_b/src/server.py',
- language: 'python',
- startLine: 10,
- endLine: 20,
- startColumn: 0,
- endColumn: 0,
- updatedAt: Date.now(),
- },
- {
- id: 'func:apps/app_c/src/server.py:navigate:10',
- kind: 'function',
- name: 'navigate',
- qualifiedName: 'apps/app_c/src/server.py::navigate',
- filePath: 'apps/app_c/src/server.py',
- language: 'python',
- startLine: 10,
- endLine: 20,
- startColumn: 0,
- endColumn: 0,
- updatedAt: Date.now(),
- },
- ];
- const context: ResolutionContext = {
- getNodesInFile: () => [],
- getNodesByName: (name) => name === 'navigate' ? candidates : [],
- getNodesByQualifiedName: () => [],
- getNodesByKind: () => [],
- fileExists: () => true,
- readFile: () => null,
- getProjectRoot: () => '/test',
- getAllFiles: () => [],
- getNodesByLowerName: () => [],
- getImportMappings: () => [],
- };
- // Reference from app_a — neither candidate is in the same module
- const ref = {
- fromNodeId: 'func:apps/app_a/src/handler.py:handler:5',
- referenceName: 'navigate',
- referenceKind: 'calls' as const,
- line: 5,
- column: 10,
- filePath: 'apps/app_a/src/handler.py',
- language: 'python' as const,
- };
- const result = matchReference(ref, context);
- // Should still resolve but with low confidence
- expect(result).not.toBeNull();
- expect(result?.confidence).toBeLessThanOrEqual(0.4);
- });
- it('should match qualified name references', () => {
- const mockClassNode: Node = {
- id: 'class:user.ts:User:5',
- kind: 'class',
- name: 'User',
- qualifiedName: 'user.ts::User',
- filePath: 'user.ts',
- language: 'typescript',
- startLine: 5,
- endLine: 30,
- startColumn: 0,
- endColumn: 0,
- updatedAt: Date.now(),
- };
- const mockMethodNode: Node = {
- id: 'method:user.ts:User.save:15',
- kind: 'method',
- name: 'save',
- qualifiedName: 'user.ts::User::save',
- filePath: 'user.ts',
- language: 'typescript',
- startLine: 15,
- endLine: 25,
- startColumn: 0,
- endColumn: 0,
- updatedAt: Date.now(),
- };
- const context: ResolutionContext = {
- getNodesInFile: (fp) => fp === 'user.ts' ? [mockClassNode, mockMethodNode] : [],
- getNodesByName: (name) => {
- if (name === 'User') return [mockClassNode];
- if (name === 'save') return [mockMethodNode];
- return [];
- },
- getNodesByQualifiedName: (qn) => {
- if (qn === 'user.ts::User::save') return [mockMethodNode];
- return [];
- },
- getNodesByKind: () => [],
- fileExists: () => true,
- readFile: () => null,
- getProjectRoot: () => '/test',
- getAllFiles: () => ['user.ts'],
- };
- const ref = {
- fromNodeId: 'caller:main.ts:main:5',
- referenceName: 'User.save',
- referenceKind: 'calls' as const,
- line: 5,
- column: 10,
- filePath: 'main.ts',
- language: 'typescript' as const,
- };
- const result = matchReference(ref, context);
- expect(result).not.toBeNull();
- expect(result?.targetNodeId).toBe('method:user.ts:User.save:15');
- });
- });
- describe('Import Resolver', () => {
- it('should resolve relative import paths', () => {
- const context: ResolutionContext = {
- getNodesInFile: () => [],
- getNodesByName: () => [],
- getNodesByQualifiedName: () => [],
- getNodesByKind: () => [],
- fileExists: (p) => p === 'src/components/utils.ts' || p === 'src/components/utils/index.ts',
- readFile: () => null,
- getProjectRoot: () => '',
- getAllFiles: () => ['src/components/utils.ts', 'src/components/utils/index.ts'],
- };
- const result = resolveImportPath(
- './utils',
- 'src/components/Button.ts',
- 'typescript',
- context
- );
- expect(result).toBe('src/components/utils.ts');
- });
- it('should resolve parent directory imports', () => {
- const context: ResolutionContext = {
- getNodesInFile: () => [],
- getNodesByName: () => [],
- getNodesByQualifiedName: () => [],
- getNodesByKind: () => [],
- fileExists: (p) => p === 'src/helpers.ts' || p === 'src/helpers/index.ts',
- readFile: () => null,
- getProjectRoot: () => '',
- getAllFiles: () => ['src/helpers.ts', 'src/helpers/index.ts'],
- };
- const result = resolveImportPath(
- '../helpers',
- 'src/components/Button.ts',
- 'typescript',
- context
- );
- expect(result).toBe('src/helpers.ts');
- });
- it('should extract JS/TS import mappings', () => {
- const content = `
- import { foo } from './foo';
- import bar from '../bar';
- import * as utils from './utils';
- import { baz, qux } from './baz';
- `;
- const mappings = extractImportMappings(
- 'src/index.ts',
- content,
- 'typescript'
- );
- expect(mappings.length).toBeGreaterThan(0);
- expect(mappings.some((m) => m.localName === 'foo')).toBe(true);
- expect(mappings.some((m) => m.localName === 'bar')).toBe(true);
- });
- it('should extract Python import mappings', () => {
- const content = `
- from utils import helper
- from .models import User
- import os
- from ..services import auth_service
- `;
- const mappings = extractImportMappings(
- 'src/main.py',
- content,
- 'python'
- );
- expect(mappings.length).toBeGreaterThan(0);
- expect(mappings.some((m) => m.localName === 'helper')).toBe(true);
- expect(mappings.some((m) => m.localName === 'User')).toBe(true);
- });
- });
- describe('Framework Detection', () => {
- it('should detect React framework', () => {
- const context: ResolutionContext = {
- getNodesInFile: () => [],
- getNodesByName: () => [],
- getNodesByQualifiedName: () => [],
- getNodesByKind: () => [],
- fileExists: () => false,
- readFile: (p) => {
- if (p === 'package.json') {
- return JSON.stringify({
- dependencies: { react: '^18.0.0' },
- });
- }
- return null;
- },
- getProjectRoot: () => '/test',
- getAllFiles: () => ['package.json', 'src/App.tsx'],
- };
- const frameworks = detectFrameworks(context);
- expect(frameworks.some((f) => f.name === 'react')).toBe(true);
- });
- it('should detect Express framework', () => {
- const context: ResolutionContext = {
- getNodesInFile: () => [],
- getNodesByName: () => [],
- getNodesByQualifiedName: () => [],
- getNodesByKind: () => [],
- fileExists: () => false,
- readFile: (p) => {
- if (p === 'package.json') {
- return JSON.stringify({
- dependencies: { express: '^4.18.0' },
- });
- }
- return null;
- },
- getProjectRoot: () => '/test',
- getAllFiles: () => ['package.json', 'src/app.js'],
- };
- const frameworks = detectFrameworks(context);
- expect(frameworks.some((f) => f.name === 'express')).toBe(true);
- });
- it('should detect Laravel framework', () => {
- const context: ResolutionContext = {
- getNodesInFile: () => [],
- getNodesByName: () => [],
- getNodesByQualifiedName: () => [],
- getNodesByKind: () => [],
- fileExists: (p) => p === 'artisan',
- readFile: () => null,
- getProjectRoot: () => '/test',
- getAllFiles: () => ['artisan', 'app/Http/Kernel.php'],
- };
- const frameworks = detectFrameworks(context);
- expect(frameworks.some((f) => f.name === 'laravel')).toBe(true);
- });
- it('should return all framework resolvers', () => {
- const resolvers = getAllFrameworkResolvers();
- expect(resolvers.length).toBeGreaterThan(0);
- expect(resolvers.some((r) => r.name === 'react')).toBe(true);
- expect(resolvers.some((r) => r.name === 'express')).toBe(true);
- expect(resolvers.some((r) => r.name === 'laravel')).toBe(true);
- });
- });
- describe('React Framework Resolver', () => {
- it('should resolve React component references', () => {
- const mockNodes: Node[] = [
- {
- id: 'component:src/Button.tsx:Button:5',
- kind: 'component',
- name: 'Button',
- qualifiedName: 'src/Button.tsx::Button',
- filePath: 'src/Button.tsx',
- language: 'tsx',
- startLine: 5,
- endLine: 20,
- startColumn: 0,
- endColumn: 0,
- updatedAt: Date.now(),
- },
- ];
- const context: ResolutionContext = {
- getNodesInFile: (fp) => (fp === 'src/Button.tsx' ? mockNodes : []),
- getNodesByName: () => mockNodes,
- getNodesByQualifiedName: () => [],
- getNodesByKind: () => [],
- fileExists: () => false,
- readFile: (p) => {
- if (p === 'package.json') {
- return JSON.stringify({ dependencies: { react: '^18.0.0' } });
- }
- return null;
- },
- getProjectRoot: () => '/test',
- getAllFiles: () => ['package.json', 'src/Button.tsx', 'src/App.tsx'],
- };
- const frameworks = detectFrameworks(context);
- const reactResolver = frameworks.find((f) => f.name === 'react');
- expect(reactResolver).toBeDefined();
- const ref = {
- fromNodeId: 'component:src/App.tsx:App:1',
- referenceName: 'Button',
- referenceKind: 'renders' as const,
- line: 10,
- column: 5,
- filePath: 'src/App.tsx',
- language: 'typescript' as const,
- };
- const result = reactResolver!.resolve(ref, context);
- expect(result).not.toBeNull();
- expect(result?.targetNodeId).toBe('component:src/Button.tsx:Button:5');
- });
- it('should resolve custom hook references', () => {
- const mockNodes: Node[] = [
- {
- id: 'hook:src/hooks/useAuth.ts:useAuth:1',
- kind: 'function',
- name: 'useAuth',
- qualifiedName: 'src/hooks/useAuth.ts::useAuth',
- filePath: 'src/hooks/useAuth.ts',
- language: 'typescript',
- startLine: 1,
- endLine: 20,
- startColumn: 0,
- endColumn: 0,
- updatedAt: Date.now(),
- },
- ];
- const context: ResolutionContext = {
- getNodesInFile: (fp) => (fp.includes('useAuth') ? mockNodes : []),
- getNodesByName: () => mockNodes,
- getNodesByQualifiedName: () => [],
- getNodesByKind: () => [],
- fileExists: () => false,
- readFile: (p) => {
- if (p === 'package.json') {
- return JSON.stringify({ dependencies: { react: '^18.0.0' } });
- }
- return null;
- },
- getProjectRoot: () => '/test',
- getAllFiles: () => ['package.json', 'src/hooks/useAuth.ts'],
- };
- const frameworks = detectFrameworks(context);
- const reactResolver = frameworks.find((f) => f.name === 'react');
- const ref = {
- fromNodeId: 'component:src/App.tsx:App:1',
- referenceName: 'useAuth',
- referenceKind: 'calls' as const,
- line: 5,
- column: 10,
- filePath: 'src/App.tsx',
- language: 'typescript' as const,
- };
- const result = reactResolver!.resolve(ref, context);
- expect(result).not.toBeNull();
- expect(result?.targetNodeId).toBe('hook:src/hooks/useAuth.ts:useAuth:1');
- });
- });
- describe('Integration Tests', () => {
- it('should create resolver from CodeGraph instance', async () => {
- // Create a simple TypeScript project
- fs.writeFileSync(
- path.join(tempDir, 'package.json'),
- JSON.stringify({ name: 'test', dependencies: { react: '^18.0.0' } })
- );
- const srcDir = path.join(tempDir, 'src');
- fs.mkdirSync(srcDir);
- // Create utility file
- fs.writeFileSync(
- path.join(srcDir, 'utils.ts'),
- `export function formatDate(date: Date): string {
- return date.toISOString();
- }
- export function parseDate(str: string): Date {
- return new Date(str);
- }`
- );
- // Create main file that uses utils
- fs.writeFileSync(
- path.join(srcDir, 'main.ts'),
- `import { formatDate, parseDate } from './utils';
- function processDate(input: string): string {
- const date = parseDate(input);
- return formatDate(date);
- }`
- );
- // Initialize and index
- cg = await CodeGraph.init(tempDir, { index: true });
- // Check that resolver detected React framework
- const frameworks = cg.getDetectedFrameworks();
- expect(frameworks).toContain('react');
- // Get stats to verify indexing worked
- const stats = cg.getStats();
- expect(stats.fileCount).toBe(2);
- expect(stats.nodeCount).toBeGreaterThan(0);
- });
- it('should resolve references after indexing', async () => {
- // Create a project with references
- const srcDir = path.join(tempDir, 'src');
- fs.mkdirSync(srcDir, { recursive: true });
- fs.writeFileSync(
- path.join(srcDir, 'helper.ts'),
- `export function helperFunction(): void {
- console.log('helper');
- }`
- );
- fs.writeFileSync(
- path.join(srcDir, 'main.ts'),
- `import { helperFunction } from './helper';
- function main(): void {
- helperFunction();
- }`
- );
- cg = await CodeGraph.init(tempDir, { index: true });
- // Run reference resolution
- const result = cg.resolveReferences();
- // Should have attempted resolution
- expect(result.stats.total).toBeGreaterThanOrEqual(0);
- });
- it('promotes calls→instantiates when target resolves to a class (Python)', async () => {
- // Python has no `new` keyword — `Foo()` is the standard
- // instantiation syntax. Extraction can't tell that apart from
- // a function call without symbol info, so it emits a `calls`
- // ref. Resolution promotes it to `instantiates` once the
- // target is known to be a class.
- const srcDir = path.join(tempDir, 'src');
- fs.mkdirSync(srcDir, { recursive: true });
- fs.writeFileSync(
- path.join(srcDir, 'app.py'),
- `class UserService:
- def __init__(self):
- self.db = None
- def bootstrap():
- return UserService()
- `
- );
- cg = await CodeGraph.init(tempDir, { index: true });
- cg.resolveReferences();
- const bootstrap = cg
- .getNodesByKind('function')
- .find((n) => n.name === 'bootstrap');
- expect(bootstrap).toBeDefined();
- const outgoing = cg.getOutgoingEdges(bootstrap!.id);
- const instantiates = outgoing.find((e) => e.kind === 'instantiates');
- expect(instantiates).toBeDefined();
- // Same edge must NOT also appear as a `calls` edge — promotion
- // replaces the kind, doesn't duplicate.
- const callsToUserService = outgoing.filter(
- (e) => e.kind === 'calls' && e.target === instantiates!.target
- );
- expect(callsToUserService).toHaveLength(0);
- });
- it('resolves Go cross-package qualified calls via go.mod module path (#388)', async () => {
- // Pre-#388, every `pkga.FuncX(...)` call in a Go monorepo was flagged
- // external (isExternalImport returned true for any non-`/internal/`
- // import without `.`-prefix) and resolution fell through to name-match
- // with path proximity — recall on cross-package callers was ~<1%.
- fs.writeFileSync(
- path.join(tempDir, 'go.mod'),
- 'module github.com/example/myproject\n\ngo 1.21\n'
- );
- const pkgaDir = path.join(tempDir, 'pkga');
- const pkgbDir = path.join(tempDir, 'pkgb');
- const pkgcDir = path.join(tempDir, 'pkgc');
- fs.mkdirSync(pkgaDir);
- fs.mkdirSync(pkgbDir);
- fs.mkdirSync(pkgcDir);
- // Same-name exported function in two packages — only the imported one
- // should resolve. Exercises disambiguation, not just connectivity.
- fs.writeFileSync(
- path.join(pkgaDir, 'conv.go'),
- 'package pkga\nfunc Convert(x int) int { return x * 2 }\n'
- );
- fs.writeFileSync(
- path.join(pkgbDir, 'conv.go'),
- 'package pkgb\nfunc Convert(x int) int { return x + 1 }\n'
- );
- fs.writeFileSync(
- path.join(pkgcDir, 'use.go'),
- `package pkgc
- import "github.com/example/myproject/pkga"
- func UsePkga() {
- pkga.Convert(5)
- }
- `
- );
- cg = await CodeGraph.init(tempDir, { index: true });
- const usePkga = cg.getNodesByKind('function').filter((n) => n.name ==='UsePkga')[0];
- expect(usePkga).toBeDefined();
- const outgoing = cg.getOutgoingEdges(usePkga!.id);
- const callEdges = outgoing.filter((e) => e.kind === 'calls');
- expect(callEdges).toHaveLength(1);
- const target = cg.getNode(callEdges[0]!.target);
- expect(target?.name).toBe('Convert');
- // Critical: the resolver must pick the imported pkga's Convert,
- // not pkgb's. With the broken (pre-fix) resolver this lands on
- // whichever Convert happens to be cheaper under path proximity.
- expect(target?.filePath.replace(/\\/g, '/')).toBe('pkga/conv.go');
- });
- it('resolves Go aliased imports across packages (#388)', async () => {
- fs.writeFileSync(
- path.join(tempDir, 'go.mod'),
- 'module github.com/example/myproject\n\ngo 1.21\n'
- );
- fs.mkdirSync(path.join(tempDir, 'pkgb'));
- fs.mkdirSync(path.join(tempDir, 'pkgd'));
- fs.writeFileSync(
- path.join(tempDir, 'pkgb', 'lib.go'),
- 'package pkgb\nfunc Compute(x int) int { return x }\n'
- );
- fs.writeFileSync(
- path.join(tempDir, 'pkgd', 'use.go'),
- `package pkgd
- import (
- "fmt"
- alias "github.com/example/myproject/pkgb"
- )
- func UseAliased() {
- fmt.Println("hi")
- alias.Compute(3)
- }
- `
- );
- cg = await CodeGraph.init(tempDir, { index: true });
- const useAliased = cg.getNodesByKind('function').filter((n) => n.name ==='UseAliased')[0];
- expect(useAliased).toBeDefined();
- const calls = cg.getOutgoingEdges(useAliased!.id).filter((e) => e.kind === 'calls');
- // fmt.Println is stdlib — must stay external. alias.Compute must resolve.
- expect(calls).toHaveLength(1);
- const target = cg.getNode(calls[0]!.target);
- expect(target?.name).toBe('Compute');
- expect(target?.filePath.replace(/\\/g, '/')).toBe('pkgb/lib.go');
- });
- it('Go: leaves stdlib calls (fmt.Println, etc.) external', async () => {
- fs.writeFileSync(
- path.join(tempDir, 'go.mod'),
- 'module github.com/example/myproject\n\ngo 1.21\n'
- );
- fs.writeFileSync(
- path.join(tempDir, 'main.go'),
- `package main
- import "fmt"
- func main() {
- fmt.Println("hi")
- }
- `
- );
- cg = await CodeGraph.init(tempDir, { index: true });
- const mainFn = cg.getNodesByKind('function').filter((n) => n.name ==='main')[0];
- const calls = cg.getOutgoingEdges(mainFn!.id).filter((e) => e.kind === 'calls');
- // No spurious in-project edge — fmt.* must stay unresolved/external.
- expect(calls).toHaveLength(0);
- });
- });
- describe('Name Matcher: kind bias for new ref kinds', () => {
- const baseContext = (candidates: Node[]): ResolutionContext => ({
- getNodesInFile: () => [],
- getNodesByName: (name) => candidates.filter((c) => c.name === name),
- getNodesByQualifiedName: () => [],
- getNodesByKind: () => [],
- fileExists: () => true,
- readFile: () => null,
- getProjectRoot: () => '/test',
- getAllFiles: () => [],
- getNodesByLowerName: () => [],
- getImportMappings: () => [],
- });
- it('prefers a class candidate over a function for `instantiates` refs', () => {
- // A class and a function share a name across the codebase.
- // Without the kind bias, the function (which gets the +25 `calls`
- // bonus historically applied to all candidates of that kind) would
- // win. Now the instantiates branch reverses it.
- const fn: Node = {
- id: 'func:utils.ts:Logger:5', kind: 'function', name: 'Logger',
- qualifiedName: 'utils.ts::Logger', filePath: 'utils.ts', language: 'typescript',
- startLine: 5, endLine: 7, startColumn: 0, endColumn: 0, updatedAt: Date.now(),
- };
- const cls: Node = {
- id: 'class:logger.ts:Logger:10', kind: 'class', name: 'Logger',
- qualifiedName: 'logger.ts::Logger', filePath: 'logger.ts', language: 'typescript',
- startLine: 10, endLine: 30, startColumn: 0, endColumn: 0, updatedAt: Date.now(),
- };
- const ref = {
- fromNodeId: 'func:main.ts:bootstrap:1',
- referenceName: 'Logger',
- referenceKind: 'instantiates' as const,
- line: 5, column: 0, filePath: 'main.ts', language: 'typescript' as const,
- };
- const result = matchReference(ref, baseContext([fn, cls]));
- expect(result?.targetNodeId).toBe('class:logger.ts:Logger:10');
- });
- it('prefers a function candidate over a non-function for `decorates` refs', () => {
- const variable: Node = {
- id: 'var:config.ts:Inject:5', kind: 'variable', name: 'Inject',
- qualifiedName: 'config.ts::Inject', filePath: 'config.ts', language: 'typescript',
- startLine: 5, endLine: 5, startColumn: 0, endColumn: 0, updatedAt: Date.now(),
- };
- const decorator: Node = {
- id: 'func:di.ts:Inject:10', kind: 'function', name: 'Inject',
- qualifiedName: 'di.ts::Inject', filePath: 'di.ts', language: 'typescript',
- startLine: 10, endLine: 20, startColumn: 0, endColumn: 0, updatedAt: Date.now(),
- };
- const ref = {
- fromNodeId: 'class:svc.ts:UserService:1',
- referenceName: 'Inject',
- referenceKind: 'decorates' as const,
- line: 5, column: 0, filePath: 'svc.ts', language: 'typescript' as const,
- };
- const result = matchReference(ref, baseContext([variable, decorator]));
- expect(result?.targetNodeId).toBe('func:di.ts:Inject:10');
- });
- });
- describe('tsconfig path aliases', () => {
- it('resolves an aliased import to the alias-mapped file (not a same-named file elsewhere)', async () => {
- // Two same-named exports in different directories. Without alias
- // resolution, name-matcher would pick whichever it finds first;
- // with alias resolution, the import path uniquely picks one.
- fs.mkdirSync(path.join(tempDir, 'src/utils'), { recursive: true });
- fs.mkdirSync(path.join(tempDir, 'src/legacy'), { recursive: true });
- fs.writeFileSync(
- path.join(tempDir, 'src/utils/format.ts'),
- `export function pickMe(): number { return 1; }\n`
- );
- fs.writeFileSync(
- path.join(tempDir, 'src/legacy/format.ts'),
- `export function pickMe(): number { return 99; }\n`
- );
- fs.writeFileSync(
- path.join(tempDir, 'src/main.ts'),
- `import { pickMe } from '@utils/format';\nexport function go(): number { return pickMe(); }\n`
- );
- fs.writeFileSync(
- path.join(tempDir, 'tsconfig.json'),
- JSON.stringify({
- compilerOptions: {
- baseUrl: './src',
- paths: { '@utils/*': ['utils/*'] },
- },
- })
- );
- cg = await CodeGraph.init(tempDir, { index: true });
- cg.resolveReferences();
- // The two pickMe nodes live in different files. The aliased
- // import should attach the call edge to the @utils-mapped one,
- // not the legacy duplicate.
- const all = cg.getNodesByKind('function').filter((n) => n.name === 'pickMe');
- const utilsNode = all.find((n) => n.filePath === 'src/utils/format.ts');
- const legacyNode = all.find((n) => n.filePath === 'src/legacy/format.ts');
- expect(utilsNode).toBeDefined();
- expect(legacyNode).toBeDefined();
- const utilsCallers = cg.getCallers(utilsNode!.id);
- const legacyCallers = cg.getCallers(legacyNode!.id);
- expect(utilsCallers.length).toBeGreaterThan(0);
- expect(utilsCallers.some((c) => c.node.filePath === 'src/main.ts')).toBe(true);
- // The legacy node should NOT have a caller from src/main.ts —
- // the alias correctly picked the utils version.
- expect(legacyCallers.some((c) => c.node.filePath === 'src/main.ts')).toBe(false);
- });
- it('falls back gracefully when tsconfig is absent', async () => {
- fs.mkdirSync(path.join(tempDir, 'src'), { recursive: true });
- fs.writeFileSync(
- path.join(tempDir, 'src/a.ts'),
- `export function aFn(): void {}\n`
- );
- fs.writeFileSync(
- path.join(tempDir, 'src/b.ts'),
- `import { aFn } from './a';\nexport function bFn(): void { aFn(); }\n`
- );
- cg = await CodeGraph.init(tempDir, { index: true });
- // No tsconfig present — index should still complete and the
- // relative-import-based call edge should be created.
- const aFn = cg.getNodesByKind('function').find((n) => n.name === 'aFn');
- expect(aFn).toBeDefined();
- const callers = cg.getCallers(aFn!.id);
- expect(callers.some((c) => c.node.filePath === 'src/b.ts')).toBe(true);
- });
- });
- describe('re-export chain following', () => {
- it('chases a 3-hop barrel chain (wildcard → named → declaration)', async () => {
- // main.ts → all.ts (wildcard) → index.ts (named) → auth.ts (declaration).
- // Without chain following, `signIn` resolves to nothing because
- // none of the barrel files declare it directly.
- fs.mkdirSync(path.join(tempDir, 'src/services'), { recursive: true });
- fs.writeFileSync(
- path.join(tempDir, 'src/services/auth.ts'),
- `export function signIn(): void {}\n`
- );
- fs.writeFileSync(
- path.join(tempDir, 'src/services/index.ts'),
- `export { signIn } from './auth';\n`
- );
- fs.writeFileSync(
- path.join(tempDir, 'src/all.ts'),
- `export * from './services/index';\n`
- );
- fs.writeFileSync(
- path.join(tempDir, 'src/main.ts'),
- `import { signIn } from './all';\nexport function go(): void { signIn(); }\n`
- );
- cg = await CodeGraph.init(tempDir, { index: true });
- cg.resolveReferences();
- const signInNode = cg
- .getNodesByKind('function')
- .find((n) => n.name === 'signIn' && n.filePath === 'src/services/auth.ts');
- expect(signInNode).toBeDefined();
- const callers = cg.getCallers(signInNode!.id);
- expect(callers.some((c) => c.node.filePath === 'src/main.ts')).toBe(true);
- });
- it('follows a renamed named re-export (export { foo as bar } from ...)', async () => {
- // The chase has to look up `foo` in the upstream module even
- // though the importer asked for `bar` — exercises the rename
- // branch of findExportedSymbol.
- fs.mkdirSync(path.join(tempDir, 'src'), { recursive: true });
- fs.writeFileSync(
- path.join(tempDir, 'src/auth.ts'),
- `export function signIn(): void {}\n`
- );
- fs.writeFileSync(
- path.join(tempDir, 'src/index.ts'),
- `export { signIn as login } from './auth';\n`
- );
- fs.writeFileSync(
- path.join(tempDir, 'src/main.ts'),
- `import { login } from './index';\nexport function go(): void { login(); }\n`
- );
- cg = await CodeGraph.init(tempDir, { index: true });
- cg.resolveReferences();
- const signInNode = cg
- .getNodesByKind('function')
- .find((n) => n.name === 'signIn' && n.filePath === 'src/auth.ts');
- expect(signInNode).toBeDefined();
- const callers = cg.getCallers(signInNode!.id);
- expect(callers.some((c) => c.node.filePath === 'src/main.ts')).toBe(true);
- });
- });
- });
|