1
0

resolution.test.ts 144 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965196619671968196919701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025202620272028202920302031203220332034203520362037203820392040204120422043204420452046204720482049205020512052205320542055205620572058205920602061206220632064206520662067206820692070207120722073207420752076207720782079208020812082208320842085208620872088208920902091209220932094209520962097209820992100210121022103210421052106210721082109211021112112211321142115211621172118211921202121212221232124212521262127212821292130213121322133213421352136213721382139214021412142214321442145214621472148214921502151215221532154215521562157215821592160216121622163216421652166216721682169217021712172217321742175217621772178217921802181218221832184218521862187218821892190219121922193219421952196219721982199220022012202220322042205220622072208220922102211221222132214221522162217221822192220222122222223222422252226222722282229223022312232223322342235223622372238223922402241224222432244224522462247224822492250225122522253225422552256225722582259226022612262226322642265226622672268226922702271227222732274227522762277227822792280228122822283228422852286228722882289229022912292229322942295229622972298229923002301230223032304230523062307230823092310231123122313231423152316231723182319232023212322232323242325232623272328232923302331233223332334233523362337233823392340234123422343234423452346234723482349235023512352235323542355235623572358235923602361236223632364236523662367236823692370237123722373237423752376237723782379238023812382238323842385238623872388238923902391239223932394239523962397239823992400240124022403240424052406240724082409241024112412241324142415241624172418241924202421242224232424242524262427242824292430243124322433243424352436243724382439244024412442244324442445244624472448244924502451245224532454245524562457245824592460246124622463246424652466246724682469247024712472247324742475247624772478247924802481248224832484248524862487248824892490249124922493249424952496249724982499250025012502250325042505250625072508250925102511251225132514251525162517251825192520252125222523252425252526252725282529253025312532253325342535253625372538253925402541254225432544254525462547254825492550255125522553255425552556255725582559256025612562256325642565256625672568256925702571257225732574257525762577257825792580258125822583258425852586258725882589259025912592259325942595259625972598259926002601260226032604260526062607260826092610261126122613261426152616261726182619262026212622262326242625262626272628262926302631263226332634263526362637263826392640264126422643264426452646264726482649265026512652265326542655265626572658265926602661266226632664266526662667266826692670267126722673267426752676267726782679268026812682268326842685268626872688268926902691269226932694269526962697269826992700270127022703270427052706270727082709271027112712271327142715271627172718271927202721272227232724272527262727272827292730273127322733273427352736273727382739274027412742274327442745274627472748274927502751275227532754275527562757275827592760276127622763276427652766276727682769277027712772277327742775277627772778277927802781278227832784278527862787278827892790279127922793279427952796279727982799280028012802280328042805280628072808280928102811281228132814281528162817281828192820282128222823282428252826282728282829283028312832283328342835283628372838283928402841284228432844284528462847284828492850285128522853285428552856285728582859286028612862286328642865286628672868286928702871287228732874287528762877287828792880288128822883288428852886288728882889289028912892289328942895289628972898289929002901290229032904290529062907290829092910291129122913291429152916291729182919292029212922292329242925292629272928292929302931293229332934293529362937293829392940294129422943294429452946294729482949295029512952295329542955295629572958295929602961296229632964296529662967296829692970297129722973297429752976297729782979298029812982298329842985298629872988298929902991299229932994299529962997299829993000300130023003300430053006300730083009301030113012301330143015301630173018301930203021302230233024302530263027302830293030303130323033303430353036303730383039304030413042304330443045304630473048304930503051305230533054305530563057305830593060306130623063306430653066306730683069307030713072307330743075307630773078307930803081308230833084308530863087308830893090309130923093309430953096309730983099310031013102310331043105310631073108310931103111311231133114311531163117311831193120312131223123312431253126312731283129313031313132313331343135313631373138313931403141314231433144314531463147314831493150315131523153315431553156315731583159316031613162316331643165316631673168316931703171317231733174317531763177317831793180318131823183318431853186318731883189319031913192319331943195319631973198319932003201320232033204320532063207320832093210321132123213321432153216321732183219322032213222322332243225322632273228322932303231323232333234323532363237323832393240324132423243324432453246324732483249325032513252325332543255325632573258325932603261326232633264326532663267326832693270327132723273327432753276327732783279328032813282328332843285328632873288328932903291329232933294329532963297329832993300330133023303330433053306330733083309331033113312331333143315331633173318331933203321332233233324332533263327332833293330333133323333333433353336333733383339334033413342334333443345334633473348334933503351335233533354335533563357335833593360336133623363336433653366336733683369337033713372337333743375337633773378337933803381338233833384338533863387338833893390339133923393339433953396339733983399340034013402340334043405340634073408340934103411341234133414341534163417341834193420342134223423342434253426342734283429343034313432343334343435343634373438343934403441344234433444344534463447344834493450345134523453345434553456345734583459346034613462346334643465346634673468346934703471347234733474347534763477347834793480348134823483348434853486348734883489349034913492349334943495349634973498349935003501350235033504350535063507350835093510351135123513351435153516351735183519352035213522352335243525352635273528352935303531353235333534353535363537353835393540354135423543354435453546354735483549355035513552355335543555355635573558355935603561356235633564356535663567356835693570357135723573357435753576357735783579358035813582358335843585358635873588358935903591359235933594359535963597359835993600360136023603360436053606360736083609361036113612361336143615361636173618361936203621362236233624362536263627362836293630363136323633363436353636363736383639364036413642364336443645364636473648364936503651365236533654365536563657365836593660366136623663366436653666366736683669367036713672367336743675367636773678367936803681368236833684368536863687368836893690369136923693369436953696369736983699370037013702370337043705370637073708370937103711371237133714371537163717371837193720372137223723372437253726372737283729373037313732373337343735373637373738373937403741374237433744374537463747374837493750375137523753375437553756375737583759376037613762376337643765376637673768376937703771377237733774377537763777377837793780378137823783378437853786378737883789379037913792379337943795379637973798379938003801380238033804380538063807380838093810381138123813381438153816381738183819382038213822382338243825382638273828382938303831383238333834383538363837383838393840384138423843384438453846384738483849385038513852385338543855385638573858385938603861386238633864386538663867386838693870387138723873387438753876387738783879388038813882388338843885388638873888388938903891389238933894389538963897389838993900390139023903390439053906390739083909391039113912391339143915391639173918391939203921392239233924
  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, resolveMethodOnType, matchByQualifiedName, preferCallSiteFile } from '../src/resolution/name-matcher';
  14. import { resolveImportPath, extractImportMappings, resolveJvmImport, loadCppIncludeDirs, clearCppIncludeDirCache, isPhpIncludePathRef } from '../src/resolution/import-resolver';
  15. import type { UnresolvedRef } from '../src/resolution/types';
  16. import { detectFrameworks, getAllFrameworkResolvers } from '../src/resolution/frameworks';
  17. import { QueryBuilder } from '../src/db/queries';
  18. import { DatabaseConnection } from '../src/db';
  19. describe('Resolution Module', () => {
  20. let tempDir: string;
  21. let cg: CodeGraph;
  22. beforeEach(() => {
  23. // Create temp directory
  24. tempDir = fs.mkdtempSync(path.join(os.tmpdir(), 'codegraph-resolution-test-'));
  25. });
  26. afterEach(() => {
  27. // Clean up
  28. if (cg) {
  29. cg.destroy();
  30. } else if (fs.existsSync(tempDir)) {
  31. fs.rmSync(tempDir, { recursive: true });
  32. }
  33. });
  34. describe('Name Matcher', () => {
  35. it('should match exact name references', () => {
  36. // Create a mock context
  37. const mockNodes: Node[] = [
  38. {
  39. id: 'func:test.ts:myFunction:10',
  40. kind: 'function',
  41. name: 'myFunction',
  42. qualifiedName: 'test.ts::myFunction',
  43. filePath: 'test.ts',
  44. language: 'typescript',
  45. startLine: 10,
  46. endLine: 20,
  47. startColumn: 0,
  48. endColumn: 0,
  49. updatedAt: Date.now(),
  50. },
  51. ];
  52. const context: ResolutionContext = {
  53. getNodesInFile: () => mockNodes,
  54. getNodesByName: (name) => mockNodes.filter((n) => n.name === name),
  55. getNodesByQualifiedName: () => [],
  56. getNodesByKind: () => [],
  57. fileExists: () => true,
  58. readFile: () => null,
  59. getProjectRoot: () => '/test',
  60. getAllFiles: () => ['test.ts'],
  61. };
  62. const ref = {
  63. fromNodeId: 'caller:main.ts:caller:5',
  64. referenceName: 'myFunction',
  65. referenceKind: 'calls' as const,
  66. line: 5,
  67. column: 10,
  68. filePath: 'main.ts',
  69. language: 'typescript' as const,
  70. };
  71. const result = matchReference(ref, context);
  72. expect(result).not.toBeNull();
  73. expect(result?.targetNodeId).toBe('func:test.ts:myFunction:10');
  74. expect(result?.resolvedBy).toBe('exact-match');
  75. });
  76. it('should prefer same-module candidates over cross-module matches', () => {
  77. // Simulates a Python monorepo where multiple apps define navigate()
  78. const candidateA: Node = {
  79. id: 'func:apps/app_a/src/server.py:navigate:10',
  80. kind: 'function',
  81. name: 'navigate',
  82. qualifiedName: 'apps/app_a/src/server.py::navigate',
  83. filePath: 'apps/app_a/src/server.py',
  84. language: 'python',
  85. startLine: 10,
  86. endLine: 20,
  87. startColumn: 0,
  88. endColumn: 0,
  89. updatedAt: Date.now(),
  90. };
  91. const candidateB: Node = {
  92. id: 'func:apps/app_b/src/server.py:navigate:15',
  93. kind: 'function',
  94. name: 'navigate',
  95. qualifiedName: 'apps/app_b/src/server.py::navigate',
  96. filePath: 'apps/app_b/src/server.py',
  97. language: 'python',
  98. startLine: 15,
  99. endLine: 25,
  100. startColumn: 0,
  101. endColumn: 0,
  102. updatedAt: Date.now(),
  103. };
  104. const context: ResolutionContext = {
  105. getNodesInFile: () => [],
  106. getNodesByName: (name) => name === 'navigate' ? [candidateA, candidateB] : [],
  107. getNodesByQualifiedName: () => [],
  108. getNodesByKind: () => [],
  109. fileExists: () => true,
  110. readFile: () => null,
  111. getProjectRoot: () => '/test',
  112. getAllFiles: () => [],
  113. getNodesByLowerName: () => [],
  114. getImportMappings: () => [],
  115. };
  116. // Reference from app_a should resolve to app_a's navigate, not app_b's
  117. const ref = {
  118. fromNodeId: 'func:apps/app_a/src/handler.py:handler:5',
  119. referenceName: 'navigate',
  120. referenceKind: 'calls' as const,
  121. line: 5,
  122. column: 10,
  123. filePath: 'apps/app_a/src/handler.py',
  124. language: 'python' as const,
  125. };
  126. const result = matchReference(ref, context);
  127. expect(result).not.toBeNull();
  128. expect(result?.targetNodeId).toBe('func:apps/app_a/src/server.py:navigate:10');
  129. expect(result?.resolvedBy).toBe('exact-match');
  130. });
  131. it('should lower confidence for cross-module exact matches', () => {
  132. // Only one candidate but in a completely different module
  133. const candidates: Node[] = [
  134. {
  135. id: 'func:apps/app_b/src/server.py:navigate:10',
  136. kind: 'function',
  137. name: 'navigate',
  138. qualifiedName: 'apps/app_b/src/server.py::navigate',
  139. filePath: 'apps/app_b/src/server.py',
  140. language: 'python',
  141. startLine: 10,
  142. endLine: 20,
  143. startColumn: 0,
  144. endColumn: 0,
  145. updatedAt: Date.now(),
  146. },
  147. {
  148. id: 'func:apps/app_c/src/server.py:navigate:10',
  149. kind: 'function',
  150. name: 'navigate',
  151. qualifiedName: 'apps/app_c/src/server.py::navigate',
  152. filePath: 'apps/app_c/src/server.py',
  153. language: 'python',
  154. startLine: 10,
  155. endLine: 20,
  156. startColumn: 0,
  157. endColumn: 0,
  158. updatedAt: Date.now(),
  159. },
  160. ];
  161. const context: ResolutionContext = {
  162. getNodesInFile: () => [],
  163. getNodesByName: (name) => name === 'navigate' ? candidates : [],
  164. getNodesByQualifiedName: () => [],
  165. getNodesByKind: () => [],
  166. fileExists: () => true,
  167. readFile: () => null,
  168. getProjectRoot: () => '/test',
  169. getAllFiles: () => [],
  170. getNodesByLowerName: () => [],
  171. getImportMappings: () => [],
  172. };
  173. // Reference from app_a — neither candidate is in the same module
  174. const ref = {
  175. fromNodeId: 'func:apps/app_a/src/handler.py:handler:5',
  176. referenceName: 'navigate',
  177. referenceKind: 'calls' as const,
  178. line: 5,
  179. column: 10,
  180. filePath: 'apps/app_a/src/handler.py',
  181. language: 'python' as const,
  182. };
  183. const result = matchReference(ref, context);
  184. // Should still resolve but with low confidence
  185. expect(result).not.toBeNull();
  186. expect(result?.confidence).toBeLessThanOrEqual(0.4);
  187. });
  188. it('should match qualified name references', () => {
  189. const mockClassNode: Node = {
  190. id: 'class:user.ts:User:5',
  191. kind: 'class',
  192. name: 'User',
  193. qualifiedName: 'user.ts::User',
  194. filePath: 'user.ts',
  195. language: 'typescript',
  196. startLine: 5,
  197. endLine: 30,
  198. startColumn: 0,
  199. endColumn: 0,
  200. updatedAt: Date.now(),
  201. };
  202. const mockMethodNode: Node = {
  203. id: 'method:user.ts:User.save:15',
  204. kind: 'method',
  205. name: 'save',
  206. qualifiedName: 'user.ts::User::save',
  207. filePath: 'user.ts',
  208. language: 'typescript',
  209. startLine: 15,
  210. endLine: 25,
  211. startColumn: 0,
  212. endColumn: 0,
  213. updatedAt: Date.now(),
  214. };
  215. const context: ResolutionContext = {
  216. getNodesInFile: (fp) => fp === 'user.ts' ? [mockClassNode, mockMethodNode] : [],
  217. getNodesByName: (name) => {
  218. if (name === 'User') return [mockClassNode];
  219. if (name === 'save') return [mockMethodNode];
  220. return [];
  221. },
  222. getNodesByQualifiedName: (qn) => {
  223. if (qn === 'user.ts::User::save') return [mockMethodNode];
  224. return [];
  225. },
  226. getNodesByKind: () => [],
  227. fileExists: () => true,
  228. readFile: () => null,
  229. getProjectRoot: () => '/test',
  230. getAllFiles: () => ['user.ts'],
  231. };
  232. const ref = {
  233. fromNodeId: 'caller:main.ts:main:5',
  234. referenceName: 'User.save',
  235. referenceKind: 'calls' as const,
  236. line: 5,
  237. column: 10,
  238. filePath: 'main.ts',
  239. language: 'typescript' as const,
  240. };
  241. const result = matchReference(ref, context);
  242. expect(result).not.toBeNull();
  243. expect(result?.targetNodeId).toBe('method:user.ts:User.save:15');
  244. });
  245. });
  246. describe('Ubiquitous-name ceiling (#999)', () => {
  247. // A vendored theme/SDK re-declares the same method name across thousands of
  248. // files (Metronic's `init`/`update`/… on every widget). The fuzzy strategies
  249. // used to score every same-named candidate per ref — O(K) per ref, O(K²)
  250. // total — which pinned a core for 15-28 min at "Resolving refs … 94%". Above
  251. // the ceiling they must DECLINE instead, since no proximity/word-overlap
  252. // score can pick the one true target among thousands anyway.
  253. const CEILING = 500;
  254. // A spy context: counts how many nodes the strategy actually inspects, so we
  255. // can assert the cap short-circuits BEFORE the O(K) scoring (not just that it
  256. // returns null).
  257. const makeManyMethods = (n: number, name: string): Node[] =>
  258. Array.from({ length: n }, (_, i) => ({
  259. id: `method:widget${i}.js:Widget${i}.${name}:1`,
  260. kind: 'method' as const,
  261. name,
  262. qualifiedName: `widget${i}.js::Widget${i}::${name}`,
  263. filePath: `static/theme/widget${i}.js`,
  264. language: 'javascript' as const,
  265. startLine: 1,
  266. endLine: 5,
  267. startColumn: 0,
  268. endColumn: 0,
  269. updatedAt: Date.now(),
  270. }));
  271. const spyContext = (nodes: Node[]): { ctx: ResolutionContext; lookups: () => number } => {
  272. let scanned = 0;
  273. const ctx: ResolutionContext = {
  274. getNodesInFile: () => [],
  275. getNodesByName: (name) => {
  276. const hit = nodes.filter((n) => n.name === name);
  277. scanned += hit.length;
  278. return hit;
  279. },
  280. getNodesByQualifiedName: () => [],
  281. getNodesByKind: () => [],
  282. fileExists: () => true,
  283. readFile: () => null,
  284. getProjectRoot: () => '/test',
  285. getAllFiles: () => [],
  286. getNodesByLowerName: () => [],
  287. getImportMappings: () => [],
  288. };
  289. return { ctx, lookups: () => scanned };
  290. };
  291. it('declines a method call (`obj.init`) above the ceiling instead of scoring K candidates', () => {
  292. const { ctx } = spyContext(makeManyMethods(CEILING + 1, 'init'));
  293. const ref = {
  294. fromNodeId: 'method:caller.js:caller:1',
  295. referenceName: 'widget.init',
  296. referenceKind: 'calls' as const,
  297. line: 2,
  298. column: 4,
  299. filePath: 'static/theme/caller.js',
  300. language: 'javascript' as const,
  301. };
  302. expect(matchReference(ref, ctx)).toBeNull();
  303. });
  304. it('declines a bare exact-name ref above the ceiling', () => {
  305. const { ctx } = spyContext(makeManyMethods(CEILING + 1, 'render'));
  306. const ref = {
  307. fromNodeId: 'method:caller.js:caller:1',
  308. referenceName: 'render',
  309. referenceKind: 'calls' as const,
  310. line: 2,
  311. column: 4,
  312. filePath: 'static/theme/caller.js',
  313. language: 'javascript' as const,
  314. };
  315. expect(matchReference(ref, ctx)).toBeNull();
  316. });
  317. it('still resolves a SAME-FILE definition when one exists (precise path unaffected)', () => {
  318. // Strategy 1 (class-name) and same-file matching are precise — a ubiquitous
  319. // name with an unambiguous local target still resolves.
  320. const nodes = makeManyMethods(CEILING + 1, 'init');
  321. const local: Node = {
  322. id: 'class:static/theme/caller.js:Widgetly:1',
  323. kind: 'class',
  324. name: 'Widgetly',
  325. qualifiedName: 'static/theme/caller.js::Widgetly',
  326. filePath: 'static/theme/caller.js',
  327. language: 'javascript',
  328. startLine: 1, endLine: 9, startColumn: 0, endColumn: 0, updatedAt: Date.now(),
  329. };
  330. const localMethod: Node = {
  331. id: 'method:static/theme/caller.js:Widgetly.init:2',
  332. kind: 'method',
  333. name: 'init',
  334. qualifiedName: 'static/theme/caller.js::Widgetly::init',
  335. filePath: 'static/theme/caller.js',
  336. language: 'javascript',
  337. startLine: 2, endLine: 4, startColumn: 0, endColumn: 0, updatedAt: Date.now(),
  338. };
  339. const all = [...nodes, local, localMethod];
  340. const ctx: ResolutionContext = {
  341. getNodesInFile: (fp) => all.filter((n) => n.filePath === fp),
  342. getNodesByName: (name) => all.filter((n) => n.name === name),
  343. getNodesByQualifiedName: () => [],
  344. getNodesByKind: () => [],
  345. fileExists: () => true,
  346. readFile: () => null,
  347. getProjectRoot: () => '/test',
  348. getAllFiles: () => [],
  349. getNodesByLowerName: () => [],
  350. getImportMappings: () => [],
  351. };
  352. // `Widgetly.init` names the class explicitly → Strategy 1 resolves it.
  353. const ref = {
  354. fromNodeId: 'method:static/theme/caller.js:caller:6',
  355. referenceName: 'Widgetly.init',
  356. referenceKind: 'calls' as const,
  357. line: 6,
  358. column: 4,
  359. filePath: 'static/theme/caller.js',
  360. language: 'javascript' as const,
  361. };
  362. const result = matchReference(ref, ctx);
  363. expect(result?.targetNodeId).toBe('method:static/theme/caller.js:Widgetly.init:2');
  364. });
  365. it('still scores normally JUST below the ceiling (no behavior change for normal repos)', () => {
  366. // Real repos top out near ~40 same-named methods; this proves a sub-ceiling
  367. // collision still resolves via proximity, so the cap is invisible to them.
  368. const nodes = makeManyMethods(CEILING - 1, 'update');
  369. // Make ONE candidate share the caller's directory so proximity picks it.
  370. nodes[0] = {
  371. ...nodes[0]!,
  372. id: 'method:static/theme/app/Widget0.update:1',
  373. qualifiedName: 'static/theme/app/widget.js::Widget0::update',
  374. filePath: 'static/theme/app/widget.js',
  375. };
  376. const ctx: ResolutionContext = {
  377. getNodesInFile: () => [],
  378. getNodesByName: (name) => nodes.filter((n) => n.name === name),
  379. getNodesByQualifiedName: () => [],
  380. getNodesByKind: () => [],
  381. fileExists: () => true,
  382. readFile: () => null,
  383. getProjectRoot: () => '/test',
  384. getAllFiles: () => [],
  385. getNodesByLowerName: () => [],
  386. getImportMappings: () => [],
  387. };
  388. const ref = {
  389. fromNodeId: 'method:static/theme/app/caller.js:caller:1',
  390. referenceName: 'update',
  391. referenceKind: 'calls' as const,
  392. line: 2,
  393. column: 4,
  394. filePath: 'static/theme/app/caller.js',
  395. language: 'javascript' as const,
  396. };
  397. // Below the ceiling the fuzzy path runs and resolves SOMETHING (not capped).
  398. expect(matchReference(ref, ctx)).not.toBeNull();
  399. });
  400. });
  401. describe('Import Resolver', () => {
  402. it('should resolve relative import paths', () => {
  403. const context: ResolutionContext = {
  404. getNodesInFile: () => [],
  405. getNodesByName: () => [],
  406. getNodesByQualifiedName: () => [],
  407. getNodesByKind: () => [],
  408. fileExists: (p) => p === 'src/components/utils.ts' || p === 'src/components/utils/index.ts',
  409. readFile: () => null,
  410. getProjectRoot: () => '',
  411. getAllFiles: () => ['src/components/utils.ts', 'src/components/utils/index.ts'],
  412. };
  413. const result = resolveImportPath(
  414. './utils',
  415. 'src/components/Button.ts',
  416. 'typescript',
  417. context
  418. );
  419. expect(result).toBe('src/components/utils.ts');
  420. });
  421. it('should resolve parent directory imports', () => {
  422. const context: ResolutionContext = {
  423. getNodesInFile: () => [],
  424. getNodesByName: () => [],
  425. getNodesByQualifiedName: () => [],
  426. getNodesByKind: () => [],
  427. fileExists: (p) => p === 'src/helpers.ts' || p === 'src/helpers/index.ts',
  428. readFile: () => null,
  429. getProjectRoot: () => '',
  430. getAllFiles: () => ['src/helpers.ts', 'src/helpers/index.ts'],
  431. };
  432. const result = resolveImportPath(
  433. '../helpers',
  434. 'src/components/Button.ts',
  435. 'typescript',
  436. context
  437. );
  438. expect(result).toBe('src/helpers.ts');
  439. });
  440. it('should extract JS/TS import mappings', () => {
  441. const content = `
  442. import { foo } from './foo';
  443. import bar from '../bar';
  444. import * as utils from './utils';
  445. import { baz, qux } from './baz';
  446. `;
  447. const mappings = extractImportMappings(
  448. 'src/index.ts',
  449. content,
  450. 'typescript'
  451. );
  452. expect(mappings.length).toBeGreaterThan(0);
  453. expect(mappings.some((m) => m.localName === 'foo')).toBe(true);
  454. expect(mappings.some((m) => m.localName === 'bar')).toBe(true);
  455. });
  456. it('should extract Python import mappings', () => {
  457. const content = `
  458. from utils import helper
  459. from .models import User
  460. import os
  461. from ..services import auth_service
  462. `;
  463. const mappings = extractImportMappings(
  464. 'src/main.py',
  465. content,
  466. 'python'
  467. );
  468. expect(mappings.length).toBeGreaterThan(0);
  469. expect(mappings.some((m) => m.localName === 'helper')).toBe(true);
  470. expect(mappings.some((m) => m.localName === 'User')).toBe(true);
  471. });
  472. });
  473. describe('JVM FQN Import Resolution', () => {
  474. // Build a ResolutionContext stub whose getNodesByQualifiedName answers
  475. // from a fixed table — the only context method resolveJvmImport touches.
  476. const makeContext = (byQName: Record<string, Node[]>): ResolutionContext => ({
  477. getNodesInFile: () => [],
  478. getNodesByName: () => [],
  479. getNodesByQualifiedName: (q) => byQName[q] ?? [],
  480. getNodesByKind: () => [],
  481. fileExists: () => false,
  482. readFile: () => null,
  483. getProjectRoot: () => '',
  484. getAllFiles: () => [],
  485. });
  486. const node = (id: string, name: string, qualifiedName: string, kind: Node['kind'] = 'class', language: Node['language'] = 'kotlin'): Node => ({
  487. id, kind, name, qualifiedName,
  488. filePath: 'Models.kt', language,
  489. startLine: 1, endLine: 1, startColumn: 0, endColumn: 0,
  490. updatedAt: 0,
  491. });
  492. const importRef = (referenceName: string, language: Node['language'] = 'kotlin'): UnresolvedRef => ({
  493. fromNodeId: 'caller',
  494. referenceName,
  495. referenceKind: 'imports',
  496. line: 1, column: 0,
  497. filePath: 'Caller.kt',
  498. language,
  499. });
  500. it('resolves a Kotlin class import by FQN regardless of filename', () => {
  501. const target = node('n1', 'Bar', 'com.example.foo::Bar');
  502. const ctx = makeContext({ 'com.example.foo::Bar': [target] });
  503. const result = resolveJvmImport(importRef('com.example.foo.Bar'), ctx);
  504. expect(result?.targetNodeId).toBe('n1');
  505. expect(result?.resolvedBy).toBe('import');
  506. });
  507. it('resolves a Kotlin top-level function import by FQN', () => {
  508. const util = node('n2', 'util', 'com.example.foo::util', 'function');
  509. const ctx = makeContext({ 'com.example.foo::util': [util] });
  510. const result = resolveJvmImport(importRef('com.example.foo.util'), ctx);
  511. expect(result?.targetNodeId).toBe('n2');
  512. });
  513. it('resolves a Java import by FQN', () => {
  514. const target = node('n3', 'Bar', 'com.example.foo::Bar', 'class', 'java');
  515. const ctx = makeContext({ 'com.example.foo::Bar': [target] });
  516. const result = resolveJvmImport(importRef('com.example.foo.Bar', 'java'), ctx);
  517. expect(result?.targetNodeId).toBe('n3');
  518. });
  519. it('resolves cross-language: Kotlin importing a Java class', () => {
  520. // The Kotlin file declares `import com.example.JavaBar` — the target is
  521. // a Java class node. JVM interop means the resolver doesn't care about
  522. // the source language of the target, only that the FQN matches.
  523. const target = node('n4', 'JavaBar', 'com.example::JavaBar', 'class', 'java');
  524. const ctx = makeContext({ 'com.example::JavaBar': [target] });
  525. const result = resolveJvmImport(importRef('com.example.JavaBar'), ctx);
  526. expect(result?.targetNodeId).toBe('n4');
  527. });
  528. it('disambiguates a name collision across packages', () => {
  529. // Two classes named `Bar` in different packages. Each import resolves
  530. // to the one whose FQN matches — not to "whichever was found first".
  531. const barA = node('n5a', 'Bar', 'com.example.alpha::Bar');
  532. const barB = node('n5b', 'Bar', 'com.example.beta::Bar');
  533. const ctx = makeContext({
  534. 'com.example.alpha::Bar': [barA],
  535. 'com.example.beta::Bar': [barB],
  536. });
  537. expect(resolveJvmImport(importRef('com.example.alpha.Bar'), ctx)?.targetNodeId).toBe('n5a');
  538. expect(resolveJvmImport(importRef('com.example.beta.Bar'), ctx)?.targetNodeId).toBe('n5b');
  539. });
  540. it('returns null for wildcard imports', () => {
  541. const ctx = makeContext({});
  542. expect(resolveJvmImport(importRef('com.example.foo.*'), ctx)).toBeNull();
  543. });
  544. it('returns null for unqualified names', () => {
  545. // A single-segment name has no package; nothing to look up by FQN.
  546. const ctx = makeContext({ 'Bar': [node('n6', 'Bar', 'Bar')] });
  547. expect(resolveJvmImport(importRef('Bar'), ctx)).toBeNull();
  548. });
  549. it('returns null for non-JVM languages', () => {
  550. const target = node('n7', 'Bar', 'com.example::Bar');
  551. const ctx = makeContext({ 'com.example::Bar': [target] });
  552. expect(resolveJvmImport(importRef('com.example.Bar', 'typescript'), ctx)).toBeNull();
  553. });
  554. it('returns null for non-imports reference kinds', () => {
  555. // The resolver intentionally only acts on `imports` refs; ordinary
  556. // `calls`/`extends` refs fall through to the framework + name-matcher
  557. // strategies.
  558. const target = node('n8', 'Bar', 'com.example::Bar');
  559. const ctx = makeContext({ 'com.example::Bar': [target] });
  560. const ref: UnresolvedRef = {
  561. fromNodeId: 'caller', referenceName: 'com.example.Bar',
  562. referenceKind: 'calls', line: 1, column: 0,
  563. filePath: 'Caller.kt', language: 'kotlin',
  564. };
  565. expect(resolveJvmImport(ref, ctx)).toBeNull();
  566. });
  567. it('returns null when the FQN is not in the index', () => {
  568. const ctx = makeContext({});
  569. expect(resolveJvmImport(importRef('com.example.Unknown'), ctx)).toBeNull();
  570. });
  571. });
  572. describe('Framework Detection', () => {
  573. it('should detect React framework', () => {
  574. const context: ResolutionContext = {
  575. getNodesInFile: () => [],
  576. getNodesByName: () => [],
  577. getNodesByQualifiedName: () => [],
  578. getNodesByKind: () => [],
  579. fileExists: () => false,
  580. readFile: (p) => {
  581. if (p === 'package.json') {
  582. return JSON.stringify({
  583. dependencies: { react: '^18.0.0' },
  584. });
  585. }
  586. return null;
  587. },
  588. getProjectRoot: () => '/test',
  589. getAllFiles: () => ['package.json', 'src/App.tsx'],
  590. };
  591. const frameworks = detectFrameworks(context);
  592. expect(frameworks.some((f) => f.name === 'react')).toBe(true);
  593. });
  594. it('should detect Express framework', () => {
  595. const context: ResolutionContext = {
  596. getNodesInFile: () => [],
  597. getNodesByName: () => [],
  598. getNodesByQualifiedName: () => [],
  599. getNodesByKind: () => [],
  600. fileExists: () => false,
  601. readFile: (p) => {
  602. if (p === 'package.json') {
  603. return JSON.stringify({
  604. dependencies: { express: '^4.18.0' },
  605. });
  606. }
  607. return null;
  608. },
  609. getProjectRoot: () => '/test',
  610. getAllFiles: () => ['package.json', 'src/app.js'],
  611. };
  612. const frameworks = detectFrameworks(context);
  613. expect(frameworks.some((f) => f.name === 'express')).toBe(true);
  614. });
  615. it('should detect Laravel framework', () => {
  616. const context: ResolutionContext = {
  617. getNodesInFile: () => [],
  618. getNodesByName: () => [],
  619. getNodesByQualifiedName: () => [],
  620. getNodesByKind: () => [],
  621. fileExists: (p) => p === 'artisan',
  622. readFile: () => null,
  623. getProjectRoot: () => '/test',
  624. getAllFiles: () => ['artisan', 'app/Http/Kernel.php'],
  625. };
  626. const frameworks = detectFrameworks(context);
  627. expect(frameworks.some((f) => f.name === 'laravel')).toBe(true);
  628. });
  629. it('should return all framework resolvers', () => {
  630. const resolvers = getAllFrameworkResolvers();
  631. expect(resolvers.length).toBeGreaterThan(0);
  632. expect(resolvers.some((r) => r.name === 'react')).toBe(true);
  633. expect(resolvers.some((r) => r.name === 'express')).toBe(true);
  634. expect(resolvers.some((r) => r.name === 'laravel')).toBe(true);
  635. });
  636. });
  637. describe('React Framework Resolver', () => {
  638. it('should resolve React component references', () => {
  639. const mockNodes: Node[] = [
  640. {
  641. id: 'component:src/Button.tsx:Button:5',
  642. kind: 'component',
  643. name: 'Button',
  644. qualifiedName: 'src/Button.tsx::Button',
  645. filePath: 'src/Button.tsx',
  646. language: 'tsx',
  647. startLine: 5,
  648. endLine: 20,
  649. startColumn: 0,
  650. endColumn: 0,
  651. updatedAt: Date.now(),
  652. },
  653. ];
  654. const context: ResolutionContext = {
  655. getNodesInFile: (fp) => (fp === 'src/Button.tsx' ? mockNodes : []),
  656. getNodesByName: () => mockNodes,
  657. getNodesByQualifiedName: () => [],
  658. getNodesByKind: () => [],
  659. fileExists: () => false,
  660. readFile: (p) => {
  661. if (p === 'package.json') {
  662. return JSON.stringify({ dependencies: { react: '^18.0.0' } });
  663. }
  664. return null;
  665. },
  666. getProjectRoot: () => '/test',
  667. getAllFiles: () => ['package.json', 'src/Button.tsx', 'src/App.tsx'],
  668. };
  669. const frameworks = detectFrameworks(context);
  670. const reactResolver = frameworks.find((f) => f.name === 'react');
  671. expect(reactResolver).toBeDefined();
  672. const ref = {
  673. fromNodeId: 'component:src/App.tsx:App:1',
  674. referenceName: 'Button',
  675. referenceKind: 'renders' as const,
  676. line: 10,
  677. column: 5,
  678. filePath: 'src/App.tsx',
  679. // Refs extracted from .tsx files carry language 'tsx' — component
  680. // resolution is gated to JSX-capable refs (#764: PascalCase TYPE refs
  681. // from plain .ts files were resolving to arbitrary same-named classes).
  682. language: 'tsx' as const,
  683. };
  684. const result = reactResolver!.resolve(ref, context);
  685. expect(result).not.toBeNull();
  686. expect(result?.targetNodeId).toBe('component:src/Button.tsx:Button:5');
  687. // The same PascalCase name referenced from a plain .ts file is a TYPE
  688. // reference, not a component usage — component resolution must decline
  689. // and leave it to proximity-aware name matching (#764: a .ts GraphQL
  690. // types file's own `Account` alias was losing to an arbitrary same-named
  691. // class in another monorepo package).
  692. const tsRef = { ...ref, filePath: 'src/models.ts', language: 'typescript' as const };
  693. expect(reactResolver!.resolve(tsRef, context)).toBeNull();
  694. });
  695. it('should resolve custom hook references', () => {
  696. const mockNodes: Node[] = [
  697. {
  698. id: 'hook:src/hooks/useAuth.ts:useAuth:1',
  699. kind: 'function',
  700. name: 'useAuth',
  701. qualifiedName: 'src/hooks/useAuth.ts::useAuth',
  702. filePath: 'src/hooks/useAuth.ts',
  703. language: 'typescript',
  704. startLine: 1,
  705. endLine: 20,
  706. startColumn: 0,
  707. endColumn: 0,
  708. updatedAt: Date.now(),
  709. },
  710. ];
  711. const context: ResolutionContext = {
  712. getNodesInFile: (fp) => (fp.includes('useAuth') ? mockNodes : []),
  713. getNodesByName: () => mockNodes,
  714. getNodesByQualifiedName: () => [],
  715. getNodesByKind: () => [],
  716. fileExists: () => false,
  717. readFile: (p) => {
  718. if (p === 'package.json') {
  719. return JSON.stringify({ dependencies: { react: '^18.0.0' } });
  720. }
  721. return null;
  722. },
  723. getProjectRoot: () => '/test',
  724. getAllFiles: () => ['package.json', 'src/hooks/useAuth.ts'],
  725. };
  726. const frameworks = detectFrameworks(context);
  727. const reactResolver = frameworks.find((f) => f.name === 'react');
  728. const ref = {
  729. fromNodeId: 'component:src/App.tsx:App:1',
  730. referenceName: 'useAuth',
  731. referenceKind: 'calls' as const,
  732. line: 5,
  733. column: 10,
  734. filePath: 'src/App.tsx',
  735. language: 'typescript' as const,
  736. };
  737. const result = reactResolver!.resolve(ref, context);
  738. expect(result).not.toBeNull();
  739. expect(result?.targetNodeId).toBe('hook:src/hooks/useAuth.ts:useAuth:1');
  740. });
  741. });
  742. describe('Integration Tests', () => {
  743. it('should create resolver from CodeGraph instance', async () => {
  744. // Create a simple TypeScript project
  745. fs.writeFileSync(
  746. path.join(tempDir, 'package.json'),
  747. JSON.stringify({ name: 'test', dependencies: { react: '^18.0.0' } })
  748. );
  749. const srcDir = path.join(tempDir, 'src');
  750. fs.mkdirSync(srcDir);
  751. // Create utility file
  752. fs.writeFileSync(
  753. path.join(srcDir, 'utils.ts'),
  754. `export function formatDate(date: Date): string {
  755. return date.toISOString();
  756. }
  757. export function parseDate(str: string): Date {
  758. return new Date(str);
  759. }`
  760. );
  761. // Create main file that uses utils
  762. fs.writeFileSync(
  763. path.join(srcDir, 'main.ts'),
  764. `import { formatDate, parseDate } from './utils';
  765. function processDate(input: string): string {
  766. const date = parseDate(input);
  767. return formatDate(date);
  768. }`
  769. );
  770. // Initialize and index
  771. cg = await CodeGraph.init(tempDir, { index: true });
  772. // Check that resolver detected React framework
  773. const frameworks = cg.getDetectedFrameworks();
  774. expect(frameworks).toContain('react');
  775. // Get stats to verify indexing worked
  776. const stats = cg.getStats();
  777. expect(stats.fileCount).toBe(2);
  778. expect(stats.nodeCount).toBeGreaterThan(0);
  779. });
  780. it('should resolve references after indexing', async () => {
  781. // Create a project with references
  782. const srcDir = path.join(tempDir, 'src');
  783. fs.mkdirSync(srcDir, { recursive: true });
  784. fs.writeFileSync(
  785. path.join(srcDir, 'helper.ts'),
  786. `export function helperFunction(): void {
  787. console.log('helper');
  788. }`
  789. );
  790. fs.writeFileSync(
  791. path.join(srcDir, 'main.ts'),
  792. `import { helperFunction } from './helper';
  793. function main(): void {
  794. helperFunction();
  795. }`
  796. );
  797. cg = await CodeGraph.init(tempDir, { index: true });
  798. // Run reference resolution
  799. const result = cg.resolveReferences();
  800. // Should have attempted resolution
  801. expect(result.stats.total).toBeGreaterThanOrEqual(0);
  802. });
  803. it('promotes calls→instantiates when target resolves to a class (Python)', async () => {
  804. // Python has no `new` keyword — `Foo()` is the standard
  805. // instantiation syntax. Extraction can't tell that apart from
  806. // a function call without symbol info, so it emits a `calls`
  807. // ref. Resolution promotes it to `instantiates` once the
  808. // target is known to be a class.
  809. const srcDir = path.join(tempDir, 'src');
  810. fs.mkdirSync(srcDir, { recursive: true });
  811. fs.writeFileSync(
  812. path.join(srcDir, 'app.py'),
  813. `class UserService:
  814. def __init__(self):
  815. self.db = None
  816. def bootstrap():
  817. return UserService()
  818. `
  819. );
  820. cg = await CodeGraph.init(tempDir, { index: true });
  821. cg.resolveReferences();
  822. const bootstrap = cg
  823. .getNodesByKind('function')
  824. .find((n) => n.name === 'bootstrap');
  825. expect(bootstrap).toBeDefined();
  826. const outgoing = cg.getOutgoingEdges(bootstrap!.id);
  827. const instantiates = outgoing.find((e) => e.kind === 'instantiates');
  828. expect(instantiates).toBeDefined();
  829. // Same edge must NOT also appear as a `calls` edge — promotion
  830. // replaces the kind, doesn't duplicate.
  831. const callsToUserService = outgoing.filter(
  832. (e) => e.kind === 'calls' && e.target === instantiates!.target
  833. );
  834. expect(callsToUserService).toHaveLength(0);
  835. });
  836. it('records instantiates for C++ stack/brace construction, targeting the class (#1035)', async () => {
  837. // `Calculator calc(0)` (direct-init) and `Widget w{1, 2}` (brace-init)
  838. // carry the constructor args directly on the declarator — there's no
  839. // call/new node — so they recorded no `instantiates` edge, while heap
  840. // `new Calculator(0)` did. Both stack forms now do.
  841. fs.writeFileSync(
  842. path.join(tempDir, 'm.cpp'),
  843. `class Calculator { public: Calculator(int seed) {} int add(int a, int b){ return a+b; } };
  844. class Widget { public: Widget(int a, int b) {} };
  845. int runStack(int a, int b) { Calculator calc(0); return calc.add(a, b); }
  846. int runBrace() { Widget w{1, 2}; return 0; }
  847. int runHeap(int a, int b) { Calculator* c = new Calculator(0); return c->add(a, b); }
  848. void noise() { int x(5); int y{6}; Calculator deferred; }
  849. `
  850. );
  851. cg = await CodeGraph.init(tempDir, { index: true });
  852. const fn = (name: string) => cg.getNodesByKind('function').find((n) => n.name === name)!;
  853. const instTargets = (name: string) =>
  854. cg
  855. .getOutgoingEdges(fn(name).id)
  856. .filter((e) => e.kind === 'instantiates')
  857. .map((e) => cg.getNode(e.target)!);
  858. // Direct-init (the issue) and brace-init both instantiate, targeting the
  859. // CLASS node — not the same-named constructor method.
  860. const stack = instTargets('runStack');
  861. expect(stack.map((n) => `${n.kind}:${n.name}`)).toContain('class:Calculator');
  862. expect(instTargets('runBrace').map((n) => `${n.kind}:${n.name}`)).toContain('class:Widget');
  863. // Heap still works (regression guard).
  864. expect(instTargets('runHeap').map((n) => `${n.kind}:${n.name}`)).toContain('class:Calculator');
  865. // Primitives (`int x(0)`/`int y{6}`) and bare default construction
  866. // (`Calculator deferred;`) must NOT mint an instantiates edge.
  867. expect(instTargets('noise')).toHaveLength(0);
  868. });
  869. it('resolves a cross-file static method call to the method, not the class (#825)', async () => {
  870. // `Foo.bar()` where `Foo` is an imported class must link to the static
  871. // method `Foo::bar`, NOT to the class `Foo`. Previously the import
  872. // resolver dropped the `.bar` member and resolved to `Foo`, which the
  873. // calls→instantiates promotion then turned into `run instantiates Foo`,
  874. // leaving the static method with zero callers and a hollow impact radius.
  875. fs.writeFileSync(
  876. path.join(tempDir, 'helpers.ts'),
  877. `export class Foo {\n static bar(x: number) { return x + 1; }\n}\n`
  878. );
  879. fs.writeFileSync(
  880. path.join(tempDir, 'caller.ts'),
  881. `import { Foo } from './helpers';\nexport function run() { return Foo.bar(41); }\n`
  882. );
  883. cg = await CodeGraph.init(tempDir, { index: true });
  884. cg.resolveReferences();
  885. const bar = cg.getNodesByKind('method').find((n) => n.name === 'bar');
  886. const foo = cg.getNodesByKind('class').find((n) => n.name === 'Foo');
  887. const run = cg.getNodesByKind('function').find((n) => n.name === 'run');
  888. expect(bar).toBeDefined();
  889. expect(foo).toBeDefined();
  890. expect(run).toBeDefined();
  891. // `run` is reported as a caller of the static method `Foo.bar`.
  892. const barCallers = cg.getCallers(bar!.id).map((c) => c.node.name);
  893. expect(barCallers).toContain('run');
  894. // And the call is NOT mis-promoted to `run instantiates Foo`.
  895. const outgoing = cg.getOutgoingEdges(run!.id);
  896. expect(
  897. outgoing.filter((e) => e.kind === 'instantiates' && e.target === foo!.id)
  898. ).toHaveLength(0);
  899. // The real edge is a `calls` edge to the method.
  900. expect(
  901. outgoing.some((e) => e.kind === 'calls' && e.target === bar!.id)
  902. ).toBe(true);
  903. });
  904. it('resolves Go cross-package qualified calls via go.mod module path (#388)', async () => {
  905. // Pre-#388, every `pkga.FuncX(...)` call in a Go monorepo was flagged
  906. // external (isExternalImport returned true for any non-`/internal/`
  907. // import without `.`-prefix) and resolution fell through to name-match
  908. // with path proximity — recall on cross-package callers was ~<1%.
  909. fs.writeFileSync(
  910. path.join(tempDir, 'go.mod'),
  911. 'module github.com/example/myproject\n\ngo 1.21\n'
  912. );
  913. const pkgaDir = path.join(tempDir, 'pkga');
  914. const pkgbDir = path.join(tempDir, 'pkgb');
  915. const pkgcDir = path.join(tempDir, 'pkgc');
  916. fs.mkdirSync(pkgaDir);
  917. fs.mkdirSync(pkgbDir);
  918. fs.mkdirSync(pkgcDir);
  919. // Same-name exported function in two packages — only the imported one
  920. // should resolve. Exercises disambiguation, not just connectivity.
  921. fs.writeFileSync(
  922. path.join(pkgaDir, 'conv.go'),
  923. 'package pkga\nfunc Convert(x int) int { return x * 2 }\n'
  924. );
  925. fs.writeFileSync(
  926. path.join(pkgbDir, 'conv.go'),
  927. 'package pkgb\nfunc Convert(x int) int { return x + 1 }\n'
  928. );
  929. fs.writeFileSync(
  930. path.join(pkgcDir, 'use.go'),
  931. `package pkgc
  932. import "github.com/example/myproject/pkga"
  933. func UsePkga() {
  934. pkga.Convert(5)
  935. }
  936. `
  937. );
  938. cg = await CodeGraph.init(tempDir, { index: true });
  939. const usePkga = cg.getNodesByKind('function').filter((n) => n.name ==='UsePkga')[0];
  940. expect(usePkga).toBeDefined();
  941. const outgoing = cg.getOutgoingEdges(usePkga!.id);
  942. const callEdges = outgoing.filter((e) => e.kind === 'calls');
  943. expect(callEdges).toHaveLength(1);
  944. const target = cg.getNode(callEdges[0]!.target);
  945. expect(target?.name).toBe('Convert');
  946. // Critical: the resolver must pick the imported pkga's Convert,
  947. // not pkgb's. With the broken (pre-fix) resolver this lands on
  948. // whichever Convert happens to be cheaper under path proximity.
  949. expect(target?.filePath.replace(/\\/g, '/')).toBe('pkga/conv.go');
  950. });
  951. it('resolves Go aliased imports across packages (#388)', async () => {
  952. fs.writeFileSync(
  953. path.join(tempDir, 'go.mod'),
  954. 'module github.com/example/myproject\n\ngo 1.21\n'
  955. );
  956. fs.mkdirSync(path.join(tempDir, 'pkgb'));
  957. fs.mkdirSync(path.join(tempDir, 'pkgd'));
  958. fs.writeFileSync(
  959. path.join(tempDir, 'pkgb', 'lib.go'),
  960. 'package pkgb\nfunc Compute(x int) int { return x }\n'
  961. );
  962. fs.writeFileSync(
  963. path.join(tempDir, 'pkgd', 'use.go'),
  964. `package pkgd
  965. import (
  966. "fmt"
  967. alias "github.com/example/myproject/pkgb"
  968. )
  969. func UseAliased() {
  970. fmt.Println("hi")
  971. alias.Compute(3)
  972. }
  973. `
  974. );
  975. cg = await CodeGraph.init(tempDir, { index: true });
  976. const useAliased = cg.getNodesByKind('function').filter((n) => n.name ==='UseAliased')[0];
  977. expect(useAliased).toBeDefined();
  978. const calls = cg.getOutgoingEdges(useAliased!.id).filter((e) => e.kind === 'calls');
  979. // fmt.Println is stdlib — must stay external. alias.Compute must resolve.
  980. expect(calls).toHaveLength(1);
  981. const target = cg.getNode(calls[0]!.target);
  982. expect(target?.name).toBe('Compute');
  983. expect(target?.filePath.replace(/\\/g, '/')).toBe('pkgb/lib.go');
  984. });
  985. it('resolves Python module-attribute calls after `from pkg import module` (#578)', async () => {
  986. // Pre-#578, a `module.func()` call where `module` was bound via
  987. // `from pkg import module` dropped its `calls` edge. The file→file import
  988. // edge resolved (resolveModuleImportToFile falls back to a dotted-module
  989. // file lookup for absolute package paths), but resolvePythonModuleMember
  990. // had no such fallback — resolveImportPath returns null for an absolute
  991. // package path like `pkg.module`, so the member never resolved and
  992. // callers/callees/impact on the target came back empty. Same root-cause
  993. // class as the Go cross-package qualified call (#388).
  994. fs.mkdirSync(path.join(tempDir, 'pkg'));
  995. fs.writeFileSync(path.join(tempDir, 'pkg', '__init__.py'), '');
  996. fs.writeFileSync(
  997. path.join(tempDir, 'pkg', 'module.py'),
  998. 'def func():\n return 1\n'
  999. );
  1000. fs.writeFileSync(
  1001. path.join(tempDir, 'main.py'),
  1002. `from pkg import module
  1003. import os
  1004. def caller():
  1005. return module.func()
  1006. def external_caller():
  1007. return os.getcwd()
  1008. `
  1009. );
  1010. cg = await CodeGraph.init(tempDir, { index: true });
  1011. const caller = cg.getNodesByKind('function').filter((n) => n.name === 'caller')[0];
  1012. expect(caller).toBeDefined();
  1013. const calls = cg.getOutgoingEdges(caller!.id).filter((e) => e.kind === 'calls');
  1014. // module.func() must resolve to the real function in the submodule file.
  1015. expect(calls).toHaveLength(1);
  1016. const target = cg.getNode(calls[0]!.target);
  1017. expect(target?.name).toBe('func');
  1018. expect(target?.filePath.replace(/\\/g, '/')).toBe('pkg/module.py');
  1019. // The flip side of the fix: an attribute call through a *stdlib* module
  1020. // (`os.getcwd()`) must still create no edge — the fallback only matches
  1021. // real in-repo module files.
  1022. const externalCaller = cg.getNodesByKind('function').filter((n) => n.name === 'external_caller')[0];
  1023. expect(externalCaller).toBeDefined();
  1024. const externalCalls = cg.getOutgoingEdges(externalCaller!.id).filter((e) => e.kind === 'calls');
  1025. expect(externalCalls).toHaveLength(0);
  1026. });
  1027. it('attaches Go methods to their receiver type across files (#583, cross-file half)', async () => {
  1028. // In Go a type's methods are commonly declared in a different file from the
  1029. // `type` declaration (`type Box` in box.go, `func (b *Box) Get()` in
  1030. // box_methods.go). Extraction only attaches the struct→method `contains`
  1031. // edge when the type is in the SAME file (the owner lookup is file-scoped),
  1032. // so a cross-file method was orphaned from its struct — breaking member
  1033. // outlines and any callers/callees/impact traversal through `contains`. A
  1034. // resolution-phase pass now links them within the package (= directory).
  1035. fs.writeFileSync(
  1036. path.join(tempDir, 'box.go'),
  1037. 'package main\n\ntype Box struct{ v int }\n'
  1038. );
  1039. fs.writeFileSync(
  1040. path.join(tempDir, 'box_methods.go'),
  1041. 'package main\n\nfunc (b *Box) Get() int { return b.v }\nfunc (b *Box) Set(x int) { b.v = x }\n'
  1042. );
  1043. // Generic receiver declared cross-file too — exercises #583 half A
  1044. // (generic `*Stack[T]` receiver parsing) and half B (cross-file) together.
  1045. fs.writeFileSync(
  1046. path.join(tempDir, 'stack.go'),
  1047. 'package main\n\ntype Stack[T any] struct {\n\titems []T\n}\n'
  1048. );
  1049. fs.writeFileSync(
  1050. path.join(tempDir, 'stack_push.go'),
  1051. 'package main\n\nfunc (s *Stack[T]) Push(v T) { s.items = append(s.items, v) }\n'
  1052. );
  1053. // A same-named type in another package must NOT capture this package's
  1054. // methods — the link is scoped to the receiver type's own directory.
  1055. fs.mkdirSync(path.join(tempDir, 'other'));
  1056. fs.writeFileSync(
  1057. path.join(tempDir, 'other', 'box.go'),
  1058. 'package other\n\ntype Box struct{ w int }\n'
  1059. );
  1060. cg = await CodeGraph.init(tempDir, { index: true });
  1061. const methodsOf = (typeName: string, file: string): string[] => {
  1062. const node = cg
  1063. .getNodesByKind('struct')
  1064. .find((n) => n.name === typeName && n.filePath.replace(/\\/g, '/') === file);
  1065. expect(node, `${typeName} @ ${file}`).toBeDefined();
  1066. return cg
  1067. .getOutgoingEdges(node!.id)
  1068. .filter((e) => e.kind === 'contains')
  1069. .map((e) => cg.getNode(e.target))
  1070. .filter((n) => !!n && n.kind === 'method')
  1071. .map((n) => n!.name)
  1072. .sort();
  1073. };
  1074. // Cross-file (non-generic) methods now attach to their struct.
  1075. expect(methodsOf('Box', 'box.go')).toEqual(['Get', 'Set']);
  1076. // Generic + cross-file.
  1077. expect(methodsOf('Stack', 'stack.go')).toEqual(['Push']);
  1078. // Cross-package isolation: other/Box defines no methods of its own.
  1079. expect(methodsOf('Box', 'other/box.go')).toEqual([]);
  1080. });
  1081. it('TS type_alias object-shape members resolve method calls (#359)', async () => {
  1082. // Pre-#359, `recorder.stop()` (recorder: RecorderHandle) attached
  1083. // to `StdioMcpClient.stop` in a sibling directory via path-proximity
  1084. // because the type_alias had no `stop` node — only the unrelated
  1085. // class did. Now type_alias produces member nodes (property/method),
  1086. // so the camelCase receiver↔type word overlap pulls the call to
  1087. // `RecorderHandle::stop` instead of the look-alike class.
  1088. fs.mkdirSync(path.join(tempDir, 'voice'));
  1089. fs.mkdirSync(path.join(tempDir, 'codegraph'));
  1090. fs.writeFileSync(
  1091. path.join(tempDir, 'voice', 'recorder.ts'),
  1092. `export type RecorderHandle = {
  1093. wavPath: string;
  1094. stop: () => Promise<{ ok: true }>;
  1095. };
  1096. `
  1097. );
  1098. fs.writeFileSync(
  1099. path.join(tempDir, 'voice', 'controller.ts'),
  1100. `import type { RecorderHandle } from "./recorder";
  1101. export async function finaliseRecording(recorder: RecorderHandle) {
  1102. return await recorder.stop();
  1103. }
  1104. `
  1105. );
  1106. fs.writeFileSync(
  1107. path.join(tempDir, 'codegraph', 'stdio-client.ts'),
  1108. `export class StdioMcpClient {
  1109. private stopped = false;
  1110. async stop(): Promise<void> { this.stopped = true; }
  1111. }
  1112. `
  1113. );
  1114. cg = await CodeGraph.init(tempDir, { index: true });
  1115. const handleStop = cg
  1116. .getNodesByKind('method')
  1117. .find((n) => n.qualifiedName === 'RecorderHandle::stop');
  1118. expect(handleStop).toBeDefined();
  1119. const clientStop = cg
  1120. .getNodesByKind('method')
  1121. .find((n) => n.qualifiedName === 'StdioMcpClient::stop');
  1122. expect(clientStop).toBeDefined();
  1123. const handleCallers = cg.getIncomingEdges(handleStop!.id).filter((e) => e.kind === 'calls');
  1124. const clientCallers = cg.getIncomingEdges(clientStop!.id).filter((e) => e.kind === 'calls');
  1125. expect(handleCallers.length).toBeGreaterThanOrEqual(1);
  1126. // The class method must have NO callers — voice/'s call must NOT
  1127. // mis-attribute. A non-empty list would mean the false-positive
  1128. // path is still firing.
  1129. expect(clientCallers).toHaveLength(0);
  1130. // Function-typed property surfaces as a `method` node, not `property`,
  1131. // because `stop()` semantics at the call site are method semantics.
  1132. expect(handleStop!.kind).toBe('method');
  1133. });
  1134. it('Java import disambiguates same-name classes across modules (#314)', async () => {
  1135. // Pre-#314 the import resolver had no Java branch at all, so a
  1136. // multi-module Maven repo where `dao/converter/FooConverter` and
  1137. // `service/converter/FooConverter` both export a `convert` method
  1138. // resolved by file-path proximity — picking whichever class was
  1139. // closer to the caller, which is wrong any time the caller lives
  1140. // in an equidistant cross-cutting module.
  1141. const daoDir = path.join(tempDir, 'dao/src/main/java/com/example/dao/converter');
  1142. const serviceDir = path.join(tempDir, 'service/src/main/java/com/example/service/converter');
  1143. const webDir = path.join(tempDir, 'web/src/main/java/com/example/web');
  1144. fs.mkdirSync(daoDir, { recursive: true });
  1145. fs.mkdirSync(serviceDir, { recursive: true });
  1146. fs.mkdirSync(webDir, { recursive: true });
  1147. fs.writeFileSync(
  1148. path.join(daoDir, 'FooConverter.java'),
  1149. `package com.example.dao.converter;
  1150. public class FooConverter { public String convert(String x) { return "dao:" + x; } }
  1151. `
  1152. );
  1153. fs.writeFileSync(
  1154. path.join(serviceDir, 'FooConverter.java'),
  1155. `package com.example.service.converter;
  1156. public class FooConverter { public String convert(String x) { return "svc:" + x; } }
  1157. `
  1158. );
  1159. // The caller imports the SERVICE version — even though dao is
  1160. // alphabetically/lexically first in the candidate list, the
  1161. // import must trump that order.
  1162. fs.writeFileSync(
  1163. path.join(webDir, 'Handler.java'),
  1164. `package com.example.web;
  1165. import com.example.service.converter.FooConverter;
  1166. public class Handler {
  1167. private FooConverter fooConverter;
  1168. public String use() { return fooConverter.convert("input"); }
  1169. }
  1170. `
  1171. );
  1172. cg = await CodeGraph.init(tempDir, { index: true });
  1173. const use = cg
  1174. .getNodesByKind('method')
  1175. .find((n) => n.qualifiedName === 'com.example.web::Handler::use');
  1176. expect(use).toBeDefined();
  1177. const calls = cg.getOutgoingEdges(use!.id).filter((e) => e.kind === 'calls');
  1178. expect(calls.length).toBeGreaterThanOrEqual(1);
  1179. const target = cg.getNode(calls[0]!.target);
  1180. expect(target?.name).toBe('convert');
  1181. expect(target?.filePath.replace(/\\/g, '/')).toBe(
  1182. 'service/src/main/java/com/example/service/converter/FooConverter.java'
  1183. );
  1184. });
  1185. it('C# extracts references from method/property/field types (#381)', async () => {
  1186. // Pre-#381, every C# project produced ZERO `references` edges:
  1187. // csharp.ts was missing returnField, and the type-leaf walker
  1188. // only recognized TS/Java's `type_identifier` nodes — C# uses
  1189. // `identifier`/`predefined_type`/`qualified_name`/`generic_name`.
  1190. const srcDir = path.join(tempDir, 'src');
  1191. fs.mkdirSync(srcDir, { recursive: true });
  1192. fs.writeFileSync(
  1193. path.join(srcDir, 'Dtos.cs'),
  1194. `namespace MyApp;
  1195. public class SessionInfoDto { public string Id { get; set; } = ""; }
  1196. public class UserDto { public string Name { get; set; } = ""; }
  1197. `
  1198. );
  1199. fs.writeFileSync(
  1200. path.join(srcDir, 'Service.cs'),
  1201. `using System.Threading.Tasks;
  1202. namespace MyApp;
  1203. public class DataExporter
  1204. {
  1205. public SessionInfoDto Build(UserDto user, SessionInfoDto session) { return session; }
  1206. public Task<SessionInfoDto> BuildAsync(UserDto user) { return Task.FromResult(new SessionInfoDto()); }
  1207. public SessionInfoDto Latest { get; set; } = new();
  1208. private UserDto _cached;
  1209. }
  1210. `
  1211. );
  1212. cg = await CodeGraph.init(tempDir, { index: true });
  1213. const sessionDto = cg
  1214. .getNodesByKind('class')
  1215. .find((n) => n.name === 'SessionInfoDto');
  1216. const userDto = cg
  1217. .getNodesByKind('class')
  1218. .find((n) => n.name === 'UserDto');
  1219. expect(sessionDto).toBeDefined();
  1220. expect(userDto).toBeDefined();
  1221. const sessionIncoming = cg
  1222. .getIncomingEdges(sessionDto!.id)
  1223. .filter((e) => e.kind === 'references');
  1224. const userIncoming = cg
  1225. .getIncomingEdges(userDto!.id)
  1226. .filter((e) => e.kind === 'references');
  1227. // SessionInfoDto: Build return, Build param, BuildAsync return (inside Task<>), Latest property.
  1228. // UserDto: Build param, BuildAsync param, _cached field.
  1229. expect(sessionIncoming.length).toBeGreaterThanOrEqual(4);
  1230. expect(userIncoming.length).toBeGreaterThanOrEqual(3);
  1231. });
  1232. it('C# primary-constructor parameters record their type dependencies (#237)', async () => {
  1233. // C# 12 primary constructors declare a type's injected dependencies inline
  1234. // (`class Svc(IRepo repo, [FromKeyedServices("k")] ICache cache)`). Each
  1235. // ctor parameter's type is recorded as a `references` edge from the class,
  1236. // so a DI-registered contract reached only through a primary ctor is no
  1237. // longer reported as having no dependents.
  1238. fs.mkdirSync(path.join(tempDir, 'src'), { recursive: true });
  1239. fs.writeFileSync(
  1240. path.join(tempDir, 'src', 'Contracts.cs'),
  1241. `namespace App;
  1242. public interface IRepo { }
  1243. public class ICache { }
  1244. `
  1245. );
  1246. fs.writeFileSync(
  1247. path.join(tempDir, 'src', 'OrderService.cs'),
  1248. `namespace App;
  1249. public sealed class OrderService(IRepo repo, [FromKeyedServices("primary")] ICache cache)
  1250. {
  1251. public void Run() { }
  1252. }
  1253. `
  1254. );
  1255. cg = await CodeGraph.init(tempDir, { index: true });
  1256. const svc = cg.getNodesByKind('class').find((n) => n.name === 'OrderService');
  1257. expect(svc).toBeDefined();
  1258. // The class itself must index (it used to vanish under the old grammar).
  1259. const out = cg.getOutgoingEdges(svc!.id).filter((e) => e.kind === 'references');
  1260. const depNames = out.map((e) => cg.getNode(e.target)?.name);
  1261. expect(depNames).toContain('IRepo');
  1262. expect(depNames).toContain('ICache'); // the keyed-DI ([FromKeyedServices]) dependency
  1263. });
  1264. it('Go: leaves stdlib calls (fmt.Println, etc.) external', async () => {
  1265. fs.writeFileSync(
  1266. path.join(tempDir, 'go.mod'),
  1267. 'module github.com/example/myproject\n\ngo 1.21\n'
  1268. );
  1269. fs.writeFileSync(
  1270. path.join(tempDir, 'main.go'),
  1271. `package main
  1272. import "fmt"
  1273. func main() {
  1274. fmt.Println("hi")
  1275. }
  1276. `
  1277. );
  1278. cg = await CodeGraph.init(tempDir, { index: true });
  1279. const mainFn = cg.getNodesByKind('function').filter((n) => n.name ==='main')[0];
  1280. const calls = cg.getOutgoingEdges(mainFn!.id).filter((e) => e.kind === 'calls');
  1281. // No spurious in-project edge — fmt.* must stay unresolved/external.
  1282. expect(calls).toHaveLength(0);
  1283. });
  1284. });
  1285. describe('Same-name method disambiguation (#1079)', () => {
  1286. // resolveMethodOnType picks among several methods that share a
  1287. // `Type::method` qualifiedName. The precedence is:
  1288. // 1. preferredFqn (Java/Kotlin import — target is intentionally in
  1289. // ANOTHER file, #314),
  1290. // 2. the call site's OWN file (language-agnostic, #1079),
  1291. // 3. matches[0] (first-indexed) as a last resort.
  1292. const methodNode = (
  1293. id: string,
  1294. filePath: string,
  1295. language: Node['language'] = 'cpp',
  1296. qualifiedName = 'Logger::log',
  1297. name = 'log',
  1298. ): Node => ({
  1299. id, kind: 'method', name, qualifiedName, filePath, language,
  1300. startLine: 1, endLine: 1, startColumn: 0, endColumn: 0, updatedAt: 0,
  1301. });
  1302. const callRef = (filePath: string, language: Node['language'] = 'cpp'): UnresolvedRef => ({
  1303. fromNodeId: 'caller', referenceName: 'lg.log', referenceKind: 'calls',
  1304. line: 2, column: 0, filePath, language,
  1305. });
  1306. const ctxFor = (candidates: Node[]): ResolutionContext => ({
  1307. getNodesInFile: () => [],
  1308. getNodesByName: (name) => candidates.filter((c) => c.name === name),
  1309. getNodesByQualifiedName: () => [],
  1310. getNodesByKind: () => [],
  1311. fileExists: () => false,
  1312. readFile: () => null,
  1313. getProjectRoot: () => '',
  1314. getAllFiles: () => [],
  1315. });
  1316. it('prefers the definition in the call site\'s own file (#1079)', () => {
  1317. // matches[0] is the a/ definition; the call comes from b/, so it must
  1318. // resolve to b/ — not collapse onto the first-indexed match.
  1319. const logA = methodNode('m:a', 'a/svc.cpp');
  1320. const logB = methodNode('m:b', 'b/svc.cpp');
  1321. const result = resolveMethodOnType(
  1322. 'Logger', 'log', callRef('b/svc.cpp'), ctxFor([logA, logB]), 0.9, 'instance-method',
  1323. );
  1324. expect(result?.targetNodeId).toBe('m:b');
  1325. });
  1326. it('lets an import FQN pin a cross-file target over the same-file preference (#314)', () => {
  1327. // Java: two `Bar::doIt` in different packages. The import FQN pins the
  1328. // alpha package; even though the call site lives in beta's file, the FQN
  1329. // must win — the same-file preference runs only AFTER preferredFqn.
  1330. const alpha = methodNode('m:alpha', 'com/example/alpha/Bar.java', 'java', 'Bar::doIt', 'doIt');
  1331. const beta = methodNode('m:beta', 'com/example/beta/Bar.java', 'java', 'Bar::doIt', 'doIt');
  1332. const result = resolveMethodOnType(
  1333. 'Bar', 'doIt', callRef('com/example/beta/Bar.java', 'java'),
  1334. ctxFor([alpha, beta]), 0.9, 'instance-method', 'com.example.alpha.Bar',
  1335. );
  1336. expect(result?.targetNodeId).toBe('m:alpha');
  1337. });
  1338. it('falls back to the first match when nothing disambiguates', () => {
  1339. // Call site is a third file: no FQN, no same-file candidate → matches[0].
  1340. const logA = methodNode('m:a', 'a/svc.cpp');
  1341. const logB = methodNode('m:b', 'b/svc.cpp');
  1342. const result = resolveMethodOnType(
  1343. 'Logger', 'log', callRef('c/other.cpp'), ctxFor([logA, logB]), 0.9, 'instance-method',
  1344. );
  1345. expect(result?.targetNodeId).toBe('m:a');
  1346. });
  1347. it('resolves C++ calls end-to-end to same-named classes in different files (#1079)', async () => {
  1348. // The exact repro from the issue: two files, each with its own
  1349. // `Logger::log`. Before the fix both callers pointed at the first def.
  1350. fs.mkdirSync(path.join(tempDir, 'a'), { recursive: true });
  1351. fs.mkdirSync(path.join(tempDir, 'b'), { recursive: true });
  1352. fs.writeFileSync(
  1353. path.join(tempDir, 'a', 'svc.cpp'),
  1354. `class Logger { public: void log() { int a = 1; } };\nvoid useA() { Logger lg; lg.log(); }\n`,
  1355. );
  1356. fs.writeFileSync(
  1357. path.join(tempDir, 'b', 'svc.cpp'),
  1358. `class Logger { public: void log() { int b = 2; } };\nvoid useB() { Logger lg; lg.log(); }\n`,
  1359. );
  1360. cg = await CodeGraph.init(tempDir, { index: true });
  1361. cg.resolveReferences();
  1362. const logInDir = (dir: string) =>
  1363. cg.getNodesByKind('method').find(
  1364. (n) => n.name === 'log' && n.filePath.replace(/\\/g, '/').endsWith(`${dir}/svc.cpp`),
  1365. )!;
  1366. const callTargets = (fnName: string) =>
  1367. cg
  1368. .getOutgoingEdges(cg.getNodesByKind('function').find((n) => n.name === fnName)!.id)
  1369. .filter((e) => e.kind === 'calls')
  1370. .map((e) => e.target);
  1371. const logA = logInDir('a');
  1372. const logB = logInDir('b');
  1373. expect(logA).toBeDefined();
  1374. expect(logB).toBeDefined();
  1375. expect(logA.id).not.toBe(logB.id);
  1376. // Each caller resolves to the Logger::log in its OWN file.
  1377. expect(callTargets('useA')).toContain(logA.id);
  1378. expect(callTargets('useB')).toContain(logB.id);
  1379. });
  1380. it('preferCallSiteFile puts same-file candidates first and is otherwise a no-op', () => {
  1381. const a = methodNode('m:a', 'a/svc.cpp');
  1382. const b = methodNode('m:b', 'b/svc.cpp');
  1383. // Same-file first; the rest keep their original order (stable).
  1384. expect(preferCallSiteFile([a, b], 'b/svc.cpp').map((n) => n.id)).toEqual(['m:b', 'm:a']);
  1385. expect(preferCallSiteFile([a, b], 'a/svc.cpp').map((n) => n.id)).toEqual(['m:a', 'm:b']);
  1386. // No same-file match → unchanged; <2 candidates → returned as-is.
  1387. expect(preferCallSiteFile([a, b], 'c/other.cpp').map((n) => n.id)).toEqual(['m:a', 'm:b']);
  1388. expect(preferCallSiteFile([a], 'z/none.cpp')).toHaveLength(1);
  1389. });
  1390. it('matchByQualifiedName prefers the same-file target when a qualified name is ambiguous (#1079)', () => {
  1391. // Two `Logger::log` definitions; an explicit `Logger::log()` call from b/
  1392. // must resolve to b/'s definition, not the first-indexed one.
  1393. const a = methodNode('m:a', 'a/svc.cpp');
  1394. const b = methodNode('m:b', 'b/svc.cpp');
  1395. const ctx: ResolutionContext = {
  1396. getNodesInFile: () => [],
  1397. getNodesByName: (name) => [a, b].filter((n) => n.name === name),
  1398. getNodesByQualifiedName: (q) => (q === 'Logger::log' ? [a, b] : []),
  1399. getNodesByKind: () => [],
  1400. fileExists: () => false,
  1401. readFile: () => null,
  1402. getProjectRoot: () => '',
  1403. getAllFiles: () => [],
  1404. };
  1405. const ref: UnresolvedRef = {
  1406. fromNodeId: 'caller', referenceName: 'Logger::log', referenceKind: 'calls',
  1407. line: 2, column: 0, filePath: 'b/svc.cpp', language: 'cpp',
  1408. };
  1409. expect(matchByQualifiedName(ref, ctx)?.targetNodeId).toBe('m:b');
  1410. });
  1411. it('resolves a static/class-receiver call to the class in the caller\'s file (#1079)', async () => {
  1412. // `Logger.log()` — the receiver is the class NAME, so this routes through
  1413. // the class-name-receiver strategy (not the C++ instance path). It was
  1414. // file-blind across languages; verified here on TypeScript.
  1415. fs.mkdirSync(path.join(tempDir, 'a'), { recursive: true });
  1416. fs.mkdirSync(path.join(tempDir, 'b'), { recursive: true });
  1417. fs.writeFileSync(
  1418. path.join(tempDir, 'a', 'svc.ts'),
  1419. `class Logger { static log() { return 1; } }\nexport function useA() { return Logger.log(); }\n`,
  1420. );
  1421. fs.writeFileSync(
  1422. path.join(tempDir, 'b', 'svc.ts'),
  1423. `class Logger { static log() { return 2; } }\nexport function useB() { return Logger.log(); }\n`,
  1424. );
  1425. cg = await CodeGraph.init(tempDir, { index: true });
  1426. cg.resolveReferences();
  1427. const logInDir = (dir: string) =>
  1428. cg.getNodesByKind('method').find(
  1429. (n) => n.name === 'log' && n.filePath.replace(/\\/g, '/').endsWith(`${dir}/svc.ts`),
  1430. )!;
  1431. const callTargets = (fnName: string) =>
  1432. cg
  1433. .getOutgoingEdges(cg.getNodesByKind('function').find((n) => n.name === fnName)!.id)
  1434. .filter((e) => e.kind === 'calls')
  1435. .map((e) => e.target);
  1436. const logA = logInDir('a');
  1437. const logB = logInDir('b');
  1438. expect(logA?.id).not.toBe(logB?.id);
  1439. expect(callTargets('useA')).toContain(logA.id);
  1440. expect(callTargets('useB')).toContain(logB.id);
  1441. });
  1442. it('resolves an explicitly-qualified call to the definition in the caller\'s file (#1079)', async () => {
  1443. // `Logger::log()` with two `Logger::log` definitions routes through the
  1444. // qualified-name strategy, whose partial match previously picked the first.
  1445. fs.mkdirSync(path.join(tempDir, 'a'), { recursive: true });
  1446. fs.mkdirSync(path.join(tempDir, 'b'), { recursive: true });
  1447. fs.writeFileSync(
  1448. path.join(tempDir, 'a', 'svc.cpp'),
  1449. `class Logger { public: static void log() { int a = 1; } };\nvoid useA() { Logger::log(); }\n`,
  1450. );
  1451. fs.writeFileSync(
  1452. path.join(tempDir, 'b', 'svc.cpp'),
  1453. `class Logger { public: static void log() { int b = 2; } };\nvoid useB() { Logger::log(); }\n`,
  1454. );
  1455. cg = await CodeGraph.init(tempDir, { index: true });
  1456. cg.resolveReferences();
  1457. const logInDir = (dir: string) =>
  1458. cg.getNodesByKind('method').find(
  1459. (n) => n.name === 'log' && n.filePath.replace(/\\/g, '/').endsWith(`${dir}/svc.cpp`),
  1460. )!;
  1461. const callTargets = (fnName: string) =>
  1462. cg
  1463. .getOutgoingEdges(cg.getNodesByKind('function').find((n) => n.name === fnName)!.id)
  1464. .filter((e) => e.kind === 'calls')
  1465. .map((e) => e.target);
  1466. const logA = logInDir('a');
  1467. const logB = logInDir('b');
  1468. expect(logA?.id).not.toBe(logB?.id);
  1469. expect(callTargets('useA')).toContain(logA.id);
  1470. expect(callTargets('useB')).toContain(logB.id);
  1471. });
  1472. });
  1473. describe('Name Matcher: kind bias for new ref kinds', () => {
  1474. const baseContext = (candidates: Node[]): ResolutionContext => ({
  1475. getNodesInFile: () => [],
  1476. getNodesByName: (name) => candidates.filter((c) => c.name === name),
  1477. getNodesByQualifiedName: () => [],
  1478. getNodesByKind: () => [],
  1479. fileExists: () => true,
  1480. readFile: () => null,
  1481. getProjectRoot: () => '/test',
  1482. getAllFiles: () => [],
  1483. getNodesByLowerName: () => [],
  1484. getImportMappings: () => [],
  1485. });
  1486. it('prefers a class candidate over a function for `instantiates` refs', () => {
  1487. // A class and a function share a name across the codebase.
  1488. // Without the kind bias, the function (which gets the +25 `calls`
  1489. // bonus historically applied to all candidates of that kind) would
  1490. // win. Now the instantiates branch reverses it.
  1491. const fn: Node = {
  1492. id: 'func:utils.ts:Logger:5', kind: 'function', name: 'Logger',
  1493. qualifiedName: 'utils.ts::Logger', filePath: 'utils.ts', language: 'typescript',
  1494. startLine: 5, endLine: 7, startColumn: 0, endColumn: 0, updatedAt: Date.now(),
  1495. };
  1496. const cls: Node = {
  1497. id: 'class:logger.ts:Logger:10', kind: 'class', name: 'Logger',
  1498. qualifiedName: 'logger.ts::Logger', filePath: 'logger.ts', language: 'typescript',
  1499. startLine: 10, endLine: 30, startColumn: 0, endColumn: 0, updatedAt: Date.now(),
  1500. };
  1501. const ref = {
  1502. fromNodeId: 'func:main.ts:bootstrap:1',
  1503. referenceName: 'Logger',
  1504. referenceKind: 'instantiates' as const,
  1505. line: 5, column: 0, filePath: 'main.ts', language: 'typescript' as const,
  1506. };
  1507. const result = matchReference(ref, baseContext([fn, cls]));
  1508. expect(result?.targetNodeId).toBe('class:logger.ts:Logger:10');
  1509. });
  1510. it('prefers a function candidate over a non-function for `decorates` refs', () => {
  1511. const variable: Node = {
  1512. id: 'var:config.ts:Inject:5', kind: 'variable', name: 'Inject',
  1513. qualifiedName: 'config.ts::Inject', filePath: 'config.ts', language: 'typescript',
  1514. startLine: 5, endLine: 5, startColumn: 0, endColumn: 0, updatedAt: Date.now(),
  1515. };
  1516. const decorator: Node = {
  1517. id: 'func:di.ts:Inject:10', kind: 'function', name: 'Inject',
  1518. qualifiedName: 'di.ts::Inject', filePath: 'di.ts', language: 'typescript',
  1519. startLine: 10, endLine: 20, startColumn: 0, endColumn: 0, updatedAt: Date.now(),
  1520. };
  1521. const ref = {
  1522. fromNodeId: 'class:svc.ts:UserService:1',
  1523. referenceName: 'Inject',
  1524. referenceKind: 'decorates' as const,
  1525. line: 5, column: 0, filePath: 'svc.ts', language: 'typescript' as const,
  1526. };
  1527. const result = matchReference(ref, baseContext([variable, decorator]));
  1528. expect(result?.targetNodeId).toBe('func:di.ts:Inject:10');
  1529. });
  1530. });
  1531. describe('tsconfig path aliases', () => {
  1532. it('resolves an aliased import to the alias-mapped file (not a same-named file elsewhere)', async () => {
  1533. // Two same-named exports in different directories. Without alias
  1534. // resolution, name-matcher would pick whichever it finds first;
  1535. // with alias resolution, the import path uniquely picks one.
  1536. fs.mkdirSync(path.join(tempDir, 'src/utils'), { recursive: true });
  1537. fs.mkdirSync(path.join(tempDir, 'src/legacy'), { recursive: true });
  1538. fs.writeFileSync(
  1539. path.join(tempDir, 'src/utils/format.ts'),
  1540. `export function pickMe(): number { return 1; }\n`
  1541. );
  1542. fs.writeFileSync(
  1543. path.join(tempDir, 'src/legacy/format.ts'),
  1544. `export function pickMe(): number { return 99; }\n`
  1545. );
  1546. fs.writeFileSync(
  1547. path.join(tempDir, 'src/main.ts'),
  1548. `import { pickMe } from '@utils/format';\nexport function go(): number { return pickMe(); }\n`
  1549. );
  1550. fs.writeFileSync(
  1551. path.join(tempDir, 'tsconfig.json'),
  1552. JSON.stringify({
  1553. compilerOptions: {
  1554. baseUrl: './src',
  1555. paths: { '@utils/*': ['utils/*'] },
  1556. },
  1557. })
  1558. );
  1559. cg = await CodeGraph.init(tempDir, { index: true });
  1560. cg.resolveReferences();
  1561. // The two pickMe nodes live in different files. The aliased
  1562. // import should attach the call edge to the @utils-mapped one,
  1563. // not the legacy duplicate.
  1564. const all = cg.getNodesByKind('function').filter((n) => n.name === 'pickMe');
  1565. const utilsNode = all.find((n) => n.filePath === 'src/utils/format.ts');
  1566. const legacyNode = all.find((n) => n.filePath === 'src/legacy/format.ts');
  1567. expect(utilsNode).toBeDefined();
  1568. expect(legacyNode).toBeDefined();
  1569. const utilsCallers = cg.getCallers(utilsNode!.id);
  1570. const legacyCallers = cg.getCallers(legacyNode!.id);
  1571. expect(utilsCallers.length).toBeGreaterThan(0);
  1572. expect(utilsCallers.some((c) => c.node.filePath === 'src/main.ts')).toBe(true);
  1573. // The legacy node should NOT have a caller from src/main.ts —
  1574. // the alias correctly picked the utils version.
  1575. expect(legacyCallers.some((c) => c.node.filePath === 'src/main.ts')).toBe(false);
  1576. });
  1577. it('falls back gracefully when tsconfig is absent', async () => {
  1578. fs.mkdirSync(path.join(tempDir, 'src'), { recursive: true });
  1579. fs.writeFileSync(
  1580. path.join(tempDir, 'src/a.ts'),
  1581. `export function aFn(): void {}\n`
  1582. );
  1583. fs.writeFileSync(
  1584. path.join(tempDir, 'src/b.ts'),
  1585. `import { aFn } from './a';\nexport function bFn(): void { aFn(); }\n`
  1586. );
  1587. cg = await CodeGraph.init(tempDir, { index: true });
  1588. // No tsconfig present — index should still complete and the
  1589. // relative-import-based call edge should be created.
  1590. const aFn = cg.getNodesByKind('function').find((n) => n.name === 'aFn');
  1591. expect(aFn).toBeDefined();
  1592. const callers = cg.getCallers(aFn!.id);
  1593. expect(callers.some((c) => c.node.filePath === 'src/b.ts')).toBe(true);
  1594. });
  1595. });
  1596. describe('re-export chain following', () => {
  1597. it('chases a 3-hop barrel chain (wildcard → named → declaration)', async () => {
  1598. // main.ts → all.ts (wildcard) → index.ts (named) → auth.ts (declaration).
  1599. // Without chain following, `signIn` resolves to nothing because
  1600. // none of the barrel files declare it directly.
  1601. fs.mkdirSync(path.join(tempDir, 'src/services'), { recursive: true });
  1602. fs.writeFileSync(
  1603. path.join(tempDir, 'src/services/auth.ts'),
  1604. `export function signIn(): void {}\n`
  1605. );
  1606. fs.writeFileSync(
  1607. path.join(tempDir, 'src/services/index.ts'),
  1608. `export { signIn } from './auth';\n`
  1609. );
  1610. fs.writeFileSync(
  1611. path.join(tempDir, 'src/all.ts'),
  1612. `export * from './services/index';\n`
  1613. );
  1614. fs.writeFileSync(
  1615. path.join(tempDir, 'src/main.ts'),
  1616. `import { signIn } from './all';\nexport function go(): void { signIn(); }\n`
  1617. );
  1618. cg = await CodeGraph.init(tempDir, { index: true });
  1619. cg.resolveReferences();
  1620. const signInNode = cg
  1621. .getNodesByKind('function')
  1622. .find((n) => n.name === 'signIn' && n.filePath === 'src/services/auth.ts');
  1623. expect(signInNode).toBeDefined();
  1624. const callers = cg.getCallers(signInNode!.id);
  1625. expect(callers.some((c) => c.node.filePath === 'src/main.ts')).toBe(true);
  1626. });
  1627. it('follows a renamed named re-export (export { foo as bar } from ...)', async () => {
  1628. // The chase has to look up `foo` in the upstream module even
  1629. // though the importer asked for `bar` — exercises the rename
  1630. // branch of findExportedSymbol.
  1631. fs.mkdirSync(path.join(tempDir, 'src'), { recursive: true });
  1632. fs.writeFileSync(
  1633. path.join(tempDir, 'src/auth.ts'),
  1634. `export function signIn(): void {}\n`
  1635. );
  1636. fs.writeFileSync(
  1637. path.join(tempDir, 'src/index.ts'),
  1638. `export { signIn as login } from './auth';\n`
  1639. );
  1640. fs.writeFileSync(
  1641. path.join(tempDir, 'src/main.ts'),
  1642. `import { login } from './index';\nexport function go(): void { login(); }\n`
  1643. );
  1644. cg = await CodeGraph.init(tempDir, { index: true });
  1645. cg.resolveReferences();
  1646. const signInNode = cg
  1647. .getNodesByKind('function')
  1648. .find((n) => n.name === 'signIn' && n.filePath === 'src/auth.ts');
  1649. expect(signInNode).toBeDefined();
  1650. const callers = cg.getCallers(signInNode!.id);
  1651. expect(callers.some((c) => c.node.filePath === 'src/main.ts')).toBe(true);
  1652. });
  1653. it('follows a default re-export of a .svelte component (export { default as Foo } from ./RealButton.svelte) (#629)', async () => {
  1654. // The ubiquitous Svelte/React component-barrel form. The leaf is a
  1655. // .svelte component (extracted as kind 'component', the default
  1656. // export). The re-export ALIAS (`Foo`) deliberately differs from the
  1657. // component's real name (`RealButton`) so the name-matcher fallback
  1658. // can't coincidentally connect them — the only path to the edge is
  1659. // the import-chase, which must match a `component` (not just
  1660. // function/class) for the default export. Otherwise the
  1661. // consumer↔component edge is never created and `callers` returns a
  1662. // false 0.
  1663. fs.mkdirSync(path.join(tempDir, 'src/lib'), { recursive: true });
  1664. fs.writeFileSync(
  1665. path.join(tempDir, 'src/lib/RealButton.svelte'),
  1666. `<script lang="ts">\n export let label: string = '';\n</script>\n\n<button>{label}</button>\n`
  1667. );
  1668. fs.writeFileSync(
  1669. path.join(tempDir, 'src/lib/index.ts'),
  1670. `export { default as Foo } from './RealButton.svelte';\n`
  1671. );
  1672. fs.writeFileSync(
  1673. path.join(tempDir, 'src/Bar.svelte'),
  1674. `<script lang="ts">\n import { Foo } from './lib';\n</script>\n\n<Foo />\n`
  1675. );
  1676. cg = await CodeGraph.init(tempDir, { index: true });
  1677. cg.resolveReferences();
  1678. const fooNode = cg
  1679. .getNodesByKind('component')
  1680. .find((n) => n.name === 'RealButton' && n.filePath === 'src/lib/RealButton.svelte');
  1681. expect(fooNode).toBeDefined();
  1682. const callers = cg.getCallers(fooNode!.id);
  1683. expect(callers.some((c) => c.node.filePath === 'src/Bar.svelte')).toBe(true);
  1684. });
  1685. it('links an .astro page to the component and TS util it uses (#768)', async () => {
  1686. // The canonical Astro shape: a page imports a layout/component in
  1687. // frontmatter and uses it as a template tag; the component's template
  1688. // calls an imported .ts util. Both hops must produce graph edges or
  1689. // an Astro project is invisible to callers/impact.
  1690. fs.mkdirSync(path.join(tempDir, 'src/components'), { recursive: true });
  1691. fs.mkdirSync(path.join(tempDir, 'src/utils'), { recursive: true });
  1692. fs.mkdirSync(path.join(tempDir, 'src/pages'), { recursive: true });
  1693. fs.writeFileSync(
  1694. path.join(tempDir, 'src/utils/format.ts'),
  1695. `export function formatDate(d: Date): string { return d.toISOString(); }\n`
  1696. );
  1697. fs.writeFileSync(
  1698. path.join(tempDir, 'src/components/PostCard.astro'),
  1699. `---\nimport { formatDate } from '../utils/format';\nconst { date } = Astro.props;\n---\n<time>{formatDate(date)}</time>\n`
  1700. );
  1701. fs.writeFileSync(
  1702. path.join(tempDir, 'src/pages/index.astro'),
  1703. `---\nimport PostCard from '../components/PostCard.astro';\n---\n<PostCard date={new Date()} />\n`
  1704. );
  1705. cg = await CodeGraph.init(tempDir, { index: true });
  1706. cg.resolveReferences();
  1707. // Hop 1: page → component (template tag through the frontmatter import)
  1708. const cardNode = cg
  1709. .getNodesByKind('component')
  1710. .find((n) => n.name === 'PostCard' && n.filePath === 'src/components/PostCard.astro');
  1711. expect(cardNode).toBeDefined();
  1712. const cardCallers = cg.getCallers(cardNode!.id);
  1713. expect(cardCallers.some((c) => c.node.filePath === 'src/pages/index.astro')).toBe(true);
  1714. // Hop 2: component template call → .ts util
  1715. const fmtNode = cg
  1716. .getNodesByKind('function')
  1717. .find((n) => n.name === 'formatDate' && n.filePath === 'src/utils/format.ts');
  1718. expect(fmtNode).toBeDefined();
  1719. const fmtCallers = cg.getCallers(fmtNode!.id);
  1720. expect(fmtCallers.some((c) => c.node.filePath === 'src/components/PostCard.astro')).toBe(true);
  1721. });
  1722. it('resolves a bare directory import (import { x } from "." / "./") to index.ts (#629)', async () => {
  1723. // `import { helper } from '.'` (or './') must map to the
  1724. // directory's index.ts before the re-export chase can run. The
  1725. // barrel renames `realHelper` → `helper` so the name-matcher can't
  1726. // mask a path-resolution failure: only the bare-dir resolution +
  1727. // rename chase can connect the edge.
  1728. fs.mkdirSync(path.join(tempDir, 'src'), { recursive: true });
  1729. fs.writeFileSync(
  1730. path.join(tempDir, 'src/util.ts'),
  1731. `export function realHelper(): void {}\n`
  1732. );
  1733. fs.writeFileSync(
  1734. path.join(tempDir, 'src/index.ts'),
  1735. `export { realHelper as helper } from './util';\n`
  1736. );
  1737. fs.writeFileSync(
  1738. path.join(tempDir, 'src/main.ts'),
  1739. `import { helper } from '.';\nexport function go(): void { helper(); }\n`
  1740. );
  1741. fs.writeFileSync(
  1742. path.join(tempDir, 'src/main2.ts'),
  1743. `import { helper } from './';\nexport function go2(): void { helper(); }\n`
  1744. );
  1745. cg = await CodeGraph.init(tempDir, { index: true });
  1746. cg.resolveReferences();
  1747. const helperNode = cg
  1748. .getNodesByKind('function')
  1749. .find((n) => n.name === 'realHelper' && n.filePath === 'src/util.ts');
  1750. expect(helperNode).toBeDefined();
  1751. const callers = cg.getCallers(helperNode!.id);
  1752. expect(callers.some((c) => c.node.filePath === 'src/main.ts')).toBe(true);
  1753. expect(callers.some((c) => c.node.filePath === 'src/main2.ts')).toBe(true);
  1754. });
  1755. it('resolves a workspace package-subpath barrel (@scope/pkg/sub) to its index (#629)', async () => {
  1756. // bun/npm/pnpm workspace: `@scope/ui/widgets` → the `ui` package's
  1757. // `widgets/` subdir index, which re-exports a .svelte component.
  1758. // Alias `Thing` ≠ component `Widget` defeats the name-matcher, so
  1759. // only workspace-package resolution can connect the edge.
  1760. fs.mkdirSync(path.join(tempDir, 'packages/ui/widgets'), { recursive: true });
  1761. fs.writeFileSync(
  1762. path.join(tempDir, 'package.json'),
  1763. JSON.stringify({ name: 'root', private: true, workspaces: ['packages/*'] }, null, 2)
  1764. );
  1765. fs.writeFileSync(
  1766. path.join(tempDir, 'packages/ui/package.json'),
  1767. JSON.stringify({ name: '@scope/ui', version: '1.0.0' }, null, 2)
  1768. );
  1769. fs.writeFileSync(
  1770. path.join(tempDir, 'packages/ui/widgets/Widget.svelte'),
  1771. `<script lang="ts">\n export let label: string = '';\n</script>\n\n<button>{label}</button>\n`
  1772. );
  1773. fs.writeFileSync(
  1774. path.join(tempDir, 'packages/ui/widgets/index.ts'),
  1775. `export { default as Thing } from './Widget.svelte';\n`
  1776. );
  1777. fs.mkdirSync(path.join(tempDir, 'app'), { recursive: true });
  1778. fs.writeFileSync(
  1779. path.join(tempDir, 'app/App.svelte'),
  1780. `<script lang="ts">\n import { Thing } from '@scope/ui/widgets';\n</script>\n\n<Thing />\n`
  1781. );
  1782. cg = await CodeGraph.init(tempDir, { index: true });
  1783. cg.resolveReferences();
  1784. const buttonNode = cg
  1785. .getNodesByKind('component')
  1786. .find((n) => n.name === 'Widget' && n.filePath === 'packages/ui/widgets/Widget.svelte');
  1787. expect(buttonNode).toBeDefined();
  1788. const callers = cg.getCallers(buttonNode!.id);
  1789. expect(callers.some((c) => c.node.filePath === 'app/App.svelte')).toBe(true);
  1790. });
  1791. it('resolves a barrel import from a Vue SFC <script> block (#629)', async () => {
  1792. // The same import-resolution gaps (no SFC import mappings, no SFC
  1793. // extension list, barrel parsed in the consumer's language) broke
  1794. // Vue SFCs too. Guards the resolver-side generalization to `.vue`.
  1795. // The barrel renames `realRun` → `run` so only the import-chase (not
  1796. // the name-matcher) can connect the call.
  1797. fs.mkdirSync(path.join(tempDir, 'src'), { recursive: true });
  1798. fs.writeFileSync(
  1799. path.join(tempDir, 'src/util.ts'),
  1800. `export function realRun(): void {}\n`
  1801. );
  1802. fs.writeFileSync(
  1803. path.join(tempDir, 'src/index.ts'),
  1804. `export { realRun as run } from './util';\n`
  1805. );
  1806. fs.writeFileSync(
  1807. path.join(tempDir, 'src/App.vue'),
  1808. `<script lang="ts">\nimport { run } from './';\nexport default { mounted() { run(); } };\n</script>\n<template><div/></template>\n`
  1809. );
  1810. cg = await CodeGraph.init(tempDir, { index: true });
  1811. cg.resolveReferences();
  1812. const runNode = cg
  1813. .getNodesByKind('function')
  1814. .find((n) => n.name === 'realRun' && n.filePath === 'src/util.ts');
  1815. expect(runNode).toBeDefined();
  1816. const callers = cg.getCallers(runNode!.id);
  1817. expect(callers.some((c) => c.node.filePath === 'src/App.vue')).toBe(true);
  1818. });
  1819. it('follows a Vue component used in a <template> through a default re-export barrel (#629)', async () => {
  1820. // End-to-end Vue analogue of the Svelte case: the leaf is a `.vue`
  1821. // component re-exported under an alias (`Thing`) that differs from its
  1822. // real name (`Widget`), and the consumer uses it ONLY in markup
  1823. // (`<Thing />`). Requires both the new template-tag extraction AND the
  1824. // barrel default-export chase to connect the edge.
  1825. fs.mkdirSync(path.join(tempDir, 'src/lib'), { recursive: true });
  1826. fs.writeFileSync(
  1827. path.join(tempDir, 'src/lib/Widget.vue'),
  1828. `<script setup lang="ts">\ndefineProps<{ label?: string }>();\n</script>\n<template><button>x</button></template>\n`
  1829. );
  1830. fs.writeFileSync(
  1831. path.join(tempDir, 'src/lib/index.ts'),
  1832. `export { default as Thing } from './Widget.vue';\n`
  1833. );
  1834. fs.writeFileSync(
  1835. path.join(tempDir, 'src/App.vue'),
  1836. `<script setup lang="ts">\nimport { Thing } from './lib';\n</script>\n<template>\n <Thing />\n</template>\n`
  1837. );
  1838. cg = await CodeGraph.init(tempDir, { index: true });
  1839. cg.resolveReferences();
  1840. const widgetNode = cg
  1841. .getNodesByKind('component')
  1842. .find((n) => n.name === 'Widget' && n.filePath === 'src/lib/Widget.vue');
  1843. expect(widgetNode).toBeDefined();
  1844. const callers = cg.getCallers(widgetNode!.id);
  1845. expect(callers.some((c) => c.node.filePath === 'src/App.vue')).toBe(true);
  1846. });
  1847. });
  1848. describe('C/C++ Import Resolution', () => {
  1849. afterEach(() => {
  1850. clearCppIncludeDirCache();
  1851. });
  1852. it('should resolve C include to header in same directory', () => {
  1853. const context: ResolutionContext = {
  1854. getNodesInFile: () => [],
  1855. getNodesByName: () => [],
  1856. getNodesByQualifiedName: () => [],
  1857. getNodesByKind: () => [],
  1858. fileExists: (p) => p === 'utils.h',
  1859. readFile: () => null,
  1860. getProjectRoot: () => '',
  1861. getAllFiles: () => ['utils.h', 'main.c'],
  1862. };
  1863. const result = resolveImportPath(
  1864. 'utils.h',
  1865. 'main.c',
  1866. 'c',
  1867. context
  1868. );
  1869. expect(result).toBe('utils.h');
  1870. });
  1871. it('should resolve C++ include with .hpp extension', () => {
  1872. const context: ResolutionContext = {
  1873. getNodesInFile: () => [],
  1874. getNodesByName: () => [],
  1875. getNodesByQualifiedName: () => [],
  1876. getNodesByKind: () => [],
  1877. fileExists: (p) => p === 'include/myclass.hpp',
  1878. readFile: () => null,
  1879. getProjectRoot: () => '',
  1880. getAllFiles: () => ['include/myclass.hpp', 'src/main.cpp'],
  1881. getCppIncludeDirs: () => ['include'],
  1882. };
  1883. const result = resolveImportPath(
  1884. 'myclass.hpp',
  1885. 'src/main.cpp',
  1886. 'cpp',
  1887. context
  1888. );
  1889. expect(result).toBe('include/myclass.hpp');
  1890. });
  1891. it('should resolve include with subdirectory path', () => {
  1892. const context: ResolutionContext = {
  1893. getNodesInFile: () => [],
  1894. getNodesByName: () => [],
  1895. getNodesByQualifiedName: () => [],
  1896. getNodesByKind: () => [],
  1897. fileExists: (p) => p === 'utils/helpers.h',
  1898. readFile: () => null,
  1899. getProjectRoot: () => '',
  1900. getAllFiles: () => ['utils/helpers.h', 'main.c'],
  1901. };
  1902. const result = resolveImportPath(
  1903. 'utils/helpers.h',
  1904. 'main.c',
  1905. 'c',
  1906. context
  1907. );
  1908. expect(result).toBe('utils/helpers.h');
  1909. });
  1910. it('should resolve include via include directories', () => {
  1911. const context: ResolutionContext = {
  1912. getNodesInFile: () => [],
  1913. getNodesByName: () => [],
  1914. getNodesByQualifiedName: () => [],
  1915. getNodesByKind: () => [],
  1916. fileExists: (p) => p === 'include/myheader.h',
  1917. readFile: () => null,
  1918. getProjectRoot: () => '',
  1919. getAllFiles: () => ['include/myheader.h', 'src/main.cpp'],
  1920. getCppIncludeDirs: () => ['include'],
  1921. };
  1922. const result = resolveImportPath(
  1923. 'myheader.h',
  1924. 'src/main.cpp',
  1925. 'cpp',
  1926. context
  1927. );
  1928. expect(result).toBe('include/myheader.h');
  1929. });
  1930. it('should resolve include trying multiple extensions', () => {
  1931. const context: ResolutionContext = {
  1932. getNodesInFile: () => [],
  1933. getNodesByName: () => [],
  1934. getNodesByQualifiedName: () => [],
  1935. getNodesByKind: () => [],
  1936. // myclass.h does not exist, but myclass.hpp does
  1937. fileExists: (p) => p === 'include/myclass.hpp',
  1938. readFile: () => null,
  1939. getProjectRoot: () => '',
  1940. getAllFiles: () => ['include/myclass.hpp', 'src/main.cpp'],
  1941. getCppIncludeDirs: () => ['include'],
  1942. };
  1943. const result = resolveImportPath(
  1944. 'myclass',
  1945. 'src/main.cpp',
  1946. 'cpp',
  1947. context
  1948. );
  1949. expect(result).toBe('include/myclass.hpp');
  1950. });
  1951. it('should return null for system headers', () => {
  1952. const context: ResolutionContext = {
  1953. getNodesInFile: () => [],
  1954. getNodesByName: () => [],
  1955. getNodesByQualifiedName: () => [],
  1956. getNodesByKind: () => [],
  1957. fileExists: () => true,
  1958. readFile: () => null,
  1959. getProjectRoot: () => '',
  1960. getAllFiles: () => [],
  1961. };
  1962. // C standard library header
  1963. expect(resolveImportPath('stdio.h', 'main.c', 'c', context)).toBeNull();
  1964. // C++ standard library header
  1965. expect(resolveImportPath('vector', 'main.cpp', 'cpp', context)).toBeNull();
  1966. // C++ C-wrapper header
  1967. expect(resolveImportPath('cstdio', 'main.cpp', 'cpp', context)).toBeNull();
  1968. });
  1969. it('should return null for single-component third-party paths that cannot be resolved', () => {
  1970. const context: ResolutionContext = {
  1971. getNodesInFile: () => [],
  1972. getNodesByName: () => [],
  1973. getNodesByQualifiedName: () => [],
  1974. getNodesByKind: () => [],
  1975. fileExists: () => false,
  1976. readFile: () => null,
  1977. getProjectRoot: () => '',
  1978. getAllFiles: () => [],
  1979. getCppIncludeDirs: () => [],
  1980. };
  1981. // Third-party bare header without path — not resolvable, returns null
  1982. const result = resolveImportPath(
  1983. 'openssl/ssl.h',
  1984. 'main.cpp',
  1985. 'cpp',
  1986. context
  1987. );
  1988. expect(result).toBeNull();
  1989. });
  1990. it('should not filter project headers with path separators', () => {
  1991. const context: ResolutionContext = {
  1992. getNodesInFile: () => [],
  1993. getNodesByName: () => [],
  1994. getNodesByQualifiedName: () => [],
  1995. getNodesByKind: () => [],
  1996. fileExists: (p) => p === 'mylib/utils.h',
  1997. readFile: () => null,
  1998. getProjectRoot: () => '',
  1999. getAllFiles: () => ['mylib/utils.h'],
  2000. };
  2001. // Path with separator should NOT be filtered as external
  2002. const result = resolveImportPath(
  2003. 'mylib/utils.h',
  2004. 'main.c',
  2005. 'c',
  2006. context
  2007. );
  2008. expect(result).toBe('mylib/utils.h');
  2009. });
  2010. it('should extract C/C++ import mappings from #include directives', () => {
  2011. const code = `#include <iostream>
  2012. #include "myheader.h"
  2013. #include "utils/helpers.hpp"`;
  2014. const mappings = extractImportMappings('main.cpp', code, 'cpp');
  2015. expect(mappings.length).toBe(3);
  2016. expect(mappings[0]).toEqual({
  2017. localName: 'iostream',
  2018. exportedName: '*',
  2019. source: 'iostream',
  2020. isDefault: false,
  2021. isNamespace: true,
  2022. });
  2023. expect(mappings[1]).toEqual({
  2024. localName: 'myheader',
  2025. exportedName: '*',
  2026. source: 'myheader.h',
  2027. isDefault: false,
  2028. isNamespace: true,
  2029. });
  2030. expect(mappings[2]).toEqual({
  2031. localName: 'helpers',
  2032. exportedName: '*',
  2033. source: 'utils/helpers.hpp',
  2034. isDefault: false,
  2035. isNamespace: true,
  2036. });
  2037. });
  2038. it('should discover include directories from compile_commands.json', () => {
  2039. // Create a temp project with compile_commands.json
  2040. const tempProject = fs.mkdtempSync(path.join(os.tmpdir(), 'codegraph-cpp-test-'));
  2041. try {
  2042. const compileDb = [
  2043. {
  2044. directory: tempProject,
  2045. command: 'g++ -Iinclude -Isrc/lib -isystem /usr/include -c src/main.cpp',
  2046. file: 'src/main.cpp',
  2047. },
  2048. ];
  2049. fs.writeFileSync(
  2050. path.join(tempProject, 'compile_commands.json'),
  2051. JSON.stringify(compileDb)
  2052. );
  2053. // Create the include dirs so they exist
  2054. fs.mkdirSync(path.join(tempProject, 'include'), { recursive: true });
  2055. fs.mkdirSync(path.join(tempProject, 'src', 'lib'), { recursive: true });
  2056. clearCppIncludeDirCache();
  2057. const dirs = loadCppIncludeDirs(tempProject);
  2058. // Should find include and src/lib (relative to project root)
  2059. // /usr/include is absolute and outside project, should be excluded
  2060. expect(dirs).toContain('include');
  2061. expect(dirs).toContain('src/lib');
  2062. expect(dirs.some(d => d.includes('usr'))).toBe(false);
  2063. } finally {
  2064. fs.rmSync(tempProject, { recursive: true });
  2065. }
  2066. });
  2067. it('should fall back to heuristic include dirs when no compile_commands.json', () => {
  2068. const tempProject = fs.mkdtempSync(path.join(os.tmpdir(), 'codegraph-cpp-test-'));
  2069. try {
  2070. // Create include/ and src/ directories with headers
  2071. fs.mkdirSync(path.join(tempProject, 'include'), { recursive: true });
  2072. fs.writeFileSync(path.join(tempProject, 'include', 'types.h'), '');
  2073. fs.mkdirSync(path.join(tempProject, 'src'), { recursive: true });
  2074. fs.writeFileSync(path.join(tempProject, 'src', 'main.cpp'), '');
  2075. // Create a directory without headers — should not be included
  2076. fs.mkdirSync(path.join(tempProject, 'docs'), { recursive: true });
  2077. clearCppIncludeDirCache();
  2078. const dirs = loadCppIncludeDirs(tempProject);
  2079. expect(dirs).toContain('include');
  2080. expect(dirs).toContain('src');
  2081. expect(dirs).not.toContain('docs');
  2082. } finally {
  2083. fs.rmSync(tempProject, { recursive: true });
  2084. }
  2085. });
  2086. // Documents the cross-language `.h` behavior. Objective-C and C++ share
  2087. // the `.h` extension, so in a mixed iOS-style project an Obj-C header
  2088. // dir gets claimed as a C/C++ include dir too. That's intentional — a
  2089. // C++ file legitimately can `#include "Foo.h"` against an Obj-C header
  2090. // (Obj-C++ / .mm callers), and false-positive inclusion is far cheaper
  2091. // than missing real resolutions. The test pins this so a later
  2092. // "exclude objc dirs" refactor breaks loudly and reviewers see the
  2093. // trade-off explicitly.
  2094. it('heuristic claims any top-level dir containing .h files, including Obj-C', () => {
  2095. const tempProject = fs.mkdtempSync(path.join(os.tmpdir(), 'codegraph-cpp-test-'));
  2096. try {
  2097. // C++ side: an `cppmod` dir with a .hpp (C++-only extension)
  2098. fs.mkdirSync(path.join(tempProject, 'cppmod'), { recursive: true });
  2099. fs.writeFileSync(path.join(tempProject, 'cppmod', 'shared.hpp'), '');
  2100. // Obj-C side: an `iosmod` dir with .h + .m (no .cpp/.hpp).
  2101. fs.mkdirSync(path.join(tempProject, 'iosmod'), { recursive: true });
  2102. fs.writeFileSync(path.join(tempProject, 'iosmod', 'View.h'), '');
  2103. fs.writeFileSync(path.join(tempProject, 'iosmod', 'View.m'), '');
  2104. clearCppIncludeDirCache();
  2105. const dirs = loadCppIncludeDirs(tempProject);
  2106. // Both included — Obj-C dirs are intentionally allowed.
  2107. expect(dirs).toContain('cppmod');
  2108. expect(dirs).toContain('iosmod');
  2109. } finally {
  2110. fs.rmSync(tempProject, { recursive: true });
  2111. }
  2112. });
  2113. // End-to-end: ensure `#include "X.h"` produces a file→file `imports` edge
  2114. // in the actual indexing pipeline (not just a phantom file→import-node
  2115. // edge). This pins the include-dir resolution path so the headline PR
  2116. // feature can't silently regress to a no-op in the indexing flow.
  2117. it('connects #include to the real header file via include-dir scan (end-to-end)', async () => {
  2118. const tempProject = fs.mkdtempSync(path.join(os.tmpdir(), 'codegraph-cpp-e2e-'));
  2119. try {
  2120. fs.mkdirSync(path.join(tempProject, 'include'), { recursive: true });
  2121. fs.mkdirSync(path.join(tempProject, 'src'), { recursive: true });
  2122. fs.writeFileSync(
  2123. path.join(tempProject, 'include', 'utils.h'),
  2124. `#ifndef UTILS_H\n#define UTILS_H\nint add(int, int);\n#endif\n`
  2125. );
  2126. fs.writeFileSync(
  2127. path.join(tempProject, 'src', 'main.cpp'),
  2128. `#include "utils.h"\n#include <vector>\nint main(){ return add(1,2); }\n`
  2129. );
  2130. clearCppIncludeDirCache();
  2131. cg = await CodeGraph.init(tempProject, { index: true });
  2132. // Sanity: file nodes exist for the header and the cpp.
  2133. const allFiles = cg.getStats();
  2134. expect(allFiles.fileCount).toBe(2);
  2135. // The `#include "utils.h"` edge should target the real
  2136. // `include/utils.h` file node — not a floating `import` node
  2137. // living inside main.cpp.
  2138. const db = DatabaseConnection.open(path.join(tempProject, '.codegraph', 'codegraph.db'));
  2139. const rows = db.getDb().prepare(`
  2140. select dst.kind as dstKind, dst.file_path as dstPath
  2141. from edges e
  2142. join nodes src on e.source = src.id
  2143. join nodes dst on e.target = dst.id
  2144. where e.kind = 'imports'
  2145. and src.kind = 'file'
  2146. and src.file_path = 'src/main.cpp'
  2147. `).all() as Array<{ dstKind: string; dstPath: string }>;
  2148. const resolvedToHeader = rows.find(
  2149. (r) => r.dstKind === 'file' && r.dstPath === 'include/utils.h'
  2150. );
  2151. expect(resolvedToHeader, 'main.cpp → include/utils.h imports edge missing').toBeDefined();
  2152. // `<vector>` should NOT produce a file edge — it's a stdlib header.
  2153. const stdlibFile = rows.find(
  2154. (r) => r.dstKind === 'file' && r.dstPath && r.dstPath.endsWith('vector')
  2155. );
  2156. expect(stdlibFile).toBeUndefined();
  2157. } finally {
  2158. fs.rmSync(tempProject, { recursive: true, force: true });
  2159. }
  2160. });
  2161. });
  2162. describe('C++ templated base-class inheritance (#1043)', () => {
  2163. // A class deriving from a TEMPLATE — `class D : public Base<int>` (or a CRTP
  2164. // `class W : public CRTPBase<W>`, or a qualified `class Q : public ns::Tpl<int>`)
  2165. // recorded its base as the full instantiation text (`Base<int>`), which never
  2166. // name-matched the template, indexed as the bare node `Base`. The `<…>` args
  2167. // are now stripped so the `extends` edge resolves end-to-end.
  2168. it('resolves an extends edge to a templated base (plain, CRTP, struct, multi-base)', async () => {
  2169. fs.writeFileSync(
  2170. path.join(tempDir, 'lib.hpp'),
  2171. `#pragma once
  2172. template<typename T> class Base { public: void foo(); };
  2173. template<typename Derived> class CRTPBase {};
  2174. class Plain {};
  2175. class Widget : public Base<int> {}; // plain template base
  2176. class App : public CRTPBase<App> {}; // CRTP (curiously-recurring)
  2177. struct Node : public Base<double> {}; // struct inheriting a template
  2178. class Both : public Base<char>, public Plain {}; // templated + plain in one clause
  2179. `
  2180. );
  2181. cg = await CodeGraph.init(tempDir, { index: true });
  2182. const db = DatabaseConnection.open(path.join(tempDir, '.codegraph', 'codegraph.db'));
  2183. const edges = db
  2184. .getDb()
  2185. .prepare(
  2186. `select src.name as fromName, dst.name as toName
  2187. from edges e
  2188. join nodes src on e.source = src.id
  2189. join nodes dst on e.target = dst.id
  2190. where e.kind = 'extends'`
  2191. )
  2192. .all() as Array<{ fromName: string; toName: string }>;
  2193. const has = (from: string, to: string) =>
  2194. edges.some((r) => r.fromName === from && r.toName === to);
  2195. // Every templated base now resolves to the bare template node.
  2196. expect(has('Widget', 'Base'), 'Widget : Base<int>').toBe(true);
  2197. expect(has('App', 'CRTPBase'), 'App : CRTPBase<App> (CRTP)').toBe(true);
  2198. expect(has('Node', 'Base'), 'struct Node : Base<double>').toBe(true);
  2199. // A mixed clause resolves BOTH the templated and the plain base.
  2200. expect(has('Both', 'Base'), 'Both : Base<char>').toBe(true);
  2201. expect(has('Both', 'Plain'), 'Both : Plain (non-templated, regression guard)').toBe(true);
  2202. });
  2203. });
  2204. describe('PHP Include Resolution', () => {
  2205. it('isPhpIncludePathRef distinguishes include paths from namespace use (#660)', () => {
  2206. const mk = (name: string, over: Partial<UnresolvedRef> = {}): UnresolvedRef => ({
  2207. fromNodeId: 'f', referenceName: name, referenceKind: 'imports',
  2208. line: 1, column: 0, filePath: 'x.php', language: 'php', ...over,
  2209. });
  2210. // include paths: contain a slash or a file extension
  2211. expect(isPhpIncludePathRef(mk('lib.php'))).toBe(true);
  2212. expect(isPhpIncludePathRef(mk('inc/db.php'))).toBe(true);
  2213. expect(isPhpIncludePathRef(mk('../config.php'))).toBe(true);
  2214. // namespace use symbols: a bare class (Closure) or FQN — never a path,
  2215. // so they must NOT be treated as includes (would mis-connect to a
  2216. // same-named Closure.php / Bar.php file).
  2217. expect(isPhpIncludePathRef(mk('Closure'))).toBe(false);
  2218. expect(isPhpIncludePathRef(mk('PDO'))).toBe(false);
  2219. expect(isPhpIncludePathRef(mk('App\\Foo\\Bar'))).toBe(false);
  2220. // scoped to PHP imports only
  2221. expect(isPhpIncludePathRef(mk('lib.php', { language: 'c' }))).toBe(false);
  2222. expect(isPhpIncludePathRef(mk('lib.php', { referenceKind: 'calls' }))).toBe(false);
  2223. });
  2224. it('resolves require_once to a file→file imports edge (#660)', async () => {
  2225. const tempProject = fs.mkdtempSync(path.join(os.tmpdir(), 'codegraph-php-e2e-'));
  2226. try {
  2227. fs.mkdirSync(path.join(tempProject, 'src'), { recursive: true });
  2228. fs.writeFileSync(
  2229. path.join(tempProject, 'src', 'lib.php'),
  2230. `<?php\nfunction greet() { return "hi"; }\n`
  2231. );
  2232. fs.writeFileSync(
  2233. path.join(tempProject, 'src', 'page.php'),
  2234. `<?php\nrequire_once("lib.php");\necho greet();\n`
  2235. );
  2236. cg = await CodeGraph.init(tempProject, { index: true });
  2237. // reporter's repro: page.php's `require_once("lib.php")` must resolve
  2238. // to the real src/lib.php file node — a file→file `imports` edge, so
  2239. // callers(lib.php) now includes page.php.
  2240. const db = DatabaseConnection.open(path.join(tempProject, '.codegraph', 'codegraph.db'));
  2241. const rows = db.getDb().prepare(`
  2242. select dst.kind as dstKind, dst.file_path as dstPath
  2243. from edges e
  2244. join nodes src on e.source = src.id
  2245. join nodes dst on e.target = dst.id
  2246. where e.kind = 'imports'
  2247. and src.kind = 'file'
  2248. and src.file_path = 'src/page.php'
  2249. `).all() as Array<{ dstKind: string; dstPath: string }>;
  2250. const resolved = rows.find(
  2251. (r) => r.dstKind === 'file' && r.dstPath === 'src/lib.php'
  2252. );
  2253. expect(resolved, 'page.php → src/lib.php imports edge missing').toBeDefined();
  2254. } finally {
  2255. fs.rmSync(tempProject, { recursive: true, force: true });
  2256. }
  2257. });
  2258. it('resolves a subdirectory include path to the correct file (#660)', async () => {
  2259. const tempProject = fs.mkdtempSync(path.join(os.tmpdir(), 'codegraph-php-subdir-'));
  2260. try {
  2261. fs.mkdirSync(path.join(tempProject, 'inc'), { recursive: true });
  2262. fs.writeFileSync(
  2263. path.join(tempProject, 'inc', 'db.php'),
  2264. `<?php\nfunction query() { return 1; }\n`
  2265. );
  2266. fs.writeFileSync(
  2267. path.join(tempProject, 'index.php'),
  2268. `<?php\nrequire "inc/db.php";\nquery();\n`
  2269. );
  2270. cg = await CodeGraph.init(tempProject, { index: true });
  2271. const db = DatabaseConnection.open(path.join(tempProject, '.codegraph', 'codegraph.db'));
  2272. const rows = db.getDb().prepare(`
  2273. select dst.kind as dstKind, dst.file_path as dstPath
  2274. from edges e
  2275. join nodes src on e.source = src.id
  2276. join nodes dst on e.target = dst.id
  2277. where e.kind = 'imports'
  2278. and src.kind = 'file'
  2279. and src.file_path = 'index.php'
  2280. `).all() as Array<{ dstKind: string; dstPath: string }>;
  2281. expect(
  2282. rows.find((r) => r.dstKind === 'file' && r.dstPath === 'inc/db.php'),
  2283. 'index.php → inc/db.php imports edge missing'
  2284. ).toBeDefined();
  2285. } finally {
  2286. fs.rmSync(tempProject, { recursive: true, force: true });
  2287. }
  2288. });
  2289. it('does not mis-connect an unresolvable include to a same-named file elsewhere (#660)', async () => {
  2290. const tempProject = fs.mkdtempSync(path.join(os.tmpdir(), 'codegraph-php-misresolve-'));
  2291. try {
  2292. // app/page.php's `require "inc/db.php"` resolves relative to app/, where
  2293. // inc/db.php does NOT exist. A same-named lib/inc/db.php exists elsewhere
  2294. // but is unrelated — no edge should be created (a wrong edge is worse
  2295. // than a missing one).
  2296. fs.mkdirSync(path.join(tempProject, 'app'), { recursive: true });
  2297. fs.mkdirSync(path.join(tempProject, 'lib', 'inc'), { recursive: true });
  2298. fs.writeFileSync(
  2299. path.join(tempProject, 'lib', 'inc', 'db.php'),
  2300. `<?php\nfunction unrelated() {}\n`
  2301. );
  2302. fs.writeFileSync(
  2303. path.join(tempProject, 'app', 'page.php'),
  2304. `<?php\nrequire "inc/db.php";\n`
  2305. );
  2306. cg = await CodeGraph.init(tempProject, { index: true });
  2307. const db = DatabaseConnection.open(path.join(tempProject, '.codegraph', 'codegraph.db'));
  2308. const rows = db.getDb().prepare(`
  2309. select dst.kind as dstKind, dst.file_path as dstPath
  2310. from edges e
  2311. join nodes src on e.source = src.id
  2312. join nodes dst on e.target = dst.id
  2313. where e.kind = 'imports'
  2314. and src.kind = 'file'
  2315. and src.file_path = 'app/page.php'
  2316. `).all() as Array<{ dstKind: string; dstPath: string }>;
  2317. expect(
  2318. rows.find((r) => r.dstKind === 'file' && r.dstPath === 'lib/inc/db.php'),
  2319. 'app/page.php must NOT mis-connect to unrelated lib/inc/db.php'
  2320. ).toBeUndefined();
  2321. } finally {
  2322. fs.rmSync(tempProject, { recursive: true, force: true });
  2323. }
  2324. });
  2325. });
  2326. describe('C++ chained-call receiver resolution (#645)', () => {
  2327. async function indexCpp(files: Record<string, string>): Promise<void> {
  2328. for (const [name, content] of Object.entries(files)) {
  2329. fs.writeFileSync(path.join(tempDir, name), content);
  2330. }
  2331. cg = await CodeGraph.init(tempDir, { index: true });
  2332. }
  2333. function callerNamesOf(qualifiedName: string): string[] {
  2334. const target = cg.getNodesByKind('method').find((n) => n.qualifiedName === qualifiedName);
  2335. if (!target) return [];
  2336. const names = cg
  2337. .getIncomingEdges(target.id)
  2338. .filter((e) => e.kind === 'calls')
  2339. .map((e) => cg.getNode(e.source)?.name)
  2340. .filter((n): n is string => !!n);
  2341. return [...new Set(names)].sort();
  2342. }
  2343. it('resolves singleton chains and auto locals to the right class, never the first-sorted one', async () => {
  2344. // Two classes share writeLog; Logger sorts first so it wins any name-only
  2345. // tie. All three call forms target Metrics.
  2346. await indexCpp({
  2347. 'logger.hpp': `#pragma once
  2348. #include <string>
  2349. class Logger { public: static Logger& instance(); void writeLog(const std::string&); };
  2350. class Metrics { public: static Metrics& instance(); void writeLog(const std::string&); };
  2351. `,
  2352. 'impl.cpp': `#include "logger.hpp"
  2353. Logger& Logger::instance() { static Logger l; return l; }
  2354. Metrics& Metrics::instance() { static Metrics m; return m; }
  2355. void Logger::writeLog(const std::string&) {}
  2356. void Metrics::writeLog(const std::string&) {}
  2357. `,
  2358. 'app.cpp': `#include "logger.hpp"
  2359. void a() { Metrics::instance().writeLog("x"); } // chained singleton
  2360. void b() { auto& m = Metrics::instance(); m.writeLog("x"); } // stored in auto
  2361. void c() { Metrics& m = Metrics::instance(); m.writeLog("x"); } // explicit type
  2362. `,
  2363. });
  2364. expect(callerNamesOf('Metrics::writeLog')).toEqual(['a', 'b', 'c']);
  2365. expect(callerNamesOf('Logger::writeLog')).toEqual([]);
  2366. });
  2367. it('resolves factories, free-function factories, and member chains via the inner call return type', async () => {
  2368. await indexCpp({
  2369. 'types.hpp': `#pragma once
  2370. #include <memory>
  2371. struct Widget { void draw(); };
  2372. struct Session { void run(); };
  2373. struct View { void render(); };
  2374. class WidgetFactory { public: static Widget create(); };
  2375. class Manager { public: View view(); };
  2376. Session* openSession();
  2377. // Decoy that sorts first and has all three methods — must never win.
  2378. struct Aaa { void draw(); void run(); void render(); };
  2379. `,
  2380. 'impl.cpp': `#include "types.hpp"
  2381. void Widget::draw() {}
  2382. void Session::run() {}
  2383. void View::render() {}
  2384. void Aaa::draw() {}
  2385. void Aaa::run() {}
  2386. void Aaa::render() {}
  2387. Widget WidgetFactory::create() { return Widget(); }
  2388. View Manager::view() { return View(); }
  2389. Session* openSession() { return nullptr; }
  2390. `,
  2391. 'app.cpp': `#include "types.hpp"
  2392. void factory() { WidgetFactory::create().draw(); } // -> Widget::draw
  2393. void freefunc() { openSession()->run(); } // -> Session::run
  2394. void member() { Manager mgr; mgr.view().render(); } // -> View::render
  2395. void makeUnique() { auto w = std::make_unique<Widget>(); w->draw(); } // -> Widget::draw
  2396. `,
  2397. });
  2398. expect(callerNamesOf('Widget::draw')).toEqual(['factory', 'makeUnique']);
  2399. expect(callerNamesOf('Session::run')).toEqual(['freefunc']);
  2400. expect(callerNamesOf('View::render')).toEqual(['member']);
  2401. // The first-sorted decoy never captures any of them.
  2402. expect(callerNamesOf('Aaa::draw')).toEqual([]);
  2403. expect(callerNamesOf('Aaa::run')).toEqual([]);
  2404. expect(callerNamesOf('Aaa::render')).toEqual([]);
  2405. });
  2406. it('creates NO edge when the inferred type lacks the method (silent miss, not a wrong edge)', async () => {
  2407. await indexCpp({
  2408. 'types.hpp': `#pragma once
  2409. struct Widget { void draw(); };
  2410. struct Other { void onlyOther(); };
  2411. class WidgetFactory { public: static Widget create(); };
  2412. `,
  2413. 'impl.cpp': `#include "types.hpp"
  2414. void Widget::draw() {}
  2415. void Other::onlyOther() {}
  2416. Widget WidgetFactory::create() { return Widget(); }
  2417. `,
  2418. 'app.cpp': `#include "types.hpp"
  2419. // Widget has no onlyOther() — must produce NO edge, never a wrong one to Other.
  2420. void wrong() { WidgetFactory::create().onlyOther(); }
  2421. `,
  2422. });
  2423. expect(callerNamesOf('Other::onlyOther')).toEqual([]);
  2424. });
  2425. });
  2426. describe('PHP chained static-factory call resolution (#608)', () => {
  2427. function callerNamesOf(qualifiedName: string): string[] {
  2428. const target = cg.getNodesByKind('method').find((n) => n.qualifiedName === qualifiedName);
  2429. if (!target) return [];
  2430. const names = cg
  2431. .getIncomingEdges(target.id)
  2432. .filter((e) => e.kind === 'calls')
  2433. .map((e) => cg.getNode(e.source)?.name)
  2434. .filter((n): n is string => !!n);
  2435. return [...new Set(names)].sort();
  2436. }
  2437. it('resolves Cls::for($x)->method() via the factory\'s `: self` return (#608)', async () => {
  2438. fs.writeFileSync(
  2439. path.join(tempDir, 'ApiClient.php'),
  2440. `<?php\nclass ApiClient {\n public static function for(string $c): self { return new self; }\n public function createOrder(array $p): array { return []; }\n}\n`
  2441. );
  2442. fs.writeFileSync(
  2443. path.join(tempDir, 'DispatchOrder.php'),
  2444. `<?php\nclass DispatchOrder {\n public function handle(): void {\n ApiClient::for('cred')->createOrder([]);\n }\n}\n`
  2445. );
  2446. cg = await CodeGraph.init(tempDir, { index: true });
  2447. // The chained call's edge attaches to the factory result's method.
  2448. expect(callerNamesOf('ApiClient::createOrder')).toContain('handle');
  2449. });
  2450. it('creates NO edge when the factory result lacks the method (#608)', async () => {
  2451. fs.writeFileSync(
  2452. path.join(tempDir, 'lib.php'),
  2453. `<?php\nclass ApiClient { public static function for(string $c): self { return new self; } }\nclass Other { public function onlyOther(): void {} }\nclass Caller { public function go(): void { ApiClient::for('x')->onlyOther(); } }\n`
  2454. );
  2455. cg = await CodeGraph.init(tempDir, { index: true });
  2456. // ApiClient has no onlyOther — must not mis-attach to the same-named Other::onlyOther.
  2457. expect(callerNamesOf('Other::onlyOther')).toEqual([]);
  2458. });
  2459. });
  2460. describe('Java chained static-factory call resolution (#645/#608 mechanism)', () => {
  2461. function callerNamesOf(qualifiedName: string): string[] {
  2462. const target = cg.getNodesByKind('method').find((n) => n.qualifiedName === qualifiedName);
  2463. if (!target) return [];
  2464. const names = cg
  2465. .getIncomingEdges(target.id)
  2466. .filter((e) => e.kind === 'calls')
  2467. .map((e) => cg.getNode(e.source)?.name)
  2468. .filter((n): n is string => !!n);
  2469. return [...new Set(names)].sort();
  2470. }
  2471. it('resolves Foo.getInstance().bar() via the factory return type, never a same-named decoy', async () => {
  2472. // Aaa sorts first and has a same-named bar() — it must never win the chain.
  2473. fs.writeFileSync(
  2474. path.join(tempDir, 'Main.java'),
  2475. `class Aaa { void bar() {} }
  2476. class Foo {
  2477. static Foo getInstance() { return new Foo(); }
  2478. void bar() {}
  2479. }
  2480. class Caller {
  2481. void run() { Foo.getInstance().bar(); }
  2482. }
  2483. `
  2484. );
  2485. cg = await CodeGraph.init(tempDir, { index: true });
  2486. expect(callerNamesOf('Foo::bar')).toEqual(['run']);
  2487. expect(callerNamesOf('Aaa::bar')).toEqual([]);
  2488. });
  2489. it('resolves a factory chain that passes arguments — Foo.create(cfg).build()', async () => {
  2490. // The factory call carries an argument; the extractor must normalize the
  2491. // receiver to empty parens (`Foo.create().build`) so the chain still splits.
  2492. fs.writeFileSync(
  2493. path.join(tempDir, 'Main.java'),
  2494. `class Config {}
  2495. class Foo {
  2496. static Foo create(Config c) { return new Foo(); }
  2497. void build() {}
  2498. }
  2499. class Caller {
  2500. void run() { Foo.create(new Config()).build(); }
  2501. }
  2502. `
  2503. );
  2504. cg = await CodeGraph.init(tempDir, { index: true });
  2505. expect(callerNamesOf('Foo::build')).toEqual(['run']);
  2506. });
  2507. it('creates NO edge when the factory return type lacks the method (silent miss, not a wrong edge)', async () => {
  2508. fs.writeFileSync(
  2509. path.join(tempDir, 'Main.java'),
  2510. `class Foo {
  2511. static Foo getInstance() { return new Foo(); }
  2512. }
  2513. class Other { void onlyOther() {} }
  2514. class Caller {
  2515. void run() { Foo.getInstance().onlyOther(); }
  2516. }
  2517. `
  2518. );
  2519. cg = await CodeGraph.init(tempDir, { index: true });
  2520. // Foo has no onlyOther() — must not mis-attach to the same-named Other::onlyOther.
  2521. expect(callerNamesOf('Other::onlyOther')).toEqual([]);
  2522. });
  2523. });
  2524. describe('Kotlin chained companion-factory call resolution (#645/#608 mechanism)', () => {
  2525. function callerNamesOf(qualifiedName: string): string[] {
  2526. const target = cg.getNodesByKind('method').find((n) => n.qualifiedName === qualifiedName);
  2527. if (!target) return [];
  2528. const names = cg
  2529. .getIncomingEdges(target.id)
  2530. .filter((e) => e.kind === 'calls')
  2531. .map((e) => cg.getNode(e.source)?.name)
  2532. .filter((n): n is string => !!n);
  2533. return [...new Set(names)].sort();
  2534. }
  2535. it('resolves Foo.getInstance().bar() via the companion return type, never a same-named decoy', async () => {
  2536. // Aaa sorts first and has a same-named bar() — without the chain fix Kotlin
  2537. // dropped the receiver to a bare `bar` and attached to Aaa (a wrong edge).
  2538. fs.writeFileSync(
  2539. path.join(tempDir, 'Main.kt'),
  2540. `class Aaa { fun bar() {} }
  2541. class Foo {
  2542. companion object {
  2543. fun getInstance(): Foo = Foo()
  2544. }
  2545. fun bar() {}
  2546. }
  2547. class Caller {
  2548. fun run() { Foo.getInstance().bar() }
  2549. }
  2550. `
  2551. );
  2552. cg = await CodeGraph.init(tempDir, { index: true });
  2553. expect(callerNamesOf('Foo::bar')).toEqual(['run']);
  2554. expect(callerNamesOf('Aaa::bar')).toEqual([]);
  2555. });
  2556. it('resolves a companion factory chain that passes arguments — Foo.create(cfg).build()', async () => {
  2557. fs.writeFileSync(
  2558. path.join(tempDir, 'Main.kt'),
  2559. `class Config
  2560. class Foo {
  2561. companion object {
  2562. fun create(c: Config): Foo = Foo()
  2563. }
  2564. fun build() {}
  2565. }
  2566. class Caller {
  2567. fun run() { Foo.create(Config()).build() }
  2568. }
  2569. `
  2570. );
  2571. cg = await CodeGraph.init(tempDir, { index: true });
  2572. expect(callerNamesOf('Foo::build')).toEqual(['run']);
  2573. });
  2574. it('creates NO edge when the companion return type lacks the method (silent miss, not a wrong edge)', async () => {
  2575. fs.writeFileSync(
  2576. path.join(tempDir, 'Main.kt'),
  2577. `class Foo {
  2578. companion object {
  2579. fun getInstance(): Foo = Foo()
  2580. }
  2581. }
  2582. class Other { fun onlyOther() {} }
  2583. class Caller {
  2584. fun run() { Foo.getInstance().onlyOther() }
  2585. }
  2586. `
  2587. );
  2588. cg = await CodeGraph.init(tempDir, { index: true });
  2589. // Foo has no onlyOther() — must not mis-attach to the same-named Other::onlyOther.
  2590. expect(callerNamesOf('Other::onlyOther')).toEqual([]);
  2591. });
  2592. });
  2593. describe('C# chained static-factory call resolution (#645/#608 mechanism)', () => {
  2594. function callerNamesOf(qualifiedName: string): string[] {
  2595. const target = cg.getNodesByKind('method').find((n) => n.qualifiedName === qualifiedName);
  2596. if (!target) return [];
  2597. const names = cg
  2598. .getIncomingEdges(target.id)
  2599. .filter((e) => e.kind === 'calls')
  2600. .map((e) => cg.getNode(e.source)?.name)
  2601. .filter((n): n is string => !!n);
  2602. return [...new Set(names)].sort();
  2603. }
  2604. it('resolves Foo.Create().Bar() via the factory return type, never a same-named decoy', async () => {
  2605. // Aaa sorts first and has a same-named Bar() — it must never win the chain.
  2606. fs.writeFileSync(
  2607. path.join(tempDir, 'Main.cs'),
  2608. `class Aaa { void Bar() {} }
  2609. class Foo {
  2610. static Foo Create() { return new Foo(); }
  2611. void Bar() {}
  2612. }
  2613. class Caller {
  2614. void Run() { Foo.Create().Bar(); }
  2615. }
  2616. `
  2617. );
  2618. cg = await CodeGraph.init(tempDir, { index: true });
  2619. expect(callerNamesOf('Foo::Bar')).toEqual(['Run']);
  2620. expect(callerNamesOf('Aaa::Bar')).toEqual([]);
  2621. });
  2622. it('resolves a factory chain that passes arguments — Foo.Make(cfg).Build()', async () => {
  2623. fs.writeFileSync(
  2624. path.join(tempDir, 'Main.cs'),
  2625. `class Config {}
  2626. class Foo {
  2627. static Foo Make(Config c) { return new Foo(); }
  2628. void Build() {}
  2629. }
  2630. class Caller {
  2631. void Run() { Foo.Make(new Config()).Build(); }
  2632. }
  2633. `
  2634. );
  2635. cg = await CodeGraph.init(tempDir, { index: true });
  2636. expect(callerNamesOf('Foo::Build')).toEqual(['Run']);
  2637. });
  2638. it('creates NO edge when the factory return type lacks the method (silent miss, not a wrong edge)', async () => {
  2639. fs.writeFileSync(
  2640. path.join(tempDir, 'Main.cs'),
  2641. `class Foo {
  2642. static Foo Create() { return new Foo(); }
  2643. }
  2644. class Other { void OnlyOther() {} }
  2645. class Caller {
  2646. void Run() { Foo.Create().OnlyOther(); }
  2647. }
  2648. `
  2649. );
  2650. cg = await CodeGraph.init(tempDir, { index: true });
  2651. // Foo has no OnlyOther() — must not mis-attach to the same-named Other::OnlyOther.
  2652. expect(callerNamesOf('Other::OnlyOther')).toEqual([]);
  2653. });
  2654. });
  2655. describe('Swift chained static-factory call resolution (#645/#608 mechanism)', () => {
  2656. function callerNamesOf(qualifiedName: string): string[] {
  2657. const target = cg.getNodesByKind('method').find((n) => n.qualifiedName === qualifiedName);
  2658. if (!target) return [];
  2659. const names = cg
  2660. .getIncomingEdges(target.id)
  2661. .filter((e) => e.kind === 'calls')
  2662. .map((e) => cg.getNode(e.source)?.name)
  2663. .filter((n): n is string => !!n);
  2664. return [...new Set(names)].sort();
  2665. }
  2666. it('resolves Foo.make().draw() via the factory return type, never a same-named decoy', async () => {
  2667. // Aaa sorts first and has a same-named draw() — without the fix Swift dropped
  2668. // the receiver to a bare `draw` and attached to Aaa (a wrong edge).
  2669. fs.writeFileSync(
  2670. path.join(tempDir, 'Main.swift'),
  2671. `class Aaa { func draw() {} }
  2672. class Foo {
  2673. static func make() -> Foo { return Foo() }
  2674. func draw() {}
  2675. }
  2676. func runCaller() { Foo.make().draw() }
  2677. `
  2678. );
  2679. cg = await CodeGraph.init(tempDir, { index: true });
  2680. expect(callerNamesOf('Foo::draw')).toEqual(['runCaller']);
  2681. expect(callerNamesOf('Aaa::draw')).toEqual([]);
  2682. });
  2683. it('resolves a constructor chain Foo().draw() and an args factory chain Foo.build(c).render()', async () => {
  2684. fs.writeFileSync(
  2685. path.join(tempDir, 'Main.swift'),
  2686. `class Config {}
  2687. class Foo {
  2688. static func build(_ c: Config) -> Foo { return Foo() }
  2689. func draw() {}
  2690. func render() {}
  2691. }
  2692. func runCaller() {
  2693. Foo().draw()
  2694. Foo.build(Config()).render()
  2695. }
  2696. `
  2697. );
  2698. cg = await CodeGraph.init(tempDir, { index: true });
  2699. expect(callerNamesOf('Foo::draw')).toEqual(['runCaller']);
  2700. expect(callerNamesOf('Foo::render')).toEqual(['runCaller']);
  2701. });
  2702. it('creates NO edge when the factory return type lacks the method (silent miss, not a wrong edge)', async () => {
  2703. fs.writeFileSync(
  2704. path.join(tempDir, 'Main.swift'),
  2705. `class Foo {
  2706. static func make() -> Foo { return Foo() }
  2707. }
  2708. class Other { func onlyOther() {} }
  2709. func runCaller() { Foo.make().onlyOther() }
  2710. `
  2711. );
  2712. cg = await CodeGraph.init(tempDir, { index: true });
  2713. // Foo has no onlyOther() — must not mis-attach to the same-named Other::onlyOther.
  2714. expect(callerNamesOf('Other::onlyOther')).toEqual([]);
  2715. });
  2716. });
  2717. describe('Chained call resolves a method on a supertype (conformance, #750)', () => {
  2718. function callerNamesOf(qualifiedName: string): string[] {
  2719. const target = cg.getNodesByKind('method').find((n) => n.qualifiedName === qualifiedName);
  2720. if (!target) return [];
  2721. const names = cg
  2722. .getIncomingEdges(target.id)
  2723. .filter((e) => e.kind === 'calls')
  2724. .map((e) => cg.getNode(e.source)?.name)
  2725. .filter((n): n is string => !!n);
  2726. return [...new Set(names)].sort();
  2727. }
  2728. it('resolves a chained method defined only on a SUPERCLASS the return type extends', async () => {
  2729. // draw() lives on Base; Widget (the factory's return type) has no draw() of
  2730. // its own. Decoy.draw must never win. Needs the conformance second pass.
  2731. fs.writeFileSync(
  2732. path.join(tempDir, 'Main.java'),
  2733. `class Base { void draw() {} }
  2734. class Widget extends Base {}
  2735. class Decoy { void draw() {} }
  2736. class Factory { static Widget create() { return new Widget(); } }
  2737. class Caller {
  2738. void run() { Factory.create().draw(); }
  2739. }
  2740. `
  2741. );
  2742. cg = await CodeGraph.init(tempDir, { index: true });
  2743. expect(callerNamesOf('Base::draw')).toEqual(['run']);
  2744. expect(callerNamesOf('Decoy::draw')).toEqual([]);
  2745. });
  2746. it('resolves a chained method defined on an INTERFACE the return type implements (default method)', async () => {
  2747. fs.writeFileSync(
  2748. path.join(tempDir, 'Main.java'),
  2749. `interface Drawable { default void draw() {} }
  2750. class Widget implements Drawable {}
  2751. class Decoy { void draw() {} }
  2752. class Factory { static Widget create() { return new Widget(); } }
  2753. class Caller {
  2754. void run() { Factory.create().draw(); }
  2755. }
  2756. `
  2757. );
  2758. cg = await CodeGraph.init(tempDir, { index: true });
  2759. expect(callerNamesOf('Drawable::draw')).toEqual(['run']);
  2760. expect(callerNamesOf('Decoy::draw')).toEqual([]);
  2761. });
  2762. it('still creates NO edge when no supertype has the method (safety preserved)', async () => {
  2763. fs.writeFileSync(
  2764. path.join(tempDir, 'Main.java'),
  2765. `class Base {}
  2766. class Widget extends Base {}
  2767. class Other { void onlyOther() {} }
  2768. class Factory { static Widget create() { return new Widget(); } }
  2769. class Caller {
  2770. void run() { Factory.create().onlyOther(); }
  2771. }
  2772. `
  2773. );
  2774. cg = await CodeGraph.init(tempDir, { index: true });
  2775. // Neither Widget nor Base has onlyOther() — must not attach to Other::onlyOther.
  2776. expect(callerNamesOf('Other::onlyOther')).toEqual([]);
  2777. });
  2778. });
  2779. describe('Rust chained associated-function call resolution (#645/#608 mechanism)', () => {
  2780. function callerNamesOf(qualifiedName: string): string[] {
  2781. const target = cg.getNodesByKind('method').find((n) => n.qualifiedName === qualifiedName);
  2782. if (!target) return [];
  2783. const names = cg
  2784. .getIncomingEdges(target.id)
  2785. .filter((e) => e.kind === 'calls')
  2786. .map((e) => cg.getNode(e.source)?.name)
  2787. .filter((n): n is string => !!n);
  2788. return [...new Set(names)].sort();
  2789. }
  2790. it('resolves Foo::new().bar() (and a Self return) via the associated fn, never a same-named decoy', async () => {
  2791. fs.writeFileSync(
  2792. path.join(tempDir, 'main.rs'),
  2793. `struct Aaa { _x: i32 }
  2794. impl Aaa { fn bar(&self) {} }
  2795. struct Foo { _x: i32 }
  2796. impl Foo {
  2797. fn new() -> Foo { Foo { _x: 0 } }
  2798. fn make() -> Self { Foo { _x: 0 } }
  2799. fn bar(&self) {}
  2800. }
  2801. fn caller() {
  2802. Foo::new().bar();
  2803. Foo::make().bar();
  2804. }
  2805. `
  2806. );
  2807. cg = await CodeGraph.init(tempDir, { index: true });
  2808. expect(callerNamesOf('Foo::bar')).toEqual(['caller']);
  2809. expect(callerNamesOf('Aaa::bar')).toEqual([]);
  2810. });
  2811. it('resolves a chain that passes arguments — Foo::with(c).build()', async () => {
  2812. fs.writeFileSync(
  2813. path.join(tempDir, 'main.rs'),
  2814. `struct Config;
  2815. struct Foo { _x: i32 }
  2816. impl Foo {
  2817. fn with(c: Config) -> Foo { Foo { _x: 0 } }
  2818. fn build(&self) {}
  2819. }
  2820. fn caller() { Foo::with(Config).build(); }
  2821. `
  2822. );
  2823. cg = await CodeGraph.init(tempDir, { index: true });
  2824. expect(callerNamesOf('Foo::build')).toEqual(['caller']);
  2825. });
  2826. it('resolves a chained method from a trait the type implements (default method, via conformance)', async () => {
  2827. fs.writeFileSync(
  2828. path.join(tempDir, 'main.rs'),
  2829. `struct Foo { _x: i32 }
  2830. impl Foo { fn new() -> Foo { Foo { _x: 0 } } }
  2831. struct Decoy { _x: i32 }
  2832. impl Decoy { fn draw(&self) {} }
  2833. trait Drawable { fn draw(&self) {} }
  2834. impl Drawable for Foo {}
  2835. fn caller() { Foo::new().draw(); }
  2836. `
  2837. );
  2838. cg = await CodeGraph.init(tempDir, { index: true });
  2839. expect(callerNamesOf('Drawable::draw')).toEqual(['caller']);
  2840. expect(callerNamesOf('Decoy::draw')).toEqual([]);
  2841. });
  2842. it('creates NO edge when neither the type nor a supertype has the method (silent miss)', async () => {
  2843. fs.writeFileSync(
  2844. path.join(tempDir, 'main.rs'),
  2845. `struct Foo { _x: i32 }
  2846. impl Foo { fn new() -> Foo { Foo { _x: 0 } } }
  2847. struct Other { _x: i32 }
  2848. impl Other { fn only_other(&self) {} }
  2849. fn caller() { Foo::new().only_other(); }
  2850. `
  2851. );
  2852. cg = await CodeGraph.init(tempDir, { index: true });
  2853. // Foo has no only_other() — must not mis-attach to the same-named Other::only_other.
  2854. expect(callerNamesOf('Other::only_other')).toEqual([]);
  2855. });
  2856. });
  2857. describe('Go chained factory-function call resolution (#645/#608 mechanism)', () => {
  2858. function callerNamesOf(qualifiedName: string): string[] {
  2859. const target = cg.getNodesByKind('method').find((n) => n.qualifiedName === qualifiedName);
  2860. if (!target) return [];
  2861. const names = cg
  2862. .getIncomingEdges(target.id)
  2863. .filter((e) => e.kind === 'calls')
  2864. .map((e) => cg.getNode(e.source)?.name)
  2865. .filter((n): n is string => !!n);
  2866. return [...new Set(names)].sort();
  2867. }
  2868. it('resolves New().Bar() via the factory return type (pointer), never a same-named decoy', async () => {
  2869. fs.writeFileSync(
  2870. path.join(tempDir, 'main.go'),
  2871. `package main
  2872. type Aaa struct{}
  2873. func (a *Aaa) Bar() {}
  2874. type Foo struct{}
  2875. func New() *Foo { return &Foo{} }
  2876. func (f *Foo) Bar() {}
  2877. func caller() { New().Bar() }
  2878. `
  2879. );
  2880. cg = await CodeGraph.init(tempDir, { index: true });
  2881. expect(callerNamesOf('Foo::Bar')).toEqual(['caller']);
  2882. expect(callerNamesOf('Aaa::Bar')).toEqual([]);
  2883. });
  2884. it('resolves an args chain and a multi-return factory — With(c).Build(), (*Foo, error)', async () => {
  2885. fs.writeFileSync(
  2886. path.join(tempDir, 'main.go'),
  2887. `package main
  2888. type Config struct{}
  2889. type Foo struct{}
  2890. func With(c Config) (*Foo, error) { return &Foo{}, nil }
  2891. func (f *Foo) Build() {}
  2892. func caller() { With(Config{}).Build() }
  2893. `
  2894. );
  2895. cg = await CodeGraph.init(tempDir, { index: true });
  2896. expect(callerNamesOf('Foo::Build')).toEqual(['caller']);
  2897. });
  2898. it('resolves a method provided by an embedded struct (via conformance)', async () => {
  2899. fs.writeFileSync(
  2900. path.join(tempDir, 'main.go'),
  2901. `package main
  2902. type Base struct{}
  2903. func (b *Base) Embedded() {}
  2904. type Decoy struct{}
  2905. func (d *Decoy) Embedded() {}
  2906. type Widget struct{ Base }
  2907. func NewWidget() *Widget { return &Widget{} }
  2908. func caller() { NewWidget().Embedded() }
  2909. `
  2910. );
  2911. cg = await CodeGraph.init(tempDir, { index: true });
  2912. expect(callerNamesOf('Base::Embedded')).toEqual(['caller']);
  2913. expect(callerNamesOf('Decoy::Embedded')).toEqual([]);
  2914. });
  2915. it('creates NO edge when neither the type nor an embedded type has the method (silent miss)', async () => {
  2916. fs.writeFileSync(
  2917. path.join(tempDir, 'main.go'),
  2918. `package main
  2919. type Foo struct{}
  2920. func New() *Foo { return &Foo{} }
  2921. type Other struct{}
  2922. func (o *Other) OnlyOther() {}
  2923. func caller() { New().OnlyOther() }
  2924. `
  2925. );
  2926. cg = await CodeGraph.init(tempDir, { index: true });
  2927. // Foo has no OnlyOther() — must not mis-attach to the same-named Other::OnlyOther.
  2928. expect(callerNamesOf('Other::OnlyOther')).toEqual([]);
  2929. });
  2930. it('falls back to bare-name resolution for a VARIABLE-inner chain without exploding the graph', async () => {
  2931. // `engine` is a package-level VARIABLE holding a func value, not a factory
  2932. // FUNCTION — so its return type can't be recovered and the chain falls back
  2933. // to bare-name resolution of the method (restoring the pre-re-encoding edge).
  2934. // Regression for the runaway this fallback originally caused: it resolved
  2935. // with a mutated `original.referenceName` (the bare `ServeHTTP`, not the
  2936. // stored `engine().ServeHTTP`), so the batched resolver's keyed delete
  2937. // no-oped, the offset-0 batch never drained, and edges inserted forever
  2938. // (5M edges / 1.4 GB on a 99-file repo). The fallback now ties the match to
  2939. // the original ref, and a non-progress guard backstops the loop.
  2940. fs.writeFileSync(
  2941. path.join(tempDir, 'main.go'),
  2942. `package main
  2943. type Server struct{}
  2944. func (s *Server) ServeHTTP() {}
  2945. var engine = func() *Server { return &Server{} }
  2946. func caller() { engine().ServeHTTP() }
  2947. `
  2948. );
  2949. cg = await CodeGraph.init(tempDir, { index: true });
  2950. // Recall: the variable-inner chain still finds the method by bare name.
  2951. expect(callerNamesOf('Server::ServeHTTP')).toEqual(['caller']);
  2952. // No runaway: a single call site yields a single edge, not millions.
  2953. const target = cg
  2954. .getNodesByKind('method')
  2955. .find((n) => n.qualifiedName === 'Server::ServeHTTP')!;
  2956. const rawCalls = cg
  2957. .getIncomingEdges(target.id)
  2958. .filter((e) => e.kind === 'calls');
  2959. expect(rawCalls.length).toBeLessThan(5);
  2960. });
  2961. });
  2962. describe('Scala chained static-factory call resolution (#645/#608 mechanism)', () => {
  2963. function callerNamesOf(qualifiedName: string): string[] {
  2964. const target = cg.getNodesByKind('method').find((n) => n.qualifiedName === qualifiedName);
  2965. if (!target) return [];
  2966. const names = cg
  2967. .getIncomingEdges(target.id)
  2968. .filter((e) => e.kind === 'calls')
  2969. .map((e) => cg.getNode(e.source)?.name)
  2970. .filter((n): n is string => !!n);
  2971. return [...new Set(names)].sort();
  2972. }
  2973. it('resolves a companion-factory chain Foo.create().doIt() to the return type, never a same-named decoy', async () => {
  2974. fs.writeFileSync(
  2975. path.join(tempDir, 'Main.scala'),
  2976. `object Foo {
  2977. def create(): Bar = new Bar()
  2978. }
  2979. class Bar {
  2980. def doIt(): Unit = {}
  2981. }
  2982. class Decoy {
  2983. def doIt(): Unit = {}
  2984. }
  2985. object Main {
  2986. def run(): Unit = { Foo.create().doIt() }
  2987. }
  2988. `
  2989. );
  2990. cg = await CodeGraph.init(tempDir, { index: true });
  2991. expect(callerNamesOf('Bar::doIt')).toEqual(['run']);
  2992. expect(callerNamesOf('Decoy::doIt')).toEqual([]);
  2993. });
  2994. it('resolves a case-class apply construction Point(x).dist() on the constructed class', async () => {
  2995. fs.writeFileSync(
  2996. path.join(tempDir, 'Main.scala'),
  2997. `class Point(x: Int) {
  2998. def dist(): Int = x
  2999. }
  3000. class Other {
  3001. def dist(): Int = 0
  3002. }
  3003. object Main {
  3004. def run(): Unit = { Point(3).dist() }
  3005. }
  3006. `
  3007. );
  3008. cg = await CodeGraph.init(tempDir, { index: true });
  3009. expect(callerNamesOf('Point::dist')).toEqual(['run']);
  3010. expect(callerNamesOf('Other::dist')).toEqual([]);
  3011. });
  3012. it('resolves a chained method provided by a trait the return type extends (via conformance)', async () => {
  3013. fs.writeFileSync(
  3014. path.join(tempDir, 'Main.scala'),
  3015. `trait Base {
  3016. def shared(): Unit = {}
  3017. }
  3018. class Widget extends Base
  3019. class Decoy {
  3020. def shared(): Unit = {}
  3021. }
  3022. object Factory {
  3023. def make(): Widget = new Widget()
  3024. }
  3025. object Main {
  3026. def run(): Unit = { Factory.make().shared() }
  3027. }
  3028. `
  3029. );
  3030. cg = await CodeGraph.init(tempDir, { index: true });
  3031. expect(callerNamesOf('Base::shared')).toEqual(['run']);
  3032. expect(callerNamesOf('Decoy::shared')).toEqual([]);
  3033. });
  3034. it('creates NO edge when neither the factory return type nor a supertype has the method (silent miss)', async () => {
  3035. fs.writeFileSync(
  3036. path.join(tempDir, 'Main.scala'),
  3037. `object Foo {
  3038. def create(): Bar = new Bar()
  3039. }
  3040. class Bar {
  3041. }
  3042. class Other {
  3043. def onlyOther(): Unit = {}
  3044. }
  3045. object Main {
  3046. def run(): Unit = { Foo.create().onlyOther() }
  3047. }
  3048. `
  3049. );
  3050. cg = await CodeGraph.init(tempDir, { index: true });
  3051. // Bar has no onlyOther() — must not mis-attach to the same-named Other::onlyOther.
  3052. expect(callerNamesOf('Other::onlyOther')).toEqual([]);
  3053. });
  3054. });
  3055. describe('Dart chained static-factory / factory-constructor call resolution (#645/#608 mechanism)', () => {
  3056. function callerNamesOf(qualifiedName: string): string[] {
  3057. const target = cg.getNodesByKind('method').find((n) => n.qualifiedName === qualifiedName);
  3058. if (!target) return [];
  3059. const names = cg
  3060. .getIncomingEdges(target.id)
  3061. .filter((e) => e.kind === 'calls')
  3062. .map((e) => cg.getNode(e.source)?.name)
  3063. .filter((n): n is string => !!n);
  3064. return [...new Set(names)].sort();
  3065. }
  3066. it('resolves a static-factory chain Foo.makeBar().doIt() to the return type, never a same-named decoy', async () => {
  3067. fs.writeFileSync(
  3068. path.join(tempDir, 'main.dart'),
  3069. `class Foo {
  3070. static Bar makeBar() => Bar();
  3071. }
  3072. class Bar {
  3073. void doIt() {}
  3074. }
  3075. class Decoy {
  3076. void doIt() {}
  3077. }
  3078. void run() {
  3079. Foo.makeBar().doIt();
  3080. }
  3081. `
  3082. );
  3083. cg = await CodeGraph.init(tempDir, { index: true });
  3084. expect(callerNamesOf('Bar::doIt')).toEqual(['run']);
  3085. expect(callerNamesOf('Decoy::doIt')).toEqual([]);
  3086. });
  3087. it('resolves a named factory-constructor chain Foo.create().ship() on the constructed class', async () => {
  3088. fs.writeFileSync(
  3089. path.join(tempDir, 'main.dart'),
  3090. `class Foo {
  3091. Foo._();
  3092. factory Foo.create() => Foo._();
  3093. void ship() {}
  3094. }
  3095. class Decoy {
  3096. void ship() {}
  3097. }
  3098. void run() {
  3099. Foo.create().ship();
  3100. }
  3101. `
  3102. );
  3103. cg = await CodeGraph.init(tempDir, { index: true });
  3104. // The factory constructor `Foo.create` is now a node whose return type is Foo,
  3105. // so `ship` resolves on Foo, not the same-named Decoy.
  3106. expect(callerNamesOf('Foo::ship')).toEqual(['run']);
  3107. expect(callerNamesOf('Decoy::ship')).toEqual([]);
  3108. });
  3109. it('resolves a constructor-receiver chain Bar().doIt() on the constructed class', async () => {
  3110. fs.writeFileSync(
  3111. path.join(tempDir, 'main.dart'),
  3112. `class Bar {
  3113. void doIt() {}
  3114. }
  3115. class Decoy {
  3116. void doIt() {}
  3117. }
  3118. void run() {
  3119. Bar().doIt();
  3120. }
  3121. `
  3122. );
  3123. cg = await CodeGraph.init(tempDir, { index: true });
  3124. expect(callerNamesOf('Bar::doIt')).toEqual(['run']);
  3125. expect(callerNamesOf('Decoy::doIt')).toEqual([]);
  3126. });
  3127. it('resolves a chained method inherited from a superclass the return type extends (via conformance)', async () => {
  3128. fs.writeFileSync(
  3129. path.join(tempDir, 'main.dart'),
  3130. `class Base {
  3131. void render() {}
  3132. }
  3133. class Widget extends Base {
  3134. static Widget make() => Widget();
  3135. }
  3136. class Decoy {
  3137. void render() {}
  3138. }
  3139. void run() {
  3140. Widget.make().render();
  3141. }
  3142. `
  3143. );
  3144. cg = await CodeGraph.init(tempDir, { index: true });
  3145. expect(callerNamesOf('Base::render')).toEqual(['run']);
  3146. expect(callerNamesOf('Decoy::render')).toEqual([]);
  3147. });
  3148. it('creates NO edge when neither the factory return type nor a supertype has the method (silent miss)', async () => {
  3149. fs.writeFileSync(
  3150. path.join(tempDir, 'main.dart'),
  3151. `class Foo {
  3152. static Bar makeBar() => Bar();
  3153. }
  3154. class Bar {
  3155. }
  3156. class Other {
  3157. void onlyOther() {}
  3158. }
  3159. void run() {
  3160. Foo.makeBar().onlyOther();
  3161. }
  3162. `
  3163. );
  3164. cg = await CodeGraph.init(tempDir, { index: true });
  3165. // Bar has no onlyOther() — must not mis-attach to the same-named Other::onlyOther.
  3166. expect(callerNamesOf('Other::onlyOther')).toEqual([]);
  3167. });
  3168. it('still extracts a method tree-sitter misparses as a constructor (@override + record return)', async () => {
  3169. // tree-sitter-dart misparses `@override (A, B) reduce()` — the annotation
  3170. // swallows the record return type, so `reduce()` looks like a single-
  3171. // identifier constructor_signature. It must NOT be skipped as an unnamed
  3172. // ctor (its name doesn't match the class); its body call must attribute to
  3173. // `reduce`, not the class.
  3174. fs.writeFileSync(
  3175. path.join(tempDir, 'main.dart'),
  3176. `class Base {}
  3177. class Action extends Base {
  3178. Action({required int x});
  3179. @override
  3180. (int, String) reduce() {
  3181. return (compute(), "y");
  3182. }
  3183. int compute() => 1;
  3184. }
  3185. `
  3186. );
  3187. cg = await CodeGraph.init(tempDir, { index: true });
  3188. // reduce must be a node and its body call must resolve to Action::compute.
  3189. expect(callerNamesOf('Action::compute')).toEqual(['reduce']);
  3190. });
  3191. it('keeps plain construction Foo() as instantiation, not a Foo::Foo method call', async () => {
  3192. // The unnamed constructor is intentionally NOT extracted as a `Foo::Foo`
  3193. // method, so `Foo(...)` resolves to the class (an `instantiates` edge),
  3194. // never hijacked into a call to a phantom constructor method.
  3195. fs.writeFileSync(
  3196. path.join(tempDir, 'main.dart'),
  3197. `class Widget {
  3198. final int x;
  3199. Widget(this.x);
  3200. }
  3201. void run() {
  3202. Widget(3);
  3203. }
  3204. `
  3205. );
  3206. cg = await CodeGraph.init(tempDir, { index: true });
  3207. // No Foo::Foo phantom method node.
  3208. expect(cg.getNodesByKind('method').some((n) => n.qualifiedName === 'Widget::Widget')).toBe(false);
  3209. // The construction resolves to the class as an `instantiates` edge.
  3210. const widget = cg.getNodesByKind('class').find((n) => n.name === 'Widget')!;
  3211. const incoming = cg.getIncomingEdges(widget.id);
  3212. expect(incoming.some((e) => e.kind === 'instantiates')).toBe(true);
  3213. });
  3214. });
  3215. describe('Objective-C chained message-send call resolution (#645/#608 mechanism)', () => {
  3216. function callerNamesOf(qualifiedName: string): string[] {
  3217. const target = cg.getNodesByKind('method').find((n) => n.qualifiedName === qualifiedName);
  3218. if (!target) return [];
  3219. const names = cg
  3220. .getIncomingEdges(target.id)
  3221. .filter((e) => e.kind === 'calls')
  3222. .map((e) => cg.getNode(e.source)?.name)
  3223. .filter((n): n is string => !!n);
  3224. return [...new Set(names)].sort();
  3225. }
  3226. it('resolves a chained message send [[Foo create] doIt] via the return type, never a same-named decoy', async () => {
  3227. fs.writeFileSync(
  3228. path.join(tempDir, 'main.m'),
  3229. `@interface Bar : NSObject
  3230. - (void)doIt;
  3231. @end
  3232. @implementation Bar
  3233. - (void)doIt {}
  3234. @end
  3235. @interface Decoy : NSObject
  3236. - (void)doIt;
  3237. @end
  3238. @implementation Decoy
  3239. - (void)doIt {}
  3240. @end
  3241. @interface Foo : NSObject
  3242. + (Bar *)create;
  3243. @end
  3244. @implementation Foo
  3245. + (Bar *)create { return nil; }
  3246. - (void)run { [[Foo create] doIt]; }
  3247. @end
  3248. `
  3249. );
  3250. cg = await CodeGraph.init(tempDir, { index: true });
  3251. expect(callerNamesOf('Bar::doIt')).toEqual(['run']);
  3252. expect(callerNamesOf('Decoy::doIt')).toEqual([]);
  3253. });
  3254. it('resolves a chained message whose method is inherited from a superclass (via conformance)', async () => {
  3255. fs.writeFileSync(
  3256. path.join(tempDir, 'main.m'),
  3257. `@interface Base : NSObject
  3258. - (void)render;
  3259. @end
  3260. @implementation Base
  3261. - (void)render {}
  3262. @end
  3263. @interface Widget : Base
  3264. @end
  3265. @implementation Widget
  3266. @end
  3267. @interface Decoy : NSObject
  3268. - (void)render;
  3269. @end
  3270. @implementation Decoy
  3271. - (void)render {}
  3272. @end
  3273. @interface Factory : NSObject
  3274. + (Widget *)make;
  3275. @end
  3276. @implementation Factory
  3277. + (Widget *)make { return nil; }
  3278. - (void)run { [[Factory make] render]; }
  3279. @end
  3280. `
  3281. );
  3282. cg = await CodeGraph.init(tempDir, { index: true });
  3283. expect(callerNamesOf('Base::render')).toEqual(['run']);
  3284. expect(callerNamesOf('Decoy::render')).toEqual([]);
  3285. });
  3286. it('creates NO edge when the factory return type lacks the method (silent miss)', async () => {
  3287. fs.writeFileSync(
  3288. path.join(tempDir, 'main.m'),
  3289. `@interface Bar : NSObject
  3290. @end
  3291. @implementation Bar
  3292. @end
  3293. @interface Other : NSObject
  3294. - (void)onlyOther;
  3295. @end
  3296. @implementation Other
  3297. - (void)onlyOther {}
  3298. @end
  3299. @interface Foo : NSObject
  3300. + (Bar *)create;
  3301. @end
  3302. @implementation Foo
  3303. + (Bar *)create { return nil; }
  3304. - (void)run { [[Foo create] onlyOther]; }
  3305. @end
  3306. `
  3307. );
  3308. cg = await CodeGraph.init(tempDir, { index: true });
  3309. // Bar has no onlyOther — must not mis-attach to the same-named Other::onlyOther.
  3310. expect(callerNamesOf('Other::onlyOther')).toEqual([]);
  3311. });
  3312. it('resolves a singleton chain [[Cache shared] clearAll] whose factory returns nonnull instancetype', async () => {
  3313. // The factory returns `nonnull instancetype` — the nullability qualifier must
  3314. // be skipped (not captured AS the type), and an instancetype class-message
  3315. // factory returns the receiver class, so clearAll resolves on Cache, never a
  3316. // same-named decoy. (Regression for both: the captured-`nonnull` bug and the
  3317. // ubiquitous `[[X alloc] init]` / singleton pattern.)
  3318. fs.writeFileSync(
  3319. path.join(tempDir, 'main.m'),
  3320. `@interface Cache : NSObject
  3321. + (nonnull instancetype)shared;
  3322. - (void)clearAll;
  3323. @end
  3324. @implementation Cache
  3325. + (nonnull instancetype)shared { return nil; }
  3326. - (void)clearAll {}
  3327. @end
  3328. @interface Decoy : NSObject
  3329. - (void)clearAll;
  3330. @end
  3331. @implementation Decoy
  3332. - (void)clearAll {}
  3333. @end
  3334. @interface Caller : NSObject
  3335. - (void)run;
  3336. @end
  3337. @implementation Caller
  3338. - (void)run { [[Cache shared] clearAll]; }
  3339. @end
  3340. `
  3341. );
  3342. cg = await CodeGraph.init(tempDir, { index: true });
  3343. expect(callerNamesOf('Cache::clearAll')).toEqual(['run']);
  3344. expect(callerNamesOf('Decoy::clearAll')).toEqual([]);
  3345. });
  3346. });
  3347. describe('Pascal/Delphi chained static-factory call resolution (#645/#608 mechanism)', () => {
  3348. function callerNamesOf(qualifiedName: string): string[] {
  3349. const target = cg.getNodesByKind('method').find((n) => n.qualifiedName === qualifiedName);
  3350. if (!target) return [];
  3351. const names = cg
  3352. .getIncomingEdges(target.id)
  3353. .filter((e) => e.kind === 'calls')
  3354. .map((e) => cg.getNode(e.source)?.name)
  3355. .filter((n): n is string => !!n);
  3356. return [...new Set(names)].sort();
  3357. }
  3358. function isCalled(qn: string): boolean {
  3359. const t = cg.getNodesByKind('method').find((n) => n.qualifiedName === qn);
  3360. return !!t && cg.getIncomingEdges(t.id).some((e) => e.kind === 'calls');
  3361. }
  3362. it('resolves a chained factory call TFoo.GetInstance().DoIt() via the return type, never a same-named decoy', async () => {
  3363. fs.writeFileSync(
  3364. path.join(tempDir, 'main.pas'),
  3365. `unit Main;
  3366. interface
  3367. type
  3368. TBar = class
  3369. procedure DoIt;
  3370. end;
  3371. TDecoy = class
  3372. procedure DoIt;
  3373. end;
  3374. TFoo = class
  3375. class function GetInstance: TBar;
  3376. end;
  3377. implementation
  3378. procedure TBar.DoIt; begin end;
  3379. procedure TDecoy.DoIt; begin end;
  3380. class function TFoo.GetInstance: TBar; begin Result := nil; end;
  3381. procedure Run;
  3382. begin
  3383. TFoo.GetInstance().DoIt();
  3384. end;
  3385. end.
  3386. `
  3387. );
  3388. cg = await CodeGraph.init(tempDir, { index: true });
  3389. expect(isCalled('TBar::DoIt')).toBe(true);
  3390. expect(isCalled('TDecoy::DoIt')).toBe(false);
  3391. });
  3392. it('resolves a constructor chain TFoo.Create().Configure() on the constructed class', async () => {
  3393. fs.writeFileSync(
  3394. path.join(tempDir, 'main.pas'),
  3395. `unit Main;
  3396. interface
  3397. type
  3398. TFoo = class
  3399. constructor Create;
  3400. procedure Configure;
  3401. end;
  3402. TDecoy = class
  3403. procedure Configure;
  3404. end;
  3405. implementation
  3406. constructor TFoo.Create; begin end;
  3407. procedure TFoo.Configure; begin end;
  3408. procedure TDecoy.Configure; begin end;
  3409. procedure Run;
  3410. begin
  3411. TFoo.Create().Configure();
  3412. end;
  3413. end.
  3414. `
  3415. );
  3416. cg = await CodeGraph.init(tempDir, { index: true });
  3417. // A constructor returns its own class (no `: TBar` annotation), so Configure
  3418. // resolves on TFoo, not the same-named decoy.
  3419. expect(isCalled('TFoo::Configure')).toBe(true);
  3420. expect(isCalled('TDecoy::Configure')).toBe(false);
  3421. });
  3422. it('resolves a typecast chain TFoo(x).DoIt() on the cast type', async () => {
  3423. fs.writeFileSync(
  3424. path.join(tempDir, 'main.pas'),
  3425. `unit Main;
  3426. interface
  3427. type
  3428. TFoo = class
  3429. procedure DoIt;
  3430. end;
  3431. TDecoy = class
  3432. procedure DoIt;
  3433. end;
  3434. implementation
  3435. procedure TFoo.DoIt; begin end;
  3436. procedure TDecoy.DoIt; begin end;
  3437. procedure Run(obj: TObject);
  3438. begin
  3439. TFoo(obj).DoIt();
  3440. end;
  3441. end.
  3442. `
  3443. );
  3444. cg = await CodeGraph.init(tempDir, { index: true });
  3445. expect(isCalled('TFoo::DoIt')).toBe(true);
  3446. expect(isCalled('TDecoy::DoIt')).toBe(false);
  3447. });
  3448. it('creates NO edge when the factory return type lacks the method (silent miss)', async () => {
  3449. fs.writeFileSync(
  3450. path.join(tempDir, 'main.pas'),
  3451. `unit Main;
  3452. interface
  3453. type
  3454. TBar = class
  3455. end;
  3456. TOther = class
  3457. procedure OnlyOther;
  3458. end;
  3459. TFoo = class
  3460. class function GetInstance: TBar;
  3461. end;
  3462. implementation
  3463. procedure TOther.OnlyOther; begin end;
  3464. class function TFoo.GetInstance: TBar; begin Result := nil; end;
  3465. procedure Run;
  3466. begin
  3467. TFoo.GetInstance().OnlyOther();
  3468. end;
  3469. end.
  3470. `
  3471. );
  3472. cg = await CodeGraph.init(tempDir, { index: true });
  3473. // TBar has no OnlyOther — must not mis-attach to the same-named TOther::OnlyOther.
  3474. expect(isCalled('TOther::OnlyOther')).toBe(false);
  3475. });
  3476. it('extracts paren-less method calls (Pascal lets a no-arg method drop its parens)', async () => {
  3477. fs.writeFileSync(
  3478. path.join(tempDir, 'main.pas'),
  3479. `unit Main;
  3480. interface
  3481. type
  3482. TFoo = class
  3483. procedure DoThing;
  3484. procedure Reset;
  3485. end;
  3486. implementation
  3487. procedure TFoo.DoThing; begin end;
  3488. procedure TFoo.Reset; begin end;
  3489. procedure Run(f: TFoo);
  3490. begin
  3491. f.DoThing;
  3492. f.Reset;
  3493. end;
  3494. end.
  3495. `
  3496. );
  3497. cg = await CodeGraph.init(tempDir, { index: true });
  3498. expect(isCalled('TFoo::DoThing')).toBe(true);
  3499. expect(isCalled('TFoo::Reset')).toBe(true);
  3500. });
  3501. it('resolves a PAREN-LESS chained factory call TFoo.GetInstance.DoIt via the return type', async () => {
  3502. fs.writeFileSync(
  3503. path.join(tempDir, 'main.pas'),
  3504. `unit Main;
  3505. interface
  3506. type
  3507. TBar = class
  3508. procedure DoIt;
  3509. end;
  3510. TDecoy = class
  3511. procedure DoIt;
  3512. end;
  3513. TFoo = class
  3514. class function GetInstance: TBar;
  3515. end;
  3516. implementation
  3517. procedure TBar.DoIt; begin end;
  3518. procedure TDecoy.DoIt; begin end;
  3519. class function TFoo.GetInstance: TBar; begin Result := nil; end;
  3520. procedure Run;
  3521. begin
  3522. TFoo.GetInstance.DoIt;
  3523. end;
  3524. end.
  3525. `
  3526. );
  3527. cg = await CodeGraph.init(tempDir, { index: true });
  3528. expect(isCalled('TBar::DoIt')).toBe(true);
  3529. expect(isCalled('TDecoy::DoIt')).toBe(false);
  3530. });
  3531. it('does NOT turn a property write/read into a call edge (only statement-level dots are calls)', async () => {
  3532. fs.writeFileSync(
  3533. path.join(tempDir, 'main.pas'),
  3534. `unit Main;
  3535. interface
  3536. type
  3537. TFoo = class
  3538. function GetValue: Integer;
  3539. procedure SetValue(v: Integer);
  3540. property Value: Integer read GetValue write SetValue;
  3541. end;
  3542. implementation
  3543. function TFoo.GetValue: Integer; begin Result := 0; end;
  3544. procedure TFoo.SetValue(v: Integer); begin end;
  3545. procedure Run(f: TFoo);
  3546. var x: Integer;
  3547. begin
  3548. f.Value := 5;
  3549. x := f.Value;
  3550. end;
  3551. end.
  3552. `
  3553. );
  3554. cg = await CodeGraph.init(tempDir, { index: true });
  3555. // A property read/write is a bare dot in assignment position, not a statement,
  3556. // so it must not be mis-extracted as a call to the property's getter/setter.
  3557. expect(isCalled('TFoo::GetValue')).toBe(false);
  3558. expect(isCalled('TFoo::SetValue')).toBe(false);
  3559. });
  3560. it('attributes an implementation-only free procedure\'s calls to the procedure, not the file', async () => {
  3561. fs.writeFileSync(
  3562. path.join(tempDir, 'main.pas'),
  3563. `unit Main;
  3564. interface
  3565. type
  3566. TTgt = class
  3567. procedure Hit;
  3568. end;
  3569. TFoo = class
  3570. procedure DoStuff;
  3571. end;
  3572. implementation
  3573. procedure TTgt.Hit; begin end;
  3574. procedure TFoo.DoStuff; var t: TTgt; begin t.Hit; end;
  3575. procedure Helper; var t: TTgt; begin t.Hit; end;
  3576. `
  3577. );
  3578. cg = await CodeGraph.init(tempDir, { index: true });
  3579. // `Helper` is implementation-only (no interface decl, not a method), but its
  3580. // body's call must attribute to `Helper`, not the file/module — alongside the
  3581. // method `DoStuff`.
  3582. expect(callerNamesOf('TTgt::Hit')).toEqual(['DoStuff', 'Helper']);
  3583. });
  3584. });
  3585. });