1
0

resolution.test.ts 18 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610
  1. /**
  2. * Resolution Module Tests
  3. *
  4. * Tests for Phase 3: Reference Resolution
  5. */
  6. import { describe, it, expect, beforeEach, afterEach } from 'vitest';
  7. import * as fs from 'fs';
  8. import * as path from 'path';
  9. import * as os from 'os';
  10. import { CodeGraph } from '../src';
  11. import { Node, UnresolvedReference } from '../src/types';
  12. import { ReferenceResolver, createResolver, ResolutionContext } from '../src/resolution';
  13. import { matchReference } from '../src/resolution/name-matcher';
  14. import { resolveImportPath, extractImportMappings } from '../src/resolution/import-resolver';
  15. import { detectFrameworks, getAllFrameworkResolvers } from '../src/resolution/frameworks';
  16. import { QueryBuilder } from '../src/db/queries';
  17. import { DatabaseConnection } from '../src/db';
  18. describe('Resolution Module', () => {
  19. let tempDir: string;
  20. let cg: CodeGraph;
  21. beforeEach(() => {
  22. // Create temp directory
  23. tempDir = fs.mkdtempSync(path.join(os.tmpdir(), 'codegraph-resolution-test-'));
  24. });
  25. afterEach(() => {
  26. // Clean up
  27. if (cg) {
  28. cg.destroy();
  29. } else if (fs.existsSync(tempDir)) {
  30. fs.rmSync(tempDir, { recursive: true });
  31. }
  32. });
  33. describe('Name Matcher', () => {
  34. it('should match exact name references', () => {
  35. // Create a mock context
  36. const mockNodes: Node[] = [
  37. {
  38. id: 'func:test.ts:myFunction:10',
  39. kind: 'function',
  40. name: 'myFunction',
  41. qualifiedName: 'test.ts::myFunction',
  42. filePath: 'test.ts',
  43. language: 'typescript',
  44. startLine: 10,
  45. endLine: 20,
  46. startColumn: 0,
  47. endColumn: 0,
  48. updatedAt: Date.now(),
  49. },
  50. ];
  51. const context: ResolutionContext = {
  52. getNodesInFile: () => mockNodes,
  53. getNodesByName: (name) => mockNodes.filter((n) => n.name === name),
  54. getNodesByQualifiedName: () => [],
  55. getNodesByKind: () => [],
  56. fileExists: () => true,
  57. readFile: () => null,
  58. getProjectRoot: () => '/test',
  59. getAllFiles: () => ['test.ts'],
  60. };
  61. const ref = {
  62. fromNodeId: 'caller:main.ts:caller:5',
  63. referenceName: 'myFunction',
  64. referenceKind: 'calls' as const,
  65. line: 5,
  66. column: 10,
  67. filePath: 'main.ts',
  68. language: 'typescript' as const,
  69. };
  70. const result = matchReference(ref, context);
  71. expect(result).not.toBeNull();
  72. expect(result?.targetNodeId).toBe('func:test.ts:myFunction:10');
  73. expect(result?.resolvedBy).toBe('exact-match');
  74. });
  75. it('should prefer same-module candidates over cross-module matches', () => {
  76. // Simulates a Python monorepo where multiple apps define navigate()
  77. const candidateA: Node = {
  78. id: 'func:apps/app_a/src/server.py:navigate:10',
  79. kind: 'function',
  80. name: 'navigate',
  81. qualifiedName: 'apps/app_a/src/server.py::navigate',
  82. filePath: 'apps/app_a/src/server.py',
  83. language: 'python',
  84. startLine: 10,
  85. endLine: 20,
  86. startColumn: 0,
  87. endColumn: 0,
  88. updatedAt: Date.now(),
  89. };
  90. const candidateB: Node = {
  91. id: 'func:apps/app_b/src/server.py:navigate:15',
  92. kind: 'function',
  93. name: 'navigate',
  94. qualifiedName: 'apps/app_b/src/server.py::navigate',
  95. filePath: 'apps/app_b/src/server.py',
  96. language: 'python',
  97. startLine: 15,
  98. endLine: 25,
  99. startColumn: 0,
  100. endColumn: 0,
  101. updatedAt: Date.now(),
  102. };
  103. const context: ResolutionContext = {
  104. getNodesInFile: () => [],
  105. getNodesByName: (name) => name === 'navigate' ? [candidateA, candidateB] : [],
  106. getNodesByQualifiedName: () => [],
  107. getNodesByKind: () => [],
  108. fileExists: () => true,
  109. readFile: () => null,
  110. getProjectRoot: () => '/test',
  111. getAllFiles: () => [],
  112. getNodesByLowerName: () => [],
  113. getImportMappings: () => [],
  114. };
  115. // Reference from app_a should resolve to app_a's navigate, not app_b's
  116. const ref = {
  117. fromNodeId: 'func:apps/app_a/src/handler.py:handler:5',
  118. referenceName: 'navigate',
  119. referenceKind: 'calls' as const,
  120. line: 5,
  121. column: 10,
  122. filePath: 'apps/app_a/src/handler.py',
  123. language: 'python' as const,
  124. };
  125. const result = matchReference(ref, context);
  126. expect(result).not.toBeNull();
  127. expect(result?.targetNodeId).toBe('func:apps/app_a/src/server.py:navigate:10');
  128. expect(result?.resolvedBy).toBe('exact-match');
  129. });
  130. it('should lower confidence for cross-module exact matches', () => {
  131. // Only one candidate but in a completely different module
  132. const candidates: Node[] = [
  133. {
  134. id: 'func:apps/app_b/src/server.py:navigate:10',
  135. kind: 'function',
  136. name: 'navigate',
  137. qualifiedName: 'apps/app_b/src/server.py::navigate',
  138. filePath: 'apps/app_b/src/server.py',
  139. language: 'python',
  140. startLine: 10,
  141. endLine: 20,
  142. startColumn: 0,
  143. endColumn: 0,
  144. updatedAt: Date.now(),
  145. },
  146. {
  147. id: 'func:apps/app_c/src/server.py:navigate:10',
  148. kind: 'function',
  149. name: 'navigate',
  150. qualifiedName: 'apps/app_c/src/server.py::navigate',
  151. filePath: 'apps/app_c/src/server.py',
  152. language: 'python',
  153. startLine: 10,
  154. endLine: 20,
  155. startColumn: 0,
  156. endColumn: 0,
  157. updatedAt: Date.now(),
  158. },
  159. ];
  160. const context: ResolutionContext = {
  161. getNodesInFile: () => [],
  162. getNodesByName: (name) => name === 'navigate' ? candidates : [],
  163. getNodesByQualifiedName: () => [],
  164. getNodesByKind: () => [],
  165. fileExists: () => true,
  166. readFile: () => null,
  167. getProjectRoot: () => '/test',
  168. getAllFiles: () => [],
  169. getNodesByLowerName: () => [],
  170. getImportMappings: () => [],
  171. };
  172. // Reference from app_a — neither candidate is in the same module
  173. const ref = {
  174. fromNodeId: 'func:apps/app_a/src/handler.py:handler:5',
  175. referenceName: 'navigate',
  176. referenceKind: 'calls' as const,
  177. line: 5,
  178. column: 10,
  179. filePath: 'apps/app_a/src/handler.py',
  180. language: 'python' as const,
  181. };
  182. const result = matchReference(ref, context);
  183. // Should still resolve but with low confidence
  184. expect(result).not.toBeNull();
  185. expect(result?.confidence).toBeLessThanOrEqual(0.4);
  186. });
  187. it('should match qualified name references', () => {
  188. const mockClassNode: Node = {
  189. id: 'class:user.ts:User:5',
  190. kind: 'class',
  191. name: 'User',
  192. qualifiedName: 'user.ts::User',
  193. filePath: 'user.ts',
  194. language: 'typescript',
  195. startLine: 5,
  196. endLine: 30,
  197. startColumn: 0,
  198. endColumn: 0,
  199. updatedAt: Date.now(),
  200. };
  201. const mockMethodNode: Node = {
  202. id: 'method:user.ts:User.save:15',
  203. kind: 'method',
  204. name: 'save',
  205. qualifiedName: 'user.ts::User::save',
  206. filePath: 'user.ts',
  207. language: 'typescript',
  208. startLine: 15,
  209. endLine: 25,
  210. startColumn: 0,
  211. endColumn: 0,
  212. updatedAt: Date.now(),
  213. };
  214. const context: ResolutionContext = {
  215. getNodesInFile: (fp) => fp === 'user.ts' ? [mockClassNode, mockMethodNode] : [],
  216. getNodesByName: (name) => {
  217. if (name === 'User') return [mockClassNode];
  218. if (name === 'save') return [mockMethodNode];
  219. return [];
  220. },
  221. getNodesByQualifiedName: (qn) => {
  222. if (qn === 'user.ts::User::save') return [mockMethodNode];
  223. return [];
  224. },
  225. getNodesByKind: () => [],
  226. fileExists: () => true,
  227. readFile: () => null,
  228. getProjectRoot: () => '/test',
  229. getAllFiles: () => ['user.ts'],
  230. };
  231. const ref = {
  232. fromNodeId: 'caller:main.ts:main:5',
  233. referenceName: 'User.save',
  234. referenceKind: 'calls' as const,
  235. line: 5,
  236. column: 10,
  237. filePath: 'main.ts',
  238. language: 'typescript' as const,
  239. };
  240. const result = matchReference(ref, context);
  241. expect(result).not.toBeNull();
  242. expect(result?.targetNodeId).toBe('method:user.ts:User.save:15');
  243. });
  244. });
  245. describe('Import Resolver', () => {
  246. it('should resolve relative import paths', () => {
  247. const context: ResolutionContext = {
  248. getNodesInFile: () => [],
  249. getNodesByName: () => [],
  250. getNodesByQualifiedName: () => [],
  251. getNodesByKind: () => [],
  252. fileExists: (p) => p === 'src/components/utils.ts' || p === 'src/components/utils/index.ts',
  253. readFile: () => null,
  254. getProjectRoot: () => '',
  255. getAllFiles: () => ['src/components/utils.ts', 'src/components/utils/index.ts'],
  256. };
  257. const result = resolveImportPath(
  258. './utils',
  259. 'src/components/Button.ts',
  260. 'typescript',
  261. context
  262. );
  263. expect(result).toBe('src/components/utils.ts');
  264. });
  265. it('should resolve parent directory imports', () => {
  266. const context: ResolutionContext = {
  267. getNodesInFile: () => [],
  268. getNodesByName: () => [],
  269. getNodesByQualifiedName: () => [],
  270. getNodesByKind: () => [],
  271. fileExists: (p) => p === 'src/helpers.ts' || p === 'src/helpers/index.ts',
  272. readFile: () => null,
  273. getProjectRoot: () => '',
  274. getAllFiles: () => ['src/helpers.ts', 'src/helpers/index.ts'],
  275. };
  276. const result = resolveImportPath(
  277. '../helpers',
  278. 'src/components/Button.ts',
  279. 'typescript',
  280. context
  281. );
  282. expect(result).toBe('src/helpers.ts');
  283. });
  284. it('should extract JS/TS import mappings', () => {
  285. const content = `
  286. import { foo } from './foo';
  287. import bar from '../bar';
  288. import * as utils from './utils';
  289. import { baz, qux } from './baz';
  290. `;
  291. const mappings = extractImportMappings(
  292. 'src/index.ts',
  293. content,
  294. 'typescript'
  295. );
  296. expect(mappings.length).toBeGreaterThan(0);
  297. expect(mappings.some((m) => m.localName === 'foo')).toBe(true);
  298. expect(mappings.some((m) => m.localName === 'bar')).toBe(true);
  299. });
  300. it('should extract Python import mappings', () => {
  301. const content = `
  302. from utils import helper
  303. from .models import User
  304. import os
  305. from ..services import auth_service
  306. `;
  307. const mappings = extractImportMappings(
  308. 'src/main.py',
  309. content,
  310. 'python'
  311. );
  312. expect(mappings.length).toBeGreaterThan(0);
  313. expect(mappings.some((m) => m.localName === 'helper')).toBe(true);
  314. expect(mappings.some((m) => m.localName === 'User')).toBe(true);
  315. });
  316. });
  317. describe('Framework Detection', () => {
  318. it('should detect React framework', () => {
  319. const context: ResolutionContext = {
  320. getNodesInFile: () => [],
  321. getNodesByName: () => [],
  322. getNodesByQualifiedName: () => [],
  323. getNodesByKind: () => [],
  324. fileExists: () => false,
  325. readFile: (p) => {
  326. if (p === 'package.json') {
  327. return JSON.stringify({
  328. dependencies: { react: '^18.0.0' },
  329. });
  330. }
  331. return null;
  332. },
  333. getProjectRoot: () => '/test',
  334. getAllFiles: () => ['package.json', 'src/App.tsx'],
  335. };
  336. const frameworks = detectFrameworks(context);
  337. expect(frameworks.some((f) => f.name === 'react')).toBe(true);
  338. });
  339. it('should detect Express framework', () => {
  340. const context: ResolutionContext = {
  341. getNodesInFile: () => [],
  342. getNodesByName: () => [],
  343. getNodesByQualifiedName: () => [],
  344. getNodesByKind: () => [],
  345. fileExists: () => false,
  346. readFile: (p) => {
  347. if (p === 'package.json') {
  348. return JSON.stringify({
  349. dependencies: { express: '^4.18.0' },
  350. });
  351. }
  352. return null;
  353. },
  354. getProjectRoot: () => '/test',
  355. getAllFiles: () => ['package.json', 'src/app.js'],
  356. };
  357. const frameworks = detectFrameworks(context);
  358. expect(frameworks.some((f) => f.name === 'express')).toBe(true);
  359. });
  360. it('should detect Laravel framework', () => {
  361. const context: ResolutionContext = {
  362. getNodesInFile: () => [],
  363. getNodesByName: () => [],
  364. getNodesByQualifiedName: () => [],
  365. getNodesByKind: () => [],
  366. fileExists: (p) => p === 'artisan',
  367. readFile: () => null,
  368. getProjectRoot: () => '/test',
  369. getAllFiles: () => ['artisan', 'app/Http/Kernel.php'],
  370. };
  371. const frameworks = detectFrameworks(context);
  372. expect(frameworks.some((f) => f.name === 'laravel')).toBe(true);
  373. });
  374. it('should return all framework resolvers', () => {
  375. const resolvers = getAllFrameworkResolvers();
  376. expect(resolvers.length).toBeGreaterThan(0);
  377. expect(resolvers.some((r) => r.name === 'react')).toBe(true);
  378. expect(resolvers.some((r) => r.name === 'express')).toBe(true);
  379. expect(resolvers.some((r) => r.name === 'laravel')).toBe(true);
  380. });
  381. });
  382. describe('React Framework Resolver', () => {
  383. it('should resolve React component references', () => {
  384. const mockNodes: Node[] = [
  385. {
  386. id: 'component:src/Button.tsx:Button:5',
  387. kind: 'component',
  388. name: 'Button',
  389. qualifiedName: 'src/Button.tsx::Button',
  390. filePath: 'src/Button.tsx',
  391. language: 'tsx',
  392. startLine: 5,
  393. endLine: 20,
  394. startColumn: 0,
  395. endColumn: 0,
  396. updatedAt: Date.now(),
  397. },
  398. ];
  399. const context: ResolutionContext = {
  400. getNodesInFile: (fp) => (fp === 'src/Button.tsx' ? mockNodes : []),
  401. getNodesByName: () => mockNodes,
  402. getNodesByQualifiedName: () => [],
  403. getNodesByKind: () => [],
  404. fileExists: () => false,
  405. readFile: (p) => {
  406. if (p === 'package.json') {
  407. return JSON.stringify({ dependencies: { react: '^18.0.0' } });
  408. }
  409. return null;
  410. },
  411. getProjectRoot: () => '/test',
  412. getAllFiles: () => ['package.json', 'src/Button.tsx', 'src/App.tsx'],
  413. };
  414. const frameworks = detectFrameworks(context);
  415. const reactResolver = frameworks.find((f) => f.name === 'react');
  416. expect(reactResolver).toBeDefined();
  417. const ref = {
  418. fromNodeId: 'component:src/App.tsx:App:1',
  419. referenceName: 'Button',
  420. referenceKind: 'renders' as const,
  421. line: 10,
  422. column: 5,
  423. filePath: 'src/App.tsx',
  424. language: 'typescript' as const,
  425. };
  426. const result = reactResolver!.resolve(ref, context);
  427. expect(result).not.toBeNull();
  428. expect(result?.targetNodeId).toBe('component:src/Button.tsx:Button:5');
  429. });
  430. it('should resolve custom hook references', () => {
  431. const mockNodes: Node[] = [
  432. {
  433. id: 'hook:src/hooks/useAuth.ts:useAuth:1',
  434. kind: 'function',
  435. name: 'useAuth',
  436. qualifiedName: 'src/hooks/useAuth.ts::useAuth',
  437. filePath: 'src/hooks/useAuth.ts',
  438. language: 'typescript',
  439. startLine: 1,
  440. endLine: 20,
  441. startColumn: 0,
  442. endColumn: 0,
  443. updatedAt: Date.now(),
  444. },
  445. ];
  446. const context: ResolutionContext = {
  447. getNodesInFile: (fp) => (fp.includes('useAuth') ? mockNodes : []),
  448. getNodesByName: () => mockNodes,
  449. getNodesByQualifiedName: () => [],
  450. getNodesByKind: () => [],
  451. fileExists: () => false,
  452. readFile: (p) => {
  453. if (p === 'package.json') {
  454. return JSON.stringify({ dependencies: { react: '^18.0.0' } });
  455. }
  456. return null;
  457. },
  458. getProjectRoot: () => '/test',
  459. getAllFiles: () => ['package.json', 'src/hooks/useAuth.ts'],
  460. };
  461. const frameworks = detectFrameworks(context);
  462. const reactResolver = frameworks.find((f) => f.name === 'react');
  463. const ref = {
  464. fromNodeId: 'component:src/App.tsx:App:1',
  465. referenceName: 'useAuth',
  466. referenceKind: 'calls' as const,
  467. line: 5,
  468. column: 10,
  469. filePath: 'src/App.tsx',
  470. language: 'typescript' as const,
  471. };
  472. const result = reactResolver!.resolve(ref, context);
  473. expect(result).not.toBeNull();
  474. expect(result?.targetNodeId).toBe('hook:src/hooks/useAuth.ts:useAuth:1');
  475. });
  476. });
  477. describe('Integration Tests', () => {
  478. it('should create resolver from CodeGraph instance', async () => {
  479. // Create a simple TypeScript project
  480. fs.writeFileSync(
  481. path.join(tempDir, 'package.json'),
  482. JSON.stringify({ name: 'test', dependencies: { react: '^18.0.0' } })
  483. );
  484. const srcDir = path.join(tempDir, 'src');
  485. fs.mkdirSync(srcDir);
  486. // Create utility file
  487. fs.writeFileSync(
  488. path.join(srcDir, 'utils.ts'),
  489. `export function formatDate(date: Date): string {
  490. return date.toISOString();
  491. }
  492. export function parseDate(str: string): Date {
  493. return new Date(str);
  494. }`
  495. );
  496. // Create main file that uses utils
  497. fs.writeFileSync(
  498. path.join(srcDir, 'main.ts'),
  499. `import { formatDate, parseDate } from './utils';
  500. function processDate(input: string): string {
  501. const date = parseDate(input);
  502. return formatDate(date);
  503. }`
  504. );
  505. // Initialize and index
  506. cg = await CodeGraph.init(tempDir, { index: true });
  507. // Check that resolver detected React framework
  508. const frameworks = cg.getDetectedFrameworks();
  509. expect(frameworks).toContain('react');
  510. // Get stats to verify indexing worked
  511. const stats = cg.getStats();
  512. expect(stats.fileCount).toBe(2);
  513. expect(stats.nodeCount).toBeGreaterThan(0);
  514. });
  515. it('should resolve references after indexing', async () => {
  516. // Create a project with references
  517. const srcDir = path.join(tempDir, 'src');
  518. fs.mkdirSync(srcDir, { recursive: true });
  519. fs.writeFileSync(
  520. path.join(srcDir, 'helper.ts'),
  521. `export function helperFunction(): void {
  522. console.log('helper');
  523. }`
  524. );
  525. fs.writeFileSync(
  526. path.join(srcDir, 'main.ts'),
  527. `import { helperFunction } from './helper';
  528. function main(): void {
  529. helperFunction();
  530. }`
  531. );
  532. cg = await CodeGraph.init(tempDir, { index: true });
  533. // Run reference resolution
  534. const result = cg.resolveReferences();
  535. // Should have attempted resolution
  536. expect(result.stats.total).toBeGreaterThanOrEqual(0);
  537. });
  538. });
  539. });