@opensip-cli/graph-typescript 0.1.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/LICENSE +202 -0
- package/NOTICE +8 -0
- package/README.md +31 -0
- package/dist/__tests__/_pipeline.d.ts +40 -0
- package/dist/__tests__/_pipeline.d.ts.map +1 -0
- package/dist/__tests__/_pipeline.js +67 -0
- package/dist/__tests__/_pipeline.js.map +1 -0
- package/dist/__tests__/acceptance/_fixture-runner.d.ts +13 -0
- package/dist/__tests__/acceptance/_fixture-runner.d.ts.map +1 -0
- package/dist/__tests__/acceptance/_fixture-runner.js +55 -0
- package/dist/__tests__/acceptance/_fixture-runner.js.map +1 -0
- package/dist/__tests__/acceptance/alias-resolution.test.d.ts +8 -0
- package/dist/__tests__/acceptance/alias-resolution.test.d.ts.map +1 -0
- package/dist/__tests__/acceptance/alias-resolution.test.js +39 -0
- package/dist/__tests__/acceptance/alias-resolution.test.js.map +1 -0
- package/dist/__tests__/acceptance/arrow-callback-resolution.test.d.ts +8 -0
- package/dist/__tests__/acceptance/arrow-callback-resolution.test.d.ts.map +1 -0
- package/dist/__tests__/acceptance/arrow-callback-resolution.test.js +33 -0
- package/dist/__tests__/acceptance/arrow-callback-resolution.test.js.map +1 -0
- package/dist/__tests__/acceptance/constructor-calls.test.d.ts +7 -0
- package/dist/__tests__/acceptance/constructor-calls.test.d.ts.map +1 -0
- package/dist/__tests__/acceptance/constructor-calls.test.js +36 -0
- package/dist/__tests__/acceptance/constructor-calls.test.js.map +1 -0
- package/dist/__tests__/acceptance/interface-dispatch.test.d.ts +8 -0
- package/dist/__tests__/acceptance/interface-dispatch.test.d.ts.map +1 -0
- package/dist/__tests__/acceptance/interface-dispatch.test.js +44 -0
- package/dist/__tests__/acceptance/interface-dispatch.test.js.map +1 -0
- package/dist/__tests__/acceptance/inventory-completeness.test.d.ts +9 -0
- package/dist/__tests__/acceptance/inventory-completeness.test.d.ts.map +1 -0
- package/dist/__tests__/acceptance/inventory-completeness.test.js +72 -0
- package/dist/__tests__/acceptance/inventory-completeness.test.js.map +1 -0
- package/dist/__tests__/acceptance/jsx-resolution.test.d.ts +7 -0
- package/dist/__tests__/acceptance/jsx-resolution.test.d.ts.map +1 -0
- package/dist/__tests__/acceptance/jsx-resolution.test.js +46 -0
- package/dist/__tests__/acceptance/jsx-resolution.test.js.map +1 -0
- package/dist/__tests__/acceptance/module-init.test.d.ts +10 -0
- package/dist/__tests__/acceptance/module-init.test.d.ts.map +1 -0
- package/dist/__tests__/acceptance/module-init.test.js +40 -0
- package/dist/__tests__/acceptance/module-init.test.js.map +1 -0
- package/dist/__tests__/acceptance/projectdir-normalization.test.d.ts +7 -0
- package/dist/__tests__/acceptance/projectdir-normalization.test.d.ts.map +1 -0
- package/dist/__tests__/acceptance/projectdir-normalization.test.js +51 -0
- package/dist/__tests__/acceptance/projectdir-normalization.test.js.map +1 -0
- package/dist/__tests__/body-twin-edges.test.d.ts +12 -0
- package/dist/__tests__/body-twin-edges.test.d.ts.map +1 -0
- package/dist/__tests__/body-twin-edges.test.js +85 -0
- package/dist/__tests__/body-twin-edges.test.js.map +1 -0
- package/dist/__tests__/cache-key.test.d.ts +8 -0
- package/dist/__tests__/cache-key.test.d.ts.map +1 -0
- package/dist/__tests__/cache-key.test.js +86 -0
- package/dist/__tests__/cache-key.test.js.map +1 -0
- package/dist/__tests__/depends-on-emission.test.d.ts +19 -0
- package/dist/__tests__/depends-on-emission.test.d.ts.map +1 -0
- package/dist/__tests__/depends-on-emission.test.js +165 -0
- package/dist/__tests__/depends-on-emission.test.js.map +1 -0
- package/dist/__tests__/discover.test.d.ts +9 -0
- package/dist/__tests__/discover.test.d.ts.map +1 -0
- package/dist/__tests__/discover.test.js +72 -0
- package/dist/__tests__/discover.test.js.map +1 -0
- package/dist/__tests__/edge-helpers/method-target.test.d.ts +8 -0
- package/dist/__tests__/edge-helpers/method-target.test.d.ts.map +1 -0
- package/dist/__tests__/edge-helpers/method-target.test.js +96 -0
- package/dist/__tests__/edge-helpers/method-target.test.js.map +1 -0
- package/dist/__tests__/edge-helpers/resolve-decl.test.d.ts +13 -0
- package/dist/__tests__/edge-helpers/resolve-decl.test.d.ts.map +1 -0
- package/dist/__tests__/edge-helpers/resolve-decl.test.js +176 -0
- package/dist/__tests__/edge-helpers/resolve-decl.test.js.map +1 -0
- package/dist/__tests__/edge-resolvers/branches.test.d.ts +11 -0
- package/dist/__tests__/edge-resolvers/branches.test.d.ts.map +1 -0
- package/dist/__tests__/edge-resolvers/branches.test.js +305 -0
- package/dist/__tests__/edge-resolvers/branches.test.js.map +1 -0
- package/dist/__tests__/edge-resolvers/contract.test.d.ts +8 -0
- package/dist/__tests__/edge-resolvers/contract.test.d.ts.map +1 -0
- package/dist/__tests__/edge-resolvers/contract.test.js +30 -0
- package/dist/__tests__/edge-resolvers/contract.test.js.map +1 -0
- package/dist/__tests__/edge-resolvers/resolver-units.test.d.ts +17 -0
- package/dist/__tests__/edge-resolvers/resolver-units.test.d.ts.map +1 -0
- package/dist/__tests__/edge-resolvers/resolver-units.test.js +286 -0
- package/dist/__tests__/edge-resolvers/resolver-units.test.js.map +1 -0
- package/dist/__tests__/fast-vs-exact.test.d.ts +16 -0
- package/dist/__tests__/fast-vs-exact.test.d.ts.map +1 -0
- package/dist/__tests__/fast-vs-exact.test.js +116 -0
- package/dist/__tests__/fast-vs-exact.test.js.map +1 -0
- package/dist/__tests__/graph-cli.test.d.ts +9 -0
- package/dist/__tests__/graph-cli.test.d.ts.map +1 -0
- package/dist/__tests__/graph-cli.test.js +417 -0
- package/dist/__tests__/graph-cli.test.js.map +1 -0
- package/dist/__tests__/heap-preflight.test.d.ts +10 -0
- package/dist/__tests__/heap-preflight.test.d.ts.map +1 -0
- package/dist/__tests__/heap-preflight.test.js +166 -0
- package/dist/__tests__/heap-preflight.test.js.map +1 -0
- package/dist/__tests__/inventory-differential.test.d.ts +15 -0
- package/dist/__tests__/inventory-differential.test.d.ts.map +1 -0
- package/dist/__tests__/inventory-differential.test.js +319 -0
- package/dist/__tests__/inventory-differential.test.js.map +1 -0
- package/dist/__tests__/inventory-helpers/hash-body.test.d.ts +11 -0
- package/dist/__tests__/inventory-helpers/hash-body.test.d.ts.map +1 -0
- package/dist/__tests__/inventory-helpers/hash-body.test.js +34 -0
- package/dist/__tests__/inventory-helpers/hash-body.test.js.map +1 -0
- package/dist/__tests__/inventory-helpers/synthesize-name.test.d.ts +9 -0
- package/dist/__tests__/inventory-helpers/synthesize-name.test.d.ts.map +1 -0
- package/dist/__tests__/inventory-helpers/synthesize-name.test.js +30 -0
- package/dist/__tests__/inventory-helpers/synthesize-name.test.js.map +1 -0
- package/dist/__tests__/inventory-property-tests.test.d.ts +24 -0
- package/dist/__tests__/inventory-property-tests.test.d.ts.map +1 -0
- package/dist/__tests__/inventory-property-tests.test.js +521 -0
- package/dist/__tests__/inventory-property-tests.test.js.map +1 -0
- package/dist/__tests__/inventory-shape-coverage.test.d.ts +16 -0
- package/dist/__tests__/inventory-shape-coverage.test.d.ts.map +1 -0
- package/dist/__tests__/inventory-shape-coverage.test.js +586 -0
- package/dist/__tests__/inventory-shape-coverage.test.js.map +1 -0
- package/dist/__tests__/inventory-visitors/contract.test.d.ts +9 -0
- package/dist/__tests__/inventory-visitors/contract.test.d.ts.map +1 -0
- package/dist/__tests__/inventory-visitors/contract.test.js +33 -0
- package/dist/__tests__/inventory-visitors/contract.test.js.map +1 -0
- package/dist/__tests__/lang-adapter-contract.test.d.ts +19 -0
- package/dist/__tests__/lang-adapter-contract.test.d.ts.map +1 -0
- package/dist/__tests__/lang-adapter-contract.test.js +880 -0
- package/dist/__tests__/lang-adapter-contract.test.js.map +1 -0
- package/dist/__tests__/lang-adapter-registry.test.d.ts +10 -0
- package/dist/__tests__/lang-adapter-registry.test.d.ts.map +1 -0
- package/dist/__tests__/lang-adapter-registry.test.js +151 -0
- package/dist/__tests__/lang-adapter-registry.test.js.map +1 -0
- package/dist/__tests__/normalize-project-dir.test.d.ts +5 -0
- package/dist/__tests__/normalize-project-dir.test.d.ts.map +1 -0
- package/dist/__tests__/normalize-project-dir.test.js +47 -0
- package/dist/__tests__/normalize-project-dir.test.js.map +1 -0
- package/dist/__tests__/orchestrate.test.d.ts +8 -0
- package/dist/__tests__/orchestrate.test.d.ts.map +1 -0
- package/dist/__tests__/orchestrate.test.js +213 -0
- package/dist/__tests__/orchestrate.test.js.map +1 -0
- package/dist/__tests__/parse-fast.test.d.ts +9 -0
- package/dist/__tests__/parse-fast.test.d.ts.map +1 -0
- package/dist/__tests__/parse-fast.test.js +114 -0
- package/dist/__tests__/parse-fast.test.js.map +1 -0
- package/dist/__tests__/rules/_helpers.d.ts +18 -0
- package/dist/__tests__/rules/_helpers.d.ts.map +1 -0
- package/dist/__tests__/rules/_helpers.js +62 -0
- package/dist/__tests__/rules/_helpers.js.map +1 -0
- package/dist/__tests__/rules/duplicated-function-body.test.d.ts +5 -0
- package/dist/__tests__/rules/duplicated-function-body.test.d.ts.map +1 -0
- package/dist/__tests__/rules/duplicated-function-body.test.js +39 -0
- package/dist/__tests__/rules/duplicated-function-body.test.js.map +1 -0
- package/dist/__tests__/rules/orphan-subtree.test.d.ts +5 -0
- package/dist/__tests__/rules/orphan-subtree.test.d.ts.map +1 -0
- package/dist/__tests__/rules/orphan-subtree.test.js +75 -0
- package/dist/__tests__/rules/orphan-subtree.test.js.map +1 -0
- package/dist/__tests__/rules/rule-hints-integration.test.d.ts +20 -0
- package/dist/__tests__/rules/rule-hints-integration.test.d.ts.map +1 -0
- package/dist/__tests__/rules/rule-hints-integration.test.js +279 -0
- package/dist/__tests__/rules/rule-hints-integration.test.js.map +1 -0
- package/dist/__tests__/tool-register.test.d.ts +16 -0
- package/dist/__tests__/tool-register.test.d.ts.map +1 -0
- package/dist/__tests__/tool-register.test.js +210 -0
- package/dist/__tests__/tool-register.test.js.map +1 -0
- package/dist/__tests__/value-reference-unit.test.d.ts +13 -0
- package/dist/__tests__/value-reference-unit.test.d.ts.map +1 -0
- package/dist/__tests__/value-reference-unit.test.js +226 -0
- package/dist/__tests__/value-reference-unit.test.js.map +1 -0
- package/dist/__tests__/value-reference.test.d.ts +15 -0
- package/dist/__tests__/value-reference.test.d.ts.map +1 -0
- package/dist/__tests__/value-reference.test.js +115 -0
- package/dist/__tests__/value-reference.test.js.map +1 -0
- package/dist/__tests__/walk-fast.test.d.ts +8 -0
- package/dist/__tests__/walk-fast.test.d.ts.map +1 -0
- package/dist/__tests__/walk-fast.test.js +51 -0
- package/dist/__tests__/walk-fast.test.js.map +1 -0
- package/dist/__tests__/walk-reexports.test.d.ts +7 -0
- package/dist/__tests__/walk-reexports.test.d.ts.map +1 -0
- package/dist/__tests__/walk-reexports.test.js +79 -0
- package/dist/__tests__/walk-reexports.test.js.map +1 -0
- package/dist/cache-key.d.ts +41 -0
- package/dist/cache-key.d.ts.map +1 -0
- package/dist/cache-key.js +94 -0
- package/dist/cache-key.js.map +1 -0
- package/dist/discover.d.ts +25 -0
- package/dist/discover.d.ts.map +1 -0
- package/dist/discover.js +124 -0
- package/dist/discover.js.map +1 -0
- package/dist/edge-helpers/cross-package-context.d.ts +34 -0
- package/dist/edge-helpers/cross-package-context.d.ts.map +1 -0
- package/dist/edge-helpers/cross-package-context.js +97 -0
- package/dist/edge-helpers/cross-package-context.js.map +1 -0
- package/dist/edge-helpers/declaration-to-node.d.ts +58 -0
- package/dist/edge-helpers/declaration-to-node.d.ts.map +1 -0
- package/dist/edge-helpers/declaration-to-node.js +93 -0
- package/dist/edge-helpers/declaration-to-node.js.map +1 -0
- package/dist/edge-helpers/find-catalog-entry.d.ts +24 -0
- package/dist/edge-helpers/find-catalog-entry.d.ts.map +1 -0
- package/dist/edge-helpers/find-catalog-entry.js +45 -0
- package/dist/edge-helpers/find-catalog-entry.js.map +1 -0
- package/dist/edge-helpers/method-target.d.ts +22 -0
- package/dist/edge-helpers/method-target.d.ts.map +1 -0
- package/dist/edge-helpers/method-target.js +46 -0
- package/dist/edge-helpers/method-target.js.map +1 -0
- package/dist/edge-helpers/resolution-trace.d.ts +24 -0
- package/dist/edge-helpers/resolution-trace.d.ts.map +1 -0
- package/dist/edge-helpers/resolution-trace.js +38 -0
- package/dist/edge-helpers/resolution-trace.js.map +1 -0
- package/dist/edge-helpers/resolve-decl.d.ts +44 -0
- package/dist/edge-helpers/resolve-decl.d.ts.map +1 -0
- package/dist/edge-helpers/resolve-decl.js +170 -0
- package/dist/edge-helpers/resolve-decl.js.map +1 -0
- package/dist/edge-helpers/unalias-symbol.d.ts +10 -0
- package/dist/edge-helpers/unalias-symbol.d.ts.map +1 -0
- package/dist/edge-helpers/unalias-symbol.js +29 -0
- package/dist/edge-helpers/unalias-symbol.js.map +1 -0
- package/dist/edge-resolvers/__tests__/boundary.test.d.ts +15 -0
- package/dist/edge-resolvers/__tests__/boundary.test.d.ts.map +1 -0
- package/dist/edge-resolvers/__tests__/boundary.test.js +227 -0
- package/dist/edge-resolvers/__tests__/boundary.test.js.map +1 -0
- package/dist/edge-resolvers/__tests__/callee-anchor.test.d.ts +10 -0
- package/dist/edge-resolvers/__tests__/callee-anchor.test.d.ts.map +1 -0
- package/dist/edge-resolvers/__tests__/callee-anchor.test.js +63 -0
- package/dist/edge-resolvers/__tests__/callee-anchor.test.js.map +1 -0
- package/dist/edge-resolvers/__tests__/syntactic.test.d.ts +12 -0
- package/dist/edge-resolvers/__tests__/syntactic.test.d.ts.map +1 -0
- package/dist/edge-resolvers/__tests__/syntactic.test.js +215 -0
- package/dist/edge-resolvers/__tests__/syntactic.test.js.map +1 -0
- package/dist/edge-resolvers/boundary.d.ts +41 -0
- package/dist/edge-resolvers/boundary.d.ts.map +1 -0
- package/dist/edge-resolvers/boundary.js +130 -0
- package/dist/edge-resolvers/boundary.js.map +1 -0
- package/dist/edge-resolvers/catalog-fallback.d.ts +13 -0
- package/dist/edge-resolvers/catalog-fallback.d.ts.map +1 -0
- package/dist/edge-resolvers/catalog-fallback.js +30 -0
- package/dist/edge-resolvers/catalog-fallback.js.map +1 -0
- package/dist/edge-resolvers/direct-call.d.ts +10 -0
- package/dist/edge-resolvers/direct-call.d.ts.map +1 -0
- package/dist/edge-resolvers/direct-call.js +45 -0
- package/dist/edge-resolvers/direct-call.js.map +1 -0
- package/dist/edge-resolvers/jsx-element.d.ts +16 -0
- package/dist/edge-resolvers/jsx-element.d.ts.map +1 -0
- package/dist/edge-resolvers/jsx-element.js +67 -0
- package/dist/edge-resolvers/jsx-element.js.map +1 -0
- package/dist/edge-resolvers/new-expression.d.ts +11 -0
- package/dist/edge-resolvers/new-expression.d.ts.map +1 -0
- package/dist/edge-resolvers/new-expression.js +56 -0
- package/dist/edge-resolvers/new-expression.js.map +1 -0
- package/dist/edge-resolvers/polymorphic.d.ts +8 -0
- package/dist/edge-resolvers/polymorphic.d.ts.map +1 -0
- package/dist/edge-resolvers/polymorphic.js +57 -0
- package/dist/edge-resolvers/polymorphic.js.map +1 -0
- package/dist/edge-resolvers/property-access.d.ts +10 -0
- package/dist/edge-resolvers/property-access.d.ts.map +1 -0
- package/dist/edge-resolvers/property-access.js +56 -0
- package/dist/edge-resolvers/property-access.js.map +1 -0
- package/dist/edge-resolvers/syntactic.d.ts +105 -0
- package/dist/edge-resolvers/syntactic.d.ts.map +1 -0
- package/dist/edge-resolvers/syntactic.js +294 -0
- package/dist/edge-resolvers/syntactic.js.map +1 -0
- package/dist/edge-resolvers/types.d.ts +37 -0
- package/dist/edge-resolvers/types.d.ts.map +1 -0
- package/dist/edge-resolvers/types.js +10 -0
- package/dist/edge-resolvers/types.js.map +1 -0
- package/dist/edges-value-reference.d.ts +26 -0
- package/dist/edges-value-reference.d.ts.map +1 -0
- package/dist/edges-value-reference.js +138 -0
- package/dist/edges-value-reference.js.map +1 -0
- package/dist/edges.d.ts +65 -0
- package/dist/edges.d.ts.map +1 -0
- package/dist/edges.js +392 -0
- package/dist/edges.js.map +1 -0
- package/dist/index.d.ts +47 -0
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +346 -0
- package/dist/index.js.map +1 -0
- package/dist/inventory-helpers/classify-visibility.d.ts +13 -0
- package/dist/inventory-helpers/classify-visibility.d.ts.map +1 -0
- package/dist/inventory-helpers/classify-visibility.js +56 -0
- package/dist/inventory-helpers/classify-visibility.js.map +1 -0
- package/dist/inventory-helpers/extract-decorators.d.ts +6 -0
- package/dist/inventory-helpers/extract-decorators.d.ts.map +1 -0
- package/dist/inventory-helpers/extract-decorators.js +33 -0
- package/dist/inventory-helpers/extract-decorators.js.map +1 -0
- package/dist/inventory-helpers/extract-params.d.ts +7 -0
- package/dist/inventory-helpers/extract-params.d.ts.map +1 -0
- package/dist/inventory-helpers/extract-params.js +28 -0
- package/dist/inventory-helpers/extract-params.js.map +1 -0
- package/dist/inventory-helpers/hash-body.d.ts +43 -0
- package/dist/inventory-helpers/hash-body.d.ts.map +1 -0
- package/dist/inventory-helpers/hash-body.js +52 -0
- package/dist/inventory-helpers/hash-body.js.map +1 -0
- package/dist/inventory-helpers/synthesize-name.d.ts +16 -0
- package/dist/inventory-helpers/synthesize-name.d.ts.map +1 -0
- package/dist/inventory-helpers/synthesize-name.js +17 -0
- package/dist/inventory-helpers/synthesize-name.js.map +1 -0
- package/dist/inventory-visitors/arrow-function.d.ts +8 -0
- package/dist/inventory-visitors/arrow-function.d.ts.map +1 -0
- package/dist/inventory-visitors/arrow-function.js +55 -0
- package/dist/inventory-visitors/arrow-function.js.map +1 -0
- package/dist/inventory-visitors/class-static-init.d.ts +17 -0
- package/dist/inventory-visitors/class-static-init.d.ts.map +1 -0
- package/dist/inventory-visitors/class-static-init.js +45 -0
- package/dist/inventory-visitors/class-static-init.js.map +1 -0
- package/dist/inventory-visitors/constructor-declaration.d.ts +7 -0
- package/dist/inventory-visitors/constructor-declaration.d.ts.map +1 -0
- package/dist/inventory-visitors/constructor-declaration.js +47 -0
- package/dist/inventory-visitors/constructor-declaration.js.map +1 -0
- package/dist/inventory-visitors/function-declaration.d.ts +7 -0
- package/dist/inventory-visitors/function-declaration.d.ts.map +1 -0
- package/dist/inventory-visitors/function-declaration.js +59 -0
- package/dist/inventory-visitors/function-declaration.js.map +1 -0
- package/dist/inventory-visitors/function-expression.d.ts +7 -0
- package/dist/inventory-visitors/function-expression.d.ts.map +1 -0
- package/dist/inventory-visitors/function-expression.js +56 -0
- package/dist/inventory-visitors/function-expression.js.map +1 -0
- package/dist/inventory-visitors/getter-setter.d.ts +7 -0
- package/dist/inventory-visitors/getter-setter.d.ts.map +1 -0
- package/dist/inventory-visitors/getter-setter.js +63 -0
- package/dist/inventory-visitors/getter-setter.js.map +1 -0
- package/dist/inventory-visitors/method-declaration.d.ts +7 -0
- package/dist/inventory-visitors/method-declaration.d.ts.map +1 -0
- package/dist/inventory-visitors/method-declaration.js +75 -0
- package/dist/inventory-visitors/method-declaration.js.map +1 -0
- package/dist/inventory-visitors/module-init.d.ts +15 -0
- package/dist/inventory-visitors/module-init.d.ts.map +1 -0
- package/dist/inventory-visitors/module-init.js +40 -0
- package/dist/inventory-visitors/module-init.js.map +1 -0
- package/dist/inventory-visitors/types.d.ts +26 -0
- package/dist/inventory-visitors/types.d.ts.map +1 -0
- package/dist/inventory-visitors/types.js +14 -0
- package/dist/inventory-visitors/types.js.map +1 -0
- package/dist/normalize-project-dir.d.ts +14 -0
- package/dist/normalize-project-dir.d.ts.map +1 -0
- package/dist/normalize-project-dir.js +36 -0
- package/dist/normalize-project-dir.js.map +1 -0
- package/dist/parse-fast.d.ts +41 -0
- package/dist/parse-fast.d.ts.map +1 -0
- package/dist/parse-fast.js +91 -0
- package/dist/parse-fast.js.map +1 -0
- package/dist/parse.d.ts +42 -0
- package/dist/parse.d.ts.map +1 -0
- package/dist/parse.js +75 -0
- package/dist/parse.js.map +1 -0
- package/dist/test-file.d.ts +7 -0
- package/dist/test-file.d.ts.map +1 -0
- package/dist/test-file.js +42 -0
- package/dist/test-file.js.map +1 -0
- package/dist/walk.d.ts +125 -0
- package/dist/walk.d.ts.map +1 -0
- package/dist/walk.js +393 -0
- package/dist/walk.js.map +1 -0
- package/package.json +57 -0
|
@@ -0,0 +1,286 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Direct unit tests for the individual edge resolvers, driven against a
|
|
3
|
+
* real `ts.Program` built from in-memory fixtures.
|
|
4
|
+
*
|
|
5
|
+
* The acceptance + branches fixtures exercise the happy paths via the
|
|
6
|
+
* full pipeline; this file targets the per-resolver SHORT-CIRCUIT
|
|
7
|
+
* branches that are hard to hit end-to-end: the `!isIdentifier`,
|
|
8
|
+
* `!symbol`, `!declNode`, and `hash === null` returns, plus the
|
|
9
|
+
* single-vs-multi confidence split in the polymorphic resolver and the
|
|
10
|
+
* `findCatalogEntry`-miss fall-through.
|
|
11
|
+
*
|
|
12
|
+
* Each test parses a tiny program, walks it to build the SAME catalog
|
|
13
|
+
* the production pipeline would, finds the target node, assembles a
|
|
14
|
+
* ResolverContext, and asserts the resolver's verdict.
|
|
15
|
+
*/
|
|
16
|
+
import ts from 'typescript';
|
|
17
|
+
import { describe, expect, it } from 'vitest';
|
|
18
|
+
import { buildCrossPackageContext } from '../../edge-helpers/cross-package-context.js';
|
|
19
|
+
import { resolveDirectCall } from '../../edge-resolvers/direct-call.js';
|
|
20
|
+
import { resolveJsxElement } from '../../edge-resolvers/jsx-element.js';
|
|
21
|
+
import { resolveNewExpression } from '../../edge-resolvers/new-expression.js';
|
|
22
|
+
import { resolvePolymorphicCall } from '../../edge-resolvers/polymorphic.js';
|
|
23
|
+
import { resolvePropertyAccessCall } from '../../edge-resolvers/property-access.js';
|
|
24
|
+
import { buildImportSpecifierIndex } from '../../edge-resolvers/syntactic.js';
|
|
25
|
+
import { walkProgram } from '../../walk.js';
|
|
26
|
+
const PROJECT_DIR = '/proj';
|
|
27
|
+
/** Project-relative name → absolute path under the synthetic project root. */
|
|
28
|
+
function abs(rel) {
|
|
29
|
+
return `${PROJECT_DIR}/${rel}`;
|
|
30
|
+
}
|
|
31
|
+
/** Build an in-memory ts.Program from a name→source map. */
|
|
32
|
+
function buildProgram(files) {
|
|
33
|
+
const options = {
|
|
34
|
+
target: ts.ScriptTarget.ES2022,
|
|
35
|
+
module: ts.ModuleKind.Node16,
|
|
36
|
+
moduleResolution: ts.ModuleResolutionKind.Node16,
|
|
37
|
+
strict: true,
|
|
38
|
+
jsx: ts.JsxEmit.Preserve,
|
|
39
|
+
lib: ['lib.es2022.d.ts'],
|
|
40
|
+
skipLibCheck: true,
|
|
41
|
+
noLib: true,
|
|
42
|
+
};
|
|
43
|
+
const sourceFiles = new Map();
|
|
44
|
+
for (const [rel, src] of Object.entries(files)) {
|
|
45
|
+
sourceFiles.set(abs(rel), ts.createSourceFile(abs(rel), src, ts.ScriptTarget.ES2022, true, scriptKind(rel)));
|
|
46
|
+
}
|
|
47
|
+
const defaultHost = ts.createCompilerHost(options);
|
|
48
|
+
const host = {
|
|
49
|
+
...defaultHost,
|
|
50
|
+
getSourceFile: (fileName) => sourceFiles.get(fileName),
|
|
51
|
+
fileExists: (fileName) => sourceFiles.has(fileName),
|
|
52
|
+
readFile: (fileName) => files[fileName.replace(`${PROJECT_DIR}/`, '')],
|
|
53
|
+
getDefaultLibFileName: () => 'lib.d.ts',
|
|
54
|
+
writeFile: () => {
|
|
55
|
+
// No emit in tests.
|
|
56
|
+
},
|
|
57
|
+
};
|
|
58
|
+
const fileNames = [...sourceFiles.keys()];
|
|
59
|
+
const program = ts.createProgram({ rootNames: fileNames, options, host });
|
|
60
|
+
const typeChecker = program.getTypeChecker();
|
|
61
|
+
return { program, typeChecker, fileNames };
|
|
62
|
+
}
|
|
63
|
+
function scriptKind(rel) {
|
|
64
|
+
if (rel.endsWith('.tsx'))
|
|
65
|
+
return ts.ScriptKind.TSX;
|
|
66
|
+
return ts.ScriptKind.TS;
|
|
67
|
+
}
|
|
68
|
+
/** Build the production catalog for a program by walking it. */
|
|
69
|
+
function catalogFor(program, fileNames) {
|
|
70
|
+
const walked = walkProgram({
|
|
71
|
+
sourceFiles: program.getSourceFiles(),
|
|
72
|
+
files: fileNames,
|
|
73
|
+
projectDirAbs: PROJECT_DIR,
|
|
74
|
+
});
|
|
75
|
+
return {
|
|
76
|
+
version: '3.0',
|
|
77
|
+
tool: 'graph',
|
|
78
|
+
language: 'typescript',
|
|
79
|
+
builtAt: 'x',
|
|
80
|
+
cacheKey: 'k',
|
|
81
|
+
functions: walked.functions,
|
|
82
|
+
};
|
|
83
|
+
}
|
|
84
|
+
function ctxFor(program, typeChecker, catalog, sourceFile) {
|
|
85
|
+
return {
|
|
86
|
+
catalog,
|
|
87
|
+
program,
|
|
88
|
+
typeChecker,
|
|
89
|
+
sourceFile,
|
|
90
|
+
projectDirAbs: PROJECT_DIR,
|
|
91
|
+
crossPackage: buildCrossPackageContext(catalog, PROJECT_DIR),
|
|
92
|
+
importSpecifiers: buildImportSpecifierIndex(sourceFile),
|
|
93
|
+
};
|
|
94
|
+
}
|
|
95
|
+
/** Find the first node matching `pred` in a source file. */
|
|
96
|
+
function findNode(sf, pred) {
|
|
97
|
+
let found;
|
|
98
|
+
const visit = (n) => {
|
|
99
|
+
if (found)
|
|
100
|
+
return;
|
|
101
|
+
if (pred(n)) {
|
|
102
|
+
found = n;
|
|
103
|
+
return;
|
|
104
|
+
}
|
|
105
|
+
ts.forEachChild(n, visit);
|
|
106
|
+
};
|
|
107
|
+
visit(sf);
|
|
108
|
+
if (!found)
|
|
109
|
+
throw new Error('node not found');
|
|
110
|
+
return found;
|
|
111
|
+
}
|
|
112
|
+
describe('resolveDirectCall — branches', () => {
|
|
113
|
+
it('returns UNRESOLVED when the call expression is NOT a bare identifier', () => {
|
|
114
|
+
const { program, typeChecker, fileNames } = buildProgram({
|
|
115
|
+
'm.ts': 'export function f(): void { (() => 1)(); }',
|
|
116
|
+
});
|
|
117
|
+
const catalog = catalogFor(program, fileNames);
|
|
118
|
+
const sf = program.getSourceFile(`${PROJECT_DIR}/m.ts`);
|
|
119
|
+
// The first call expression is `(() => 1)()` — a parenthesized arrow,
|
|
120
|
+
// not an identifier.
|
|
121
|
+
const call = findNode(sf, ts.isCallExpression);
|
|
122
|
+
const v = resolveDirectCall(call, ctxFor(program, typeChecker, catalog, sf));
|
|
123
|
+
expect(v.to).toEqual([]);
|
|
124
|
+
expect(v.resolution).toBe('unknown');
|
|
125
|
+
});
|
|
126
|
+
it('resolves a bare identifier call to its declaration at high confidence', () => {
|
|
127
|
+
const { program, typeChecker, fileNames } = buildProgram({
|
|
128
|
+
'm.ts': 'function target(): number { return 1; }\nexport function caller(): number { return target(); }',
|
|
129
|
+
});
|
|
130
|
+
const catalog = catalogFor(program, fileNames);
|
|
131
|
+
const sf = program.getSourceFile(`${PROJECT_DIR}/m.ts`);
|
|
132
|
+
// The `target()` call is the call whose callee identifier text is 'target'.
|
|
133
|
+
let call;
|
|
134
|
+
const visit = (n) => {
|
|
135
|
+
if (ts.isCallExpression(n) &&
|
|
136
|
+
ts.isIdentifier(n.expression) &&
|
|
137
|
+
n.expression.text === 'target') {
|
|
138
|
+
call = n;
|
|
139
|
+
}
|
|
140
|
+
ts.forEachChild(n, visit);
|
|
141
|
+
};
|
|
142
|
+
visit(sf);
|
|
143
|
+
const v = resolveDirectCall(call, ctxFor(program, typeChecker, catalog, sf));
|
|
144
|
+
expect(v.confidence).toBe('high');
|
|
145
|
+
expect(v.resolution).toBe('static');
|
|
146
|
+
expect(v.to.length).toBe(1);
|
|
147
|
+
});
|
|
148
|
+
it('returns UNRESOLVED when the identifier has no resolvable symbol', () => {
|
|
149
|
+
const { program, typeChecker, fileNames } = buildProgram({
|
|
150
|
+
'm.ts': 'export function caller(): unknown { return undeclaredName(); }',
|
|
151
|
+
});
|
|
152
|
+
const catalog = catalogFor(program, fileNames);
|
|
153
|
+
const sf = program.getSourceFile(`${PROJECT_DIR}/m.ts`);
|
|
154
|
+
const call = findNode(sf, ts.isCallExpression);
|
|
155
|
+
const v = resolveDirectCall(call, ctxFor(program, typeChecker, catalog, sf));
|
|
156
|
+
// No symbol for `undeclaredName` → UNRESOLVED.
|
|
157
|
+
expect(v.to).toEqual([]);
|
|
158
|
+
});
|
|
159
|
+
});
|
|
160
|
+
describe('resolvePropertyAccessCall — branches', () => {
|
|
161
|
+
it('returns UNRESOLVED when the call is NOT a property access', () => {
|
|
162
|
+
const { program, typeChecker, fileNames } = buildProgram({
|
|
163
|
+
'm.ts': 'function f(): number { return 1; }\nexport function g(): number { return f(); }',
|
|
164
|
+
});
|
|
165
|
+
const catalog = catalogFor(program, fileNames);
|
|
166
|
+
const sf = program.getSourceFile(`${PROJECT_DIR}/m.ts`);
|
|
167
|
+
const call = findNode(sf, ts.isCallExpression); // f() — bare identifier
|
|
168
|
+
const v = resolvePropertyAccessCall(call, ctxFor(program, typeChecker, catalog, sf));
|
|
169
|
+
expect(v.to).toEqual([]);
|
|
170
|
+
expect(v.resolution).toBe('unknown');
|
|
171
|
+
});
|
|
172
|
+
it('resolves a method call on a class instance at high confidence', () => {
|
|
173
|
+
const { program, typeChecker, fileNames } = buildProgram({
|
|
174
|
+
'm.ts': [
|
|
175
|
+
'export class Svc { method(): number { return 1; } }',
|
|
176
|
+
'export function call(s: Svc): number { return s.method(); }',
|
|
177
|
+
].join('\n'),
|
|
178
|
+
});
|
|
179
|
+
const catalog = catalogFor(program, fileNames);
|
|
180
|
+
const sf = program.getSourceFile(`${PROJECT_DIR}/m.ts`);
|
|
181
|
+
let call;
|
|
182
|
+
const visit = (n) => {
|
|
183
|
+
if (ts.isCallExpression(n) && ts.isPropertyAccessExpression(n.expression))
|
|
184
|
+
call = n;
|
|
185
|
+
ts.forEachChild(n, visit);
|
|
186
|
+
};
|
|
187
|
+
visit(sf);
|
|
188
|
+
const v = resolvePropertyAccessCall(call, ctxFor(program, typeChecker, catalog, sf));
|
|
189
|
+
expect(v.confidence).toBe('high');
|
|
190
|
+
expect(v.resolution).toBe('method-dispatch');
|
|
191
|
+
expect(v.to.length).toBe(1);
|
|
192
|
+
});
|
|
193
|
+
});
|
|
194
|
+
describe('resolvePolymorphicCall — confidence split', () => {
|
|
195
|
+
it('returns high confidence for a single-implementation method call', () => {
|
|
196
|
+
const { program, typeChecker, fileNames } = buildProgram({
|
|
197
|
+
'm.ts': [
|
|
198
|
+
'class Only { run(): void {} }',
|
|
199
|
+
'export function dispatch(o: Only): void { o.run(); }',
|
|
200
|
+
].join('\n'),
|
|
201
|
+
});
|
|
202
|
+
const catalog = catalogFor(program, fileNames);
|
|
203
|
+
const sf = program.getSourceFile(`${PROJECT_DIR}/m.ts`);
|
|
204
|
+
let call;
|
|
205
|
+
const visit = (n) => {
|
|
206
|
+
if (ts.isCallExpression(n) && ts.isPropertyAccessExpression(n.expression))
|
|
207
|
+
call = n;
|
|
208
|
+
ts.forEachChild(n, visit);
|
|
209
|
+
};
|
|
210
|
+
visit(sf);
|
|
211
|
+
const v = resolvePolymorphicCall(call, ctxFor(program, typeChecker, catalog, sf));
|
|
212
|
+
expect(v.to.length).toBe(1);
|
|
213
|
+
expect(v.confidence).toBe('high');
|
|
214
|
+
});
|
|
215
|
+
it('returns UNRESOLVED when the call is not a property access', () => {
|
|
216
|
+
const { program, typeChecker, fileNames } = buildProgram({
|
|
217
|
+
'm.ts': 'function f(): number { return 1; }\nexport function g(): number { return f(); }',
|
|
218
|
+
});
|
|
219
|
+
const catalog = catalogFor(program, fileNames);
|
|
220
|
+
const sf = program.getSourceFile(`${PROJECT_DIR}/m.ts`);
|
|
221
|
+
const call = findNode(sf, ts.isCallExpression);
|
|
222
|
+
const v = resolvePolymorphicCall(call, ctxFor(program, typeChecker, catalog, sf));
|
|
223
|
+
expect(v.to).toEqual([]);
|
|
224
|
+
});
|
|
225
|
+
it('returns UNRESOLVED when no implementation of the method exists in the catalog', () => {
|
|
226
|
+
const { program, typeChecker, fileNames } = buildProgram({
|
|
227
|
+
'm.ts': 'export function g(o: { toString(): string }): string { return o.toString(); }',
|
|
228
|
+
});
|
|
229
|
+
const catalog = catalogFor(program, fileNames);
|
|
230
|
+
const sf = program.getSourceFile(`${PROJECT_DIR}/m.ts`);
|
|
231
|
+
let call;
|
|
232
|
+
const visit = (n) => {
|
|
233
|
+
if (ts.isCallExpression(n) && ts.isPropertyAccessExpression(n.expression))
|
|
234
|
+
call = n;
|
|
235
|
+
ts.forEachChild(n, visit);
|
|
236
|
+
};
|
|
237
|
+
visit(sf);
|
|
238
|
+
const v = resolvePolymorphicCall(call, ctxFor(program, typeChecker, catalog, sf));
|
|
239
|
+
// `toString` has no catalog occurrence → no candidate hashes.
|
|
240
|
+
expect(v.to).toEqual([]);
|
|
241
|
+
expect(v.resolution).toBe('unknown');
|
|
242
|
+
});
|
|
243
|
+
});
|
|
244
|
+
describe('resolveNewExpression — branches', () => {
|
|
245
|
+
it('resolves new ClassName() to the constructor at high confidence', () => {
|
|
246
|
+
const { program, typeChecker, fileNames } = buildProgram({
|
|
247
|
+
'm.ts': [
|
|
248
|
+
'export class Widget { constructor() {} }',
|
|
249
|
+
'export function make(): Widget { return new Widget(); }',
|
|
250
|
+
].join('\n'),
|
|
251
|
+
});
|
|
252
|
+
const catalog = catalogFor(program, fileNames);
|
|
253
|
+
const sf = program.getSourceFile(`${PROJECT_DIR}/m.ts`);
|
|
254
|
+
const newExpr = findNode(sf, ts.isNewExpression);
|
|
255
|
+
const v = resolveNewExpression(newExpr, ctxFor(program, typeChecker, catalog, sf));
|
|
256
|
+
expect(v.confidence).toBe('high');
|
|
257
|
+
expect(v.resolution).toBe('constructor');
|
|
258
|
+
expect(v.to.length).toBe(1);
|
|
259
|
+
});
|
|
260
|
+
});
|
|
261
|
+
describe('resolveJsxElement — branches', () => {
|
|
262
|
+
it('ignores intrinsic lower-case elements (UNRESOLVED)', () => {
|
|
263
|
+
const { program, typeChecker, fileNames } = buildProgram({
|
|
264
|
+
'v.tsx': 'export const V = () => (<div />);',
|
|
265
|
+
});
|
|
266
|
+
const catalog = catalogFor(program, fileNames);
|
|
267
|
+
const sf = program.getSourceFile(`${PROJECT_DIR}/v.tsx`);
|
|
268
|
+
const jsx = findNode(sf, ts.isJsxSelfClosingElement);
|
|
269
|
+
const v = resolveJsxElement(jsx, ctxFor(program, typeChecker, catalog, sf));
|
|
270
|
+
expect(v.to).toEqual([]);
|
|
271
|
+
expect(v.resolution).toBe('unknown');
|
|
272
|
+
});
|
|
273
|
+
it('resolves a component element to its function declaration at high confidence', () => {
|
|
274
|
+
const { program, typeChecker, fileNames } = buildProgram({
|
|
275
|
+
'v.tsx': ['function Comp() { return null; }', 'export const V = () => (<Comp />);'].join('\n'),
|
|
276
|
+
});
|
|
277
|
+
const catalog = catalogFor(program, fileNames);
|
|
278
|
+
const sf = program.getSourceFile(`${PROJECT_DIR}/v.tsx`);
|
|
279
|
+
const jsx = findNode(sf, ts.isJsxSelfClosingElement);
|
|
280
|
+
const v = resolveJsxElement(jsx, ctxFor(program, typeChecker, catalog, sf));
|
|
281
|
+
expect(v.confidence).toBe('high');
|
|
282
|
+
expect(v.resolution).toBe('jsx');
|
|
283
|
+
expect(v.to.length).toBe(1);
|
|
284
|
+
});
|
|
285
|
+
});
|
|
286
|
+
//# sourceMappingURL=resolver-units.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"resolver-units.test.js","sourceRoot":"","sources":["../../../src/__tests__/edge-resolvers/resolver-units.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EAAE,wBAAwB,EAAE,MAAM,6CAA6C,CAAC;AACvF,OAAO,EAAE,iBAAiB,EAAE,MAAM,qCAAqC,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,qCAAqC,CAAC;AACxE,OAAO,EAAE,oBAAoB,EAAE,MAAM,wCAAwC,CAAC;AAC9E,OAAO,EAAE,sBAAsB,EAAE,MAAM,qCAAqC,CAAC;AAC7E,OAAO,EAAE,yBAAyB,EAAE,MAAM,yCAAyC,CAAC;AACpF,OAAO,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAC;AAC9E,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAK5C,MAAM,WAAW,GAAG,OAAO,CAAC;AAE5B,8EAA8E;AAC9E,SAAS,GAAG,CAAC,GAAW;IACtB,OAAO,GAAG,WAAW,IAAI,GAAG,EAAE,CAAC;AACjC,CAAC;AAED,4DAA4D;AAC5D,SAAS,YAAY,CAAC,KAAuC;IAK3D,MAAM,OAAO,GAAuB;QAClC,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM;QAC9B,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM;QAC5B,gBAAgB,EAAE,EAAE,CAAC,oBAAoB,CAAC,MAAM;QAChD,MAAM,EAAE,IAAI;QACZ,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ;QACxB,GAAG,EAAE,CAAC,iBAAiB,CAAC;QACxB,YAAY,EAAE,IAAI;QAClB,KAAK,EAAE,IAAI;KACZ,CAAC;IACF,MAAM,WAAW,GAAG,IAAI,GAAG,EAAyB,CAAC;IACrD,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/C,WAAW,CAAC,GAAG,CACb,GAAG,CAAC,GAAG,CAAC,EACR,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAClF,CAAC;IACJ,CAAC;IACD,MAAM,WAAW,GAAG,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC;IACnD,MAAM,IAAI,GAAoB;QAC5B,GAAG,WAAW;QACd,aAAa,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC;QACtD,UAAU,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC;QACnD,QAAQ,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,WAAW,GAAG,EAAE,EAAE,CAAC,CAAC;QACtE,qBAAqB,EAAE,GAAG,EAAE,CAAC,UAAU;QACvC,SAAS,EAAE,GAAG,EAAE;YACd,oBAAoB;QACtB,CAAC;KACF,CAAC;IACF,MAAM,SAAS,GAAG,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC;IAC1C,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IAC1E,MAAM,WAAW,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IAC7C,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC;AAC7C,CAAC;AAED,SAAS,UAAU,CAAC,GAAW;IAC7B,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,OAAO,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;IACnD,OAAO,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;AAC1B,CAAC;AAED,gEAAgE;AAChE,SAAS,UAAU,CAAC,OAAmB,EAAE,SAAmB;IAC1D,MAAM,MAAM,GAAG,WAAW,CAAC;QACzB,WAAW,EAAE,OAAO,CAAC,cAAc,EAAE;QACrC,KAAK,EAAE,SAAS;QAChB,aAAa,EAAE,WAAW;KAC3B,CAAC,CAAC;IACH,OAAO;QACL,OAAO,EAAE,KAAK;QACd,IAAI,EAAE,OAAO;QACb,QAAQ,EAAE,YAAY;QACtB,OAAO,EAAE,GAAG;QACZ,QAAQ,EAAE,GAAG;QACb,SAAS,EAAE,MAAM,CAAC,SAAS;KAC5B,CAAC;AACJ,CAAC;AAED,SAAS,MAAM,CACb,OAAmB,EACnB,WAA2B,EAC3B,OAAgB,EAChB,UAAyB;IAEzB,OAAO;QACL,OAAO;QACP,OAAO;QACP,WAAW;QACX,UAAU;QACV,aAAa,EAAE,WAAW;QAC1B,YAAY,EAAE,wBAAwB,CAAC,OAAO,EAAE,WAAW,CAAC;QAC5D,gBAAgB,EAAE,yBAAyB,CAAC,UAAU,CAAC;KACxD,CAAC;AACJ,CAAC;AAED,4DAA4D;AAC5D,SAAS,QAAQ,CAAoB,EAAiB,EAAE,IAA4B;IAClF,IAAI,KAAoB,CAAC;IACzB,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;QACjC,IAAI,KAAK;YAAE,OAAO;QAClB,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YACZ,KAAK,GAAG,CAAC,CAAC;YACV,OAAO;QACT,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC5B,CAAC,CAAC;IACF,KAAK,CAAC,EAAE,CAAC,CAAC;IACV,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,gBAAgB,CAAC,CAAC;IAC9C,OAAO,KAAK,CAAC;AACf,CAAC;AAED,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,GAAG,YAAY,CAAC;YACvD,MAAM,EAAE,4CAA4C;SACrD,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAC/C,MAAM,EAAE,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,WAAW,OAAO,CAAE,CAAC;QACzD,sEAAsE;QACtE,qBAAqB;QACrB,MAAM,IAAI,GAAG,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC;QAC/C,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,EAAE,MAAM,CAAC,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;QAC7E,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACzB,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,GAAG,YAAY,CAAC;YACvD,MAAM,EACJ,gGAAgG;SACnG,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAC/C,MAAM,EAAE,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,WAAW,OAAO,CAAE,CAAC;QACzD,4EAA4E;QAC5E,IAAI,IAAmC,CAAC;QACxC,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;YACjC,IACE,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC;gBACtB,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC;gBAC7B,CAAC,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ,EAC9B,CAAC;gBACD,IAAI,GAAG,CAAC,CAAC;YACX,CAAC;YACD,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC5B,CAAC,CAAC;QACF,KAAK,CAAC,EAAE,CAAC,CAAC;QACV,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAK,EAAE,MAAM,CAAC,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;QAC9E,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACpC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,GAAG,YAAY,CAAC;YACvD,MAAM,EAAE,gEAAgE;SACzE,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAC/C,MAAM,EAAE,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,WAAW,OAAO,CAAE,CAAC;QACzD,MAAM,IAAI,GAAG,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC;QAC/C,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,EAAE,MAAM,CAAC,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;QAC7E,+CAA+C;QAC/C,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,GAAG,YAAY,CAAC;YACvD,MAAM,EAAE,iFAAiF;SAC1F,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAC/C,MAAM,EAAE,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,WAAW,OAAO,CAAE,CAAC;QACzD,MAAM,IAAI,GAAG,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,wBAAwB;QACxE,MAAM,CAAC,GAAG,yBAAyB,CAAC,IAAI,EAAE,MAAM,CAAC,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;QACrF,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACzB,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,GAAG,YAAY,CAAC;YACvD,MAAM,EAAE;gBACN,qDAAqD;gBACrD,6DAA6D;aAC9D,CAAC,IAAI,CAAC,IAAI,CAAC;SACb,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAC/C,MAAM,EAAE,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,WAAW,OAAO,CAAE,CAAC;QACzD,IAAI,IAAmC,CAAC;QACxC,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;YACjC,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC,UAAU,CAAC;gBAAE,IAAI,GAAG,CAAC,CAAC;YACpF,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC5B,CAAC,CAAC;QACF,KAAK,CAAC,EAAE,CAAC,CAAC;QACV,MAAM,CAAC,GAAG,yBAAyB,CAAC,IAAK,EAAE,MAAM,CAAC,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;QACtF,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAC7C,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,GAAG,YAAY,CAAC;YACvD,MAAM,EAAE;gBACN,+BAA+B;gBAC/B,sDAAsD;aACvD,CAAC,IAAI,CAAC,IAAI,CAAC;SACb,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAC/C,MAAM,EAAE,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,WAAW,OAAO,CAAE,CAAC;QACzD,IAAI,IAAmC,CAAC;QACxC,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;YACjC,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC,UAAU,CAAC;gBAAE,IAAI,GAAG,CAAC,CAAC;YACpF,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC5B,CAAC,CAAC;QACF,KAAK,CAAC,EAAE,CAAC,CAAC;QACV,MAAM,CAAC,GAAG,sBAAsB,CAAC,IAAK,EAAE,MAAM,CAAC,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;QACnF,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,GAAG,YAAY,CAAC;YACvD,MAAM,EAAE,iFAAiF;SAC1F,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAC/C,MAAM,EAAE,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,WAAW,OAAO,CAAE,CAAC;QACzD,MAAM,IAAI,GAAG,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC;QAC/C,MAAM,CAAC,GAAG,sBAAsB,CAAC,IAAI,EAAE,MAAM,CAAC,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;QAClF,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,GAAG,YAAY,CAAC;YACvD,MAAM,EAAE,+EAA+E;SACxF,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAC/C,MAAM,EAAE,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,WAAW,OAAO,CAAE,CAAC;QACzD,IAAI,IAAmC,CAAC;QACxC,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;YACjC,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,0BAA0B,CAAC,CAAC,CAAC,UAAU,CAAC;gBAAE,IAAI,GAAG,CAAC,CAAC;YACpF,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC5B,CAAC,CAAC;QACF,KAAK,CAAC,EAAE,CAAC,CAAC;QACV,MAAM,CAAC,GAAG,sBAAsB,CAAC,IAAK,EAAE,MAAM,CAAC,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;QACnF,8DAA8D;QAC9D,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACzB,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,GAAG,YAAY,CAAC;YACvD,MAAM,EAAE;gBACN,0CAA0C;gBAC1C,yDAAyD;aAC1D,CAAC,IAAI,CAAC,IAAI,CAAC;SACb,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAC/C,MAAM,EAAE,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,WAAW,OAAO,CAAE,CAAC;QACzD,MAAM,OAAO,GAAG,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC;QACjD,MAAM,CAAC,GAAG,oBAAoB,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;QACnF,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QACzC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,GAAG,YAAY,CAAC;YACvD,OAAO,EAAE,mCAAmC;SAC7C,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAC/C,MAAM,EAAE,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,WAAW,QAAQ,CAAE,CAAC;QAC1D,MAAM,GAAG,GAAG,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,uBAAuB,CAAC,CAAC;QACrD,MAAM,CAAC,GAAG,iBAAiB,CAAC,GAAG,EAAE,MAAM,CAAC,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;QAC5E,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACzB,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,GAAG,YAAY,CAAC;YACvD,OAAO,EAAE,CAAC,kCAAkC,EAAE,oCAAoC,CAAC,CAAC,IAAI,CACtF,IAAI,CACL;SACF,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAC/C,MAAM,EAAE,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,WAAW,QAAQ,CAAE,CAAC;QAC1D,MAAM,GAAG,GAAG,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,uBAAuB,CAAC,CAAC;QACrD,MAAM,CAAC,GAAG,iBAAiB,CAAC,GAAG,EAAE,MAAM,CAAC,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;QAC5E,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1,16 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Integration: drive the TypeScript adapter end-to-end in both tiers on
|
|
3
|
+
* one multi-file fixture and assert the honest-approximation contract.
|
|
4
|
+
*
|
|
5
|
+
* (Lives in the adapter package, not the engine, because the engine layer
|
|
6
|
+
* must not import a concrete adapter — so an adapter-driven integration
|
|
7
|
+
* test belongs here.)
|
|
8
|
+
*
|
|
9
|
+
* - both tiers produce a catalog;
|
|
10
|
+
* - every fast edge is 'syntactic' and never 'high';
|
|
11
|
+
* - fast stats never populate resolvedHigh;
|
|
12
|
+
* - the cacheKey differs between tiers (cache separation);
|
|
13
|
+
* - fast recovers the cross-file + same-file edges exact found.
|
|
14
|
+
*/
|
|
15
|
+
export {};
|
|
16
|
+
//# sourceMappingURL=fast-vs-exact.test.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"fast-vs-exact.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/fast-vs-exact.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG"}
|
|
@@ -0,0 +1,116 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Integration: drive the TypeScript adapter end-to-end in both tiers on
|
|
3
|
+
* one multi-file fixture and assert the honest-approximation contract.
|
|
4
|
+
*
|
|
5
|
+
* (Lives in the adapter package, not the engine, because the engine layer
|
|
6
|
+
* must not import a concrete adapter — so an adapter-driven integration
|
|
7
|
+
* test belongs here.)
|
|
8
|
+
*
|
|
9
|
+
* - both tiers produce a catalog;
|
|
10
|
+
* - every fast edge is 'syntactic' and never 'high';
|
|
11
|
+
* - fast stats never populate resolvedHigh;
|
|
12
|
+
* - the cacheKey differs between tiers (cache separation);
|
|
13
|
+
* - fast recovers the cross-file + same-file edges exact found.
|
|
14
|
+
*/
|
|
15
|
+
import { mkdtempSync, rmSync, writeFileSync } from 'node:fs';
|
|
16
|
+
import { tmpdir } from 'node:os';
|
|
17
|
+
import { join } from 'node:path';
|
|
18
|
+
import { afterEach, beforeEach, describe, expect, it } from 'vitest';
|
|
19
|
+
import { typescriptGraphAdapter as adapter } from '../index.js';
|
|
20
|
+
const TSCONFIG = '{ "compilerOptions": { "target": "ES2022", "module": "Node16", "moduleResolution": "Node16" } }';
|
|
21
|
+
const UTIL = 'export function helper(x: number): number { return x + 1; }\n';
|
|
22
|
+
const APP = [
|
|
23
|
+
"import { helper } from './util.js';",
|
|
24
|
+
'export function main(): number { return helper(41); }',
|
|
25
|
+
'function localOnly(): number { return main(); }',
|
|
26
|
+
'export function run(): number { return localOnly(); }',
|
|
27
|
+
].join('\n');
|
|
28
|
+
async function buildBothTiers(dir) {
|
|
29
|
+
const run = async (resolutionMode) => {
|
|
30
|
+
const disc = adapter.discoverFiles({ cwd: dir });
|
|
31
|
+
const parsed = adapter.parseProject({
|
|
32
|
+
projectDirAbs: disc.projectDirAbs,
|
|
33
|
+
files: disc.files,
|
|
34
|
+
compilerOptions: disc.compilerOptions,
|
|
35
|
+
resolutionMode,
|
|
36
|
+
});
|
|
37
|
+
const walk = adapter.walkProject({
|
|
38
|
+
project: parsed.project,
|
|
39
|
+
files: disc.files,
|
|
40
|
+
projectDirAbs: disc.projectDirAbs,
|
|
41
|
+
});
|
|
42
|
+
const cacheKey = adapter.cacheKey({
|
|
43
|
+
projectDirAbs: disc.projectDirAbs,
|
|
44
|
+
configPathAbs: disc.configPathAbs,
|
|
45
|
+
compilerOptions: disc.compilerOptions,
|
|
46
|
+
resolutionMode,
|
|
47
|
+
});
|
|
48
|
+
const catalog = {
|
|
49
|
+
version: '3.0',
|
|
50
|
+
tool: 'graph',
|
|
51
|
+
language: 'typescript',
|
|
52
|
+
builtAt: 'x',
|
|
53
|
+
cacheKey,
|
|
54
|
+
resolutionMode,
|
|
55
|
+
functions: walk.occurrences,
|
|
56
|
+
};
|
|
57
|
+
const resolved = await adapter.resolveCallSites({
|
|
58
|
+
project: parsed.project,
|
|
59
|
+
catalog,
|
|
60
|
+
callSites: walk.callSites,
|
|
61
|
+
dependencySites: walk.dependencySites,
|
|
62
|
+
projectDirAbs: disc.projectDirAbs,
|
|
63
|
+
resolutionMode,
|
|
64
|
+
});
|
|
65
|
+
return { resolved, cacheKey };
|
|
66
|
+
};
|
|
67
|
+
return { exact: await run('exact'), fast: await run('fast') };
|
|
68
|
+
}
|
|
69
|
+
function allEdges(byOwner) {
|
|
70
|
+
return [...byOwner.values()].flat();
|
|
71
|
+
}
|
|
72
|
+
describe('fast vs exact (TypeScript adapter, end-to-end)', () => {
|
|
73
|
+
let dir;
|
|
74
|
+
beforeEach(() => {
|
|
75
|
+
dir = mkdtempSync(join(tmpdir(), 'graph-ts-fastvsexact-'));
|
|
76
|
+
writeFileSync(join(dir, 'tsconfig.json'), TSCONFIG, 'utf8');
|
|
77
|
+
writeFileSync(join(dir, 'util.ts'), UTIL, 'utf8');
|
|
78
|
+
writeFileSync(join(dir, 'app.ts'), APP, 'utf8');
|
|
79
|
+
});
|
|
80
|
+
afterEach(() => {
|
|
81
|
+
rmSync(dir, { recursive: true, force: true });
|
|
82
|
+
});
|
|
83
|
+
it('both tiers produce edges; fast edges are all syntactic and never high', async () => {
|
|
84
|
+
const { exact, fast } = await buildBothTiers(dir);
|
|
85
|
+
const exactEdges = allEdges(exact.resolved.edgesByOwner);
|
|
86
|
+
const fastEdges = allEdges(fast.resolved.edgesByOwner);
|
|
87
|
+
expect(exactEdges.length).toBeGreaterThan(0);
|
|
88
|
+
expect(fastEdges.length).toBeGreaterThan(0);
|
|
89
|
+
for (const e of fastEdges) {
|
|
90
|
+
expect(e.resolution).toBe('syntactic');
|
|
91
|
+
expect(e.confidence).not.toBe('high');
|
|
92
|
+
}
|
|
93
|
+
});
|
|
94
|
+
it('fast resolution stats never populate resolvedHigh', async () => {
|
|
95
|
+
const { fast } = await buildBothTiers(dir);
|
|
96
|
+
expect(fast.resolved.stats.resolvedHigh).toBe(0);
|
|
97
|
+
// Every located call site is accounted for.
|
|
98
|
+
const total = fast.resolved.stats.resolvedMedium +
|
|
99
|
+
fast.resolved.stats.resolvedLow +
|
|
100
|
+
fast.resolved.stats.unresolved;
|
|
101
|
+
expect(fast.resolved.stats.totalCallSites).toBe(total);
|
|
102
|
+
});
|
|
103
|
+
it('separates the cache: fast and exact cacheKeys differ for the same tsconfig', async () => {
|
|
104
|
+
const { exact, fast } = await buildBothTiers(dir);
|
|
105
|
+
expect(fast.cacheKey).not.toBe(exact.cacheKey);
|
|
106
|
+
expect(fast.cacheKey).toContain('-fast-');
|
|
107
|
+
expect(exact.cacheKey).toContain('-exact-');
|
|
108
|
+
});
|
|
109
|
+
it('fast recovers the cross-file (imported) and same-file call edges', async () => {
|
|
110
|
+
const { fast } = await buildBothTiers(dir);
|
|
111
|
+
const targets = new Set(allEdges(fast.resolved.edgesByOwner).flatMap((e) => e.to));
|
|
112
|
+
// main → helper (imported, cross-file) and the same-file chain all resolve.
|
|
113
|
+
expect(targets.size).toBeGreaterThanOrEqual(3);
|
|
114
|
+
});
|
|
115
|
+
});
|
|
116
|
+
//# sourceMappingURL=fast-vs-exact.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"fast-vs-exact.test.js","sourceRoot":"","sources":["../../src/__tests__/fast-vs-exact.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC7D,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAErE,OAAO,EAAE,sBAAsB,IAAI,OAAO,EAAE,MAAM,aAAa,CAAC;AAIhE,MAAM,QAAQ,GACZ,iGAAiG,CAAC;AACpG,MAAM,IAAI,GAAG,+DAA+D,CAAC;AAC7E,MAAM,GAAG,GAAG;IACV,qCAAqC;IACrC,uDAAuD;IACvD,iDAAiD;IACjD,uDAAuD;CACxD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,KAAK,UAAU,cAAc,CAC3B,GAAW;IAOX,MAAM,GAAG,GAAG,KAAK,EACf,cAA8B,EAI7B,EAAE;QACH,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;QACjD,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC;YAClC,aAAa,EAAE,IAAI,CAAC,aAAa;YACjC,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,eAAe,EAAE,IAAI,CAAC,eAAe;YACrC,cAAc;SACf,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC;YAC/B,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,aAAa,EAAE,IAAI,CAAC,aAAa;SAClC,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC;YAChC,aAAa,EAAE,IAAI,CAAC,aAAa;YACjC,aAAa,EAAE,IAAI,CAAC,aAAa;YACjC,eAAe,EAAE,IAAI,CAAC,eAAe;YACrC,cAAc;SACf,CAAC,CAAC;QACH,MAAM,OAAO,GAAY;YACvB,OAAO,EAAE,KAAK;YACd,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,YAAY;YACtB,OAAO,EAAE,GAAG;YACZ,QAAQ;YACR,cAAc;YACd,SAAS,EAAE,IAAI,CAAC,WAAW;SAC5B,CAAC;QACF,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,gBAAgB,CAAC;YAC9C,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,OAAO;YACP,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,eAAe,EAAE,IAAI,CAAC,eAAe;YACrC,aAAa,EAAE,IAAI,CAAC,aAAa;YACjC,cAAc;SACf,CAAC,CAAC;QACH,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;IAChC,CAAC,CAAC;IACF,OAAO,EAAE,KAAK,EAAE,MAAM,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;AAChE,CAAC;AAED,SAAS,QAAQ,CAAC,OAAiD;IACjE,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;AACtC,CAAC;AAED,QAAQ,CAAC,gDAAgD,EAAE,GAAG,EAAE;IAC9D,IAAI,GAAW,CAAC;IAEhB,UAAU,CAAC,GAAG,EAAE;QACd,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,uBAAuB,CAAC,CAAC,CAAC;QAC3D,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,eAAe,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC5D,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QAClD,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,SAAS,CAAC,GAAG,EAAE;QACb,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uEAAuE,EAAE,KAAK,IAAI,EAAE;QACrF,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,MAAM,cAAc,CAAC,GAAG,CAAC,CAAC;QAElD,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;QACzD,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;QACvD,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC7C,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAE5C,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1B,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACvC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACxC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,KAAK,IAAI,EAAE;QACjE,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,cAAc,CAAC,GAAG,CAAC,CAAC;QAC3C,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjD,4CAA4C;QAC5C,MAAM,KAAK,GACT,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,cAAc;YAClC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,WAAW;YAC/B,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC;QACjC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4EAA4E,EAAE,KAAK,IAAI,EAAE;QAC1F,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,MAAM,cAAc,CAAC,GAAG,CAAC,CAAC;QAClD,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC/C,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QAC1C,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,KAAK,IAAI,EAAE;QAChF,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,cAAc,CAAC,GAAG,CAAC,CAAC;QAC3C,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACnF,4EAA4E;QAC5E,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1,9 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Tests for the executeGraph CLI handler.
|
|
3
|
+
*
|
|
4
|
+
* The handler is a façade that wires runGraph to one of three modes
|
|
5
|
+
* (table, JSON, gate, report) plus error mapping. We exercise stdout
|
|
6
|
+
* capture and the various flag combinations against fixture projects.
|
|
7
|
+
*/
|
|
8
|
+
export {};
|
|
9
|
+
//# sourceMappingURL=graph-cli.test.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"graph-cli.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/graph-cli.test.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG"}
|