@cplieger/deadset-ts 8.0.0-dev.2 → 8.0.0-dev.20

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.
Files changed (402) hide show
  1. package/README.md +3 -1
  2. package/THIRD_PARTY_NOTICES.md +27 -0
  3. package/dist/bin/mapper-connection.js +2 -1
  4. package/dist/bin/node-host.js +24 -5
  5. package/dist/src/alias-chain.js +2 -7
  6. package/dist/src/amd.js +81 -0
  7. package/dist/src/analysis.js +269 -432
  8. package/dist/src/augmentations.js +64 -3
  9. package/dist/src/automatic-types.js +10 -29
  10. package/dist/src/bindings.js +382 -0
  11. package/dist/src/calls.js +279 -43
  12. package/dist/src/commands/held.js +499 -0
  13. package/dist/src/commands/read.js +161 -0
  14. package/dist/src/commands/shell.js +169 -0
  15. package/dist/src/commands/tools.js +1847 -0
  16. package/dist/src/component-files.js +3 -2
  17. package/dist/src/component-layer.js +4 -2
  18. package/dist/src/config.js +6 -82
  19. package/dist/src/conformance-record.js +1 -1
  20. package/dist/src/consumers.js +10 -38
  21. package/dist/src/contextual-uses.js +57 -26
  22. package/dist/src/contract/config.generated.js +561 -0
  23. package/dist/src/contract/contract.generated.js +1369 -0
  24. package/dist/src/contract/report.generated.js +866 -0
  25. package/dist/src/dependencies.js +164 -121
  26. package/dist/src/destructuring.js +1 -19
  27. package/dist/src/edges.js +38 -122
  28. package/dist/src/element-access.js +181 -168
  29. package/dist/src/entries/build-scripts.js +222 -0
  30. package/dist/src/{configuration-files.js → entries/configuration-files.js} +52 -256
  31. package/dist/src/{convention-rows.js → entries/convention-rows.js} +170 -30
  32. package/dist/src/entries/conventions.js +740 -0
  33. package/dist/src/{html-entries.js → entries/html-entries.js} +12 -42
  34. package/dist/src/{mdx-entries.js → entries/mdx-entries.js} +5 -28
  35. package/dist/src/entries/run-directories.js +77 -0
  36. package/dist/src/entries/sources.js +144 -0
  37. package/dist/src/entries/static-module.js +670 -0
  38. package/dist/src/entries/test-runners.js +650 -0
  39. package/dist/src/entries/workflow-steps.js +345 -0
  40. package/dist/src/enum-group.js +3 -10
  41. package/dist/src/erased-stores.js +4 -6
  42. package/dist/src/exempt-classes.js +1 -63
  43. package/dist/src/exempt.js +21 -66
  44. package/dist/src/exposure.js +400 -0
  45. package/dist/src/extensions.js +37 -0
  46. package/dist/src/facts.js +38 -0
  47. package/dist/src/failure.js +36 -0
  48. package/dist/src/file-facts.js +3 -26
  49. package/dist/src/findings/completion.js +109 -56
  50. package/dist/src/findings/dependencies-and-module-machinery.js +4 -5
  51. package/dist/src/findings/emitters.js +27 -41
  52. package/dist/src/{implementations.js → findings/implementations.js} +3 -3
  53. package/dist/src/{in-operands.js → findings/in-operands.js} +3 -2
  54. package/dist/src/findings/interfaces.js +4 -5
  55. package/dist/src/findings/intra-function.js +16 -13
  56. package/dist/src/findings/non-code-artifacts.js +17 -12
  57. package/dist/src/findings/reads-and-writes.js +86 -27
  58. package/dist/src/findings/self-check.js +44 -30
  59. package/dist/src/findings/unused-declarations.js +29 -45
  60. package/dist/src/findings/visibility-narrowing.js +23 -31
  61. package/dist/src/findings-pass.js +13 -21
  62. package/dist/src/framework-lifecycle.js +46 -19
  63. package/dist/src/fs/document.js +52 -0
  64. package/dist/src/fs/manifest.js +67 -0
  65. package/dist/src/fs/tree.js +88 -0
  66. package/dist/src/generated-file.js +174 -28
  67. package/dist/src/git-ignore.js +39 -26
  68. package/dist/src/import-bindings.js +73 -28
  69. package/dist/src/index/sites.js +557 -0
  70. package/dist/src/index.js +2 -2
  71. package/dist/src/indexed-access.js +523 -478
  72. package/dist/src/injection-container.js +2 -2
  73. package/dist/src/interface-satisfaction.js +1 -1
  74. package/dist/src/intra-function-parts.js +63 -43
  75. package/dist/src/inventory/commonjs.js +507 -0
  76. package/dist/src/inventory/enumerate.js +167 -0
  77. package/dist/src/inventory/syntax.js +236 -0
  78. package/dist/src/inventory.js +323 -724
  79. package/dist/src/javascript-file.js +48 -0
  80. package/dist/src/json-document.js +198 -67
  81. package/dist/src/keyof-comparisons.js +126 -107
  82. package/dist/src/kinds.js +3 -366
  83. package/dist/src/{components.js → liveness/components.js} +2 -3
  84. package/dist/src/{graph.js → liveness/graph.js} +52 -28
  85. package/dist/src/liveness/matrix.js +99 -0
  86. package/dist/src/liveness/sweep.js +558 -0
  87. package/dist/src/load/classify.js +289 -0
  88. package/dist/src/load/diagnostics.js +87 -0
  89. package/dist/src/load/discover.js +285 -0
  90. package/dist/src/{emit-map.js → load/emit-map.js} +1 -1
  91. package/dist/src/load/expected-module.js +136 -0
  92. package/dist/src/load/load.js +27 -0
  93. package/dist/src/load/module-lookup.js +37 -0
  94. package/dist/src/load/package-scope.js +56 -0
  95. package/dist/src/load/plan.js +313 -0
  96. package/dist/src/load/specifiers.js +113 -0
  97. package/dist/src/load/synthesize.js +152 -0
  98. package/dist/src/load/test-globals.js +207 -0
  99. package/dist/src/load/test-joins.js +82 -0
  100. package/dist/src/{workspace-manifests.js → load/workspace-manifests.js} +4 -4
  101. package/dist/src/{workspace-programs.js → load/workspace-programs.js} +89 -66
  102. package/dist/src/{workspace-resolution.js → load/workspace-resolution.js} +24 -66
  103. package/dist/src/{workspace-run.js → load/workspace-run.js} +7 -7
  104. package/dist/src/{workspace.js → load/workspace.js} +62 -124
  105. package/dist/src/module-declarations.js +70 -85
  106. package/dist/src/overrides.js +134 -112
  107. package/dist/src/partial.js +2 -1
  108. package/dist/src/paths.js +82 -16
  109. package/dist/src/platform-calls.js +78 -0
  110. package/dist/src/platform-symbols.js +134 -0
  111. package/dist/src/position.js +43 -1
  112. package/dist/src/print.js +11 -79
  113. package/dist/src/product.js +13 -0
  114. package/dist/src/query.js +47 -0
  115. package/dist/src/ref.js +12 -20
  116. package/dist/src/references/read-rule.js +1 -0
  117. package/dist/src/references/read-rules.js +48 -0
  118. package/dist/src/references/sink.js +237 -0
  119. package/dist/src/references/sources.js +450 -0
  120. package/dist/src/references.js +117 -1074
  121. package/dist/src/report-schema.js +51 -0
  122. package/dist/src/report.js +57 -41
  123. package/dist/src/reporters/annotations.js +15 -8
  124. package/dist/src/reporters/sarif.js +16 -10
  125. package/dist/src/reporters/template.js +4 -19
  126. package/dist/src/resolve.js +246 -730
  127. package/dist/src/{configured-declarations.js → roots/configured-declarations.js} +22 -24
  128. package/dist/src/{entry-point-gaps.js → roots/entry-point-gaps.js} +6 -15
  129. package/dist/src/roots/manifest.js +216 -0
  130. package/dist/src/roots/published-reach.js +412 -0
  131. package/dist/src/roots/root-set.js +487 -0
  132. package/dist/src/roots/unseen-loads.js +236 -0
  133. package/dist/src/run.js +66 -77
  134. package/dist/src/schema.js +320 -343
  135. package/dist/src/scope.js +38 -115
  136. package/dist/src/serialization-contract.js +601 -22
  137. package/dist/src/session.js +37 -29
  138. package/dist/src/source-files.js +6 -10
  139. package/dist/src/stores.js +4 -2
  140. package/dist/src/suppress-file.js +25 -28
  141. package/dist/src/suppress-inline.js +36 -83
  142. package/dist/src/suppress.js +50 -71
  143. package/dist/src/symbol-keys.js +92 -88
  144. package/dist/src/template-field.js +9 -19
  145. package/dist/src/tests/file-class.js +76 -0
  146. package/dist/src/{outside-tests.js → tests/outside.js} +7 -7
  147. package/dist/src/{test-support.js → tests/support.js} +5 -12
  148. package/dist/src/text/compare.js +26 -0
  149. package/dist/src/text/glob.js +194 -0
  150. package/dist/src/text/named-files.js +298 -0
  151. package/dist/src/text/yaml.js +684 -0
  152. package/dist/src/type-errors.js +11 -232
  153. package/dist/src/type-parameter-reads.js +178 -139
  154. package/dist/src/unimplemented-callees.js +262 -242
  155. package/dist/src/unwrap.js +23 -0
  156. package/dist/src/usage.js +10 -0
  157. package/dist/src/vendor/unbash/ansi-c.js +132 -0
  158. package/dist/src/vendor/unbash/arithmetic-parts.js +37 -0
  159. package/dist/src/vendor/unbash/arithmetic.js +591 -0
  160. package/dist/src/vendor/unbash/assignment.js +131 -0
  161. package/dist/src/vendor/unbash/chars.js +48 -0
  162. package/dist/src/vendor/unbash/command.js +41 -0
  163. package/dist/src/vendor/unbash/expansion.js +80 -0
  164. package/dist/src/vendor/unbash/glob.js +268 -0
  165. package/dist/src/vendor/unbash/heredoc.js +27 -0
  166. package/dist/src/vendor/unbash/internal-types.js +1 -0
  167. package/dist/src/vendor/unbash/lexer.js +4274 -0
  168. package/dist/src/vendor/unbash/limits.js +3 -0
  169. package/dist/src/vendor/unbash/parser.js +1366 -0
  170. package/dist/src/vendor/unbash/parts.js +57 -0
  171. package/dist/src/vendor/unbash/substitution-context.js +8 -0
  172. package/dist/src/vendor/unbash/traversal.js +212 -0
  173. package/dist/src/vendor/unbash/types.js +1 -0
  174. package/dist/src/vendor/unbash/word-value.js +61 -0
  175. package/dist/src/vendor/unbash/word.js +40 -0
  176. package/dist/src/verbs/analyze.js +194 -127
  177. package/dist/src/verbs/describe.js +13 -18
  178. package/dist/src/verbs/explain.js +85 -139
  179. package/dist/src/verbs/print-config.js +2 -1
  180. package/dist/src/verbs/print-projects.js +6 -4
  181. package/dist/src/verbs/print-retained.js +7 -5
  182. package/dist/src/verbs/print-roots.js +4 -2
  183. package/dist/src/verbs/verb.js +1 -5
  184. package/dist/src/verbs/version.js +14 -3
  185. package/jsr.json +2 -1
  186. package/package.json +14 -8
  187. package/src/alias-chain.ts +2 -9
  188. package/src/amd.ts +130 -0
  189. package/src/analysis.ts +424 -650
  190. package/src/augmentations.ts +93 -4
  191. package/src/automatic-types.ts +12 -30
  192. package/src/bindings.ts +460 -0
  193. package/src/calls.ts +338 -46
  194. package/src/commands/held.ts +632 -0
  195. package/src/commands/read.ts +242 -0
  196. package/src/commands/shell.ts +228 -0
  197. package/src/commands/tools.ts +2382 -0
  198. package/src/component-files.ts +4 -2
  199. package/src/component-layer.ts +4 -2
  200. package/src/config.ts +31 -302
  201. package/src/conformance-record.ts +1 -1
  202. package/src/consumers.ts +16 -66
  203. package/src/contextual-uses.ts +66 -34
  204. package/src/contract/config.generated.ts +821 -0
  205. package/src/contract/contract.generated.ts +1452 -0
  206. package/src/contract/report.generated.ts +1241 -0
  207. package/src/dependencies.ts +222 -127
  208. package/src/destructuring.ts +1 -31
  209. package/src/edges.ts +41 -140
  210. package/src/element-access.ts +190 -187
  211. package/src/entries/build-scripts.ts +292 -0
  212. package/src/{configuration-files.ts → entries/configuration-files.ts} +68 -278
  213. package/src/{convention-rows.ts → entries/convention-rows.ts} +227 -31
  214. package/src/{conventions.ts → entries/conventions.ts} +367 -583
  215. package/src/{html-entries.ts → entries/html-entries.ts} +22 -48
  216. package/src/{mdx-entries.ts → entries/mdx-entries.ts} +7 -30
  217. package/src/entries/run-directories.ts +108 -0
  218. package/src/entries/sources.ts +266 -0
  219. package/src/entries/static-module.ts +858 -0
  220. package/src/entries/test-runners.ts +835 -0
  221. package/src/entries/workflow-steps.ts +432 -0
  222. package/src/enum-group.ts +2 -11
  223. package/src/erased-stores.ts +3 -7
  224. package/src/exempt-classes.ts +1 -75
  225. package/src/exempt.ts +70 -98
  226. package/src/exposure.ts +492 -0
  227. package/src/extensions.ts +45 -0
  228. package/src/facts.ts +46 -0
  229. package/src/failure.ts +63 -0
  230. package/src/file-facts.ts +15 -25
  231. package/src/finding.ts +10 -10
  232. package/src/findings/boundary.ts +11 -0
  233. package/src/findings/completion.ts +133 -64
  234. package/src/findings/dependencies-and-module-machinery.ts +4 -7
  235. package/src/findings/emitter.ts +9 -10
  236. package/src/findings/emitters.ts +38 -52
  237. package/src/{implementations.ts → findings/implementations.ts} +4 -4
  238. package/src/{in-operands.ts → findings/in-operands.ts} +4 -3
  239. package/src/findings/interfaces.ts +7 -9
  240. package/src/findings/intra-function.ts +16 -14
  241. package/src/findings/non-code-artifacts.ts +24 -15
  242. package/src/findings/reads-and-writes.ts +118 -41
  243. package/src/findings/self-check.ts +51 -38
  244. package/src/findings/unused-declarations.ts +31 -49
  245. package/src/findings/visibility-narrowing.ts +36 -40
  246. package/src/findings-pass.ts +15 -31
  247. package/src/framework-lifecycle.ts +47 -19
  248. package/src/fs/document.ts +70 -0
  249. package/src/fs/manifest.ts +96 -0
  250. package/src/fs/tree.ts +110 -0
  251. package/src/generated-file.ts +242 -35
  252. package/src/git-ignore.ts +50 -26
  253. package/src/host.ts +12 -5
  254. package/src/import-bindings.ts +98 -29
  255. package/src/index/sites.ts +781 -0
  256. package/src/index.ts +2 -2
  257. package/src/indexed-access.ts +570 -527
  258. package/src/injection-container.ts +2 -2
  259. package/src/interface-satisfaction.ts +2 -2
  260. package/src/intra-function-parts.ts +73 -44
  261. package/src/inventory/commonjs.ts +696 -0
  262. package/src/inventory/enumerate.ts +203 -0
  263. package/src/inventory/syntax.ts +311 -0
  264. package/src/inventory.ts +442 -895
  265. package/src/javascript-file.ts +54 -0
  266. package/src/json-document.ts +241 -76
  267. package/src/keyof-comparisons.ts +133 -122
  268. package/src/kinds.ts +5 -413
  269. package/src/{components.ts → liveness/components.ts} +4 -6
  270. package/src/{graph.ts → liveness/graph.ts} +100 -35
  271. package/src/liveness/matrix.ts +162 -0
  272. package/src/liveness/sweep.ts +855 -0
  273. package/src/load/classify.ts +433 -0
  274. package/src/load/diagnostics.ts +154 -0
  275. package/src/load/discover.ts +471 -0
  276. package/src/{emit-map.ts → load/emit-map.ts} +1 -1
  277. package/src/load/expected-module.ts +194 -0
  278. package/src/load/load.ts +73 -0
  279. package/src/load/module-lookup.ts +50 -0
  280. package/src/load/package-scope.ts +74 -0
  281. package/src/load/plan.ts +513 -0
  282. package/src/load/specifiers.ts +171 -0
  283. package/src/load/synthesize.ts +230 -0
  284. package/src/load/test-globals.ts +251 -0
  285. package/src/load/test-joins.ts +98 -0
  286. package/src/{workspace-manifests.ts → load/workspace-manifests.ts} +5 -5
  287. package/src/{workspace-programs.ts → load/workspace-programs.ts} +128 -85
  288. package/src/{workspace-resolution.ts → load/workspace-resolution.ts} +41 -77
  289. package/src/{workspace-run.ts → load/workspace-run.ts} +18 -16
  290. package/src/{workspace.ts → load/workspace.ts} +90 -134
  291. package/src/module-declarations.ts +74 -98
  292. package/src/overrides.ts +162 -134
  293. package/src/partial.ts +3 -2
  294. package/src/paths.ts +92 -16
  295. package/src/platform-calls.ts +119 -0
  296. package/src/platform-symbols.ts +189 -0
  297. package/src/position.ts +44 -1
  298. package/src/print.ts +12 -92
  299. package/src/product.ts +18 -0
  300. package/src/query.ts +92 -0
  301. package/src/ref.ts +12 -20
  302. package/src/references/read-rule.ts +60 -0
  303. package/src/references/read-rules.ts +55 -0
  304. package/src/references/sink.ts +314 -0
  305. package/src/references/sources.ts +632 -0
  306. package/src/references.ts +187 -1450
  307. package/src/report-schema.ts +68 -0
  308. package/src/report.ts +103 -226
  309. package/src/reporters/annotations.ts +22 -11
  310. package/src/reporters/json.ts +1 -1
  311. package/src/reporters/reporter.ts +2 -4
  312. package/src/reporters/reporters.ts +1 -1
  313. package/src/reporters/sarif.ts +29 -16
  314. package/src/reporters/template.ts +4 -20
  315. package/src/reporters/text.ts +3 -3
  316. package/src/resolve.ts +284 -1115
  317. package/src/{configured-declarations.ts → roots/configured-declarations.ts} +27 -29
  318. package/src/{entry-point-gaps.ts → roots/entry-point-gaps.ts} +7 -16
  319. package/src/roots/manifest.ts +303 -0
  320. package/src/roots/published-reach.ts +486 -0
  321. package/src/{roots.ts → roots/root-set.ts} +286 -469
  322. package/src/roots/unseen-loads.ts +345 -0
  323. package/src/run.ts +75 -91
  324. package/src/schema.ts +391 -388
  325. package/src/scope.ts +46 -138
  326. package/src/serialization-contract.ts +769 -23
  327. package/src/session.ts +87 -55
  328. package/src/source-files.ts +6 -11
  329. package/src/stores.ts +15 -3
  330. package/src/suppress-file.ts +24 -33
  331. package/src/suppress-inline.ts +55 -91
  332. package/src/suppress.ts +78 -79
  333. package/src/symbol-keys.ts +104 -107
  334. package/src/template-field.ts +15 -25
  335. package/src/tests/file-class.ts +135 -0
  336. package/src/{outside-tests.ts → tests/outside.ts} +16 -10
  337. package/src/{test-support.ts → tests/support.ts} +15 -21
  338. package/src/text/compare.ts +27 -0
  339. package/src/text/glob.ts +210 -0
  340. package/src/text/named-files.ts +388 -0
  341. package/src/text/yaml.ts +747 -0
  342. package/src/type-errors.ts +18 -288
  343. package/src/type-parameter-reads.ts +187 -158
  344. package/src/unimplemented-callees.ts +297 -280
  345. package/src/unwrap.ts +34 -0
  346. package/src/usage.ts +10 -0
  347. package/src/vendor/unbash/LICENSE +15 -0
  348. package/src/vendor/unbash/VENDORED.md +16 -0
  349. package/src/vendor/unbash/ansi-c.ts +132 -0
  350. package/src/vendor/unbash/arithmetic-parts.ts +53 -0
  351. package/src/vendor/unbash/arithmetic.ts +641 -0
  352. package/src/vendor/unbash/assignment.ts +163 -0
  353. package/src/vendor/unbash/chars.ts +48 -0
  354. package/src/vendor/unbash/command.ts +47 -0
  355. package/src/vendor/unbash/expansion.ts +144 -0
  356. package/src/vendor/unbash/glob.ts +284 -0
  357. package/src/vendor/unbash/heredoc.ts +34 -0
  358. package/src/vendor/unbash/internal-types.ts +94 -0
  359. package/src/vendor/unbash/lexer.ts +4352 -0
  360. package/src/vendor/unbash/limits.ts +3 -0
  361. package/src/vendor/unbash/parser.ts +1612 -0
  362. package/src/vendor/unbash/parts.ts +96 -0
  363. package/src/vendor/unbash/substitution-context.ts +20 -0
  364. package/src/vendor/unbash/traversal.ts +182 -0
  365. package/src/vendor/unbash/types.ts +660 -0
  366. package/src/vendor/unbash/word-value.ts +64 -0
  367. package/src/vendor/unbash/word.ts +50 -0
  368. package/src/verbs/analyze.ts +255 -164
  369. package/src/verbs/describe.ts +19 -17
  370. package/src/verbs/explain.ts +93 -169
  371. package/src/verbs/print-config.ts +2 -1
  372. package/src/verbs/print-projects.ts +6 -4
  373. package/src/verbs/print-retained.ts +7 -5
  374. package/src/verbs/print-roots.ts +4 -2
  375. package/src/verbs/verb.ts +2 -8
  376. package/src/verbs/version.ts +15 -3
  377. package/dist/src/base-url.js +0 -18
  378. package/dist/src/conventions.js +0 -937
  379. package/dist/src/discover.js +0 -468
  380. package/dist/src/entry-points.js +0 -529
  381. package/dist/src/glob.js +0 -65
  382. package/dist/src/manifest.js +0 -165
  383. package/dist/src/matrix.js +0 -246
  384. package/dist/src/pnpm-workspace.js +0 -120
  385. package/dist/src/roots.js +0 -672
  386. package/dist/src/setup-failure.js +0 -23
  387. package/dist/src/sweep.js +0 -224
  388. package/dist/src/test-joins.js +0 -101
  389. package/dist/src/version.js +0 -7
  390. package/dist/src/workflow-steps.js +0 -185
  391. package/src/base-url.ts +0 -24
  392. package/src/discover.ts +0 -653
  393. package/src/entry-points.ts +0 -687
  394. package/src/glob.ts +0 -67
  395. package/src/manifest.ts +0 -234
  396. package/src/matrix.ts +0 -423
  397. package/src/pnpm-workspace.ts +0 -135
  398. package/src/setup-failure.ts +0 -39
  399. package/src/sweep.ts +0 -347
  400. package/src/test-joins.ts +0 -120
  401. package/src/version.ts +0 -7
  402. package/src/workflow-steps.ts +0 -216
@@ -0,0 +1,194 @@
1
+ /**
2
+ * Glob patterns over paths in two forms. The configured form (the configuration, convention
3
+ * rows, bundler entries, workspace member patterns) has `*` and `?` within a segment, `**`
4
+ * across segments and brace lists. A `.gitignore` line has git's form: bracket expressions
5
+ * and backslash escapes, no brace lists (https://git-scm.com/docs/gitignore#_pattern_format).
6
+ * A configured root is not a glob: it names a symbol reference, and is read where it is used.
7
+ */
8
+ /**
9
+ * One character of a pattern as the expression syntax reads it literally. The set escaped
10
+ * is closed: under the unicode flag an escape of any other character is refused outright.
11
+ */
12
+ function quoted(character) {
13
+ return /[.*+?^${}()|[\]\\/]/u.test(character) ? `\\${character}` : character;
14
+ }
15
+ /**
16
+ * The ASCII ranges each POSIX class a bracket expression may name holds, as git's own
17
+ * character table reads them, each range written as its first and last character.
18
+ */
19
+ const CLASSES = new Map([
20
+ ["alnum", "09AZaz"],
21
+ ["alpha", "AZaz"],
22
+ ["blank", "\t\t "],
23
+ ["cntrl", "\0\x1f\x7f\x7f"],
24
+ ["digit", "09"],
25
+ ["graph", "!~"],
26
+ ["lower", "az"],
27
+ ["print", " ~"],
28
+ ["punct", "!/:@[`{~"],
29
+ ["space", "\t\n\r\r "],
30
+ ["upper", "AZ"],
31
+ ["xdigit", "09AFaf"],
32
+ ]);
33
+ /** What a pattern git cannot read matches: nothing, as git aborts the whole match. */
34
+ const NOTHING = "(?!)";
35
+ /** One code point as a member of an expression class. */
36
+ function member(point) {
37
+ return `\\u{${point.toString(16)}}`;
38
+ }
39
+ /**
40
+ * The class a bracket expression opening at `open` denotes, and the index past its `]`,
41
+ * read as git's wildmatch reads it: a leading `!` or `^` negates it, a `]` first is a
42
+ * member, `\` escapes one character, `x-y` is a range (one whose `y` is below `x` holds
43
+ * `x` alone) and `[:name:]` a POSIX class. An unclosed bracket or an unknown class name
44
+ * matches nothing. Neither form matches the solidus.
45
+ */
46
+ function bracket(pattern, open) {
47
+ let at = open + 1;
48
+ const negated = pattern[at] === "!" || pattern[at] === "^";
49
+ if (negated) {
50
+ at += 1;
51
+ }
52
+ const next = () => {
53
+ const point = pattern.codePointAt(at);
54
+ at += point !== undefined && point > 0xffff ? 2 : 1;
55
+ return point;
56
+ };
57
+ let members = "";
58
+ let low;
59
+ for (let first = true;; first = false) {
60
+ let point = next();
61
+ if (point === undefined) {
62
+ return { source: NOTHING, end: pattern.length };
63
+ }
64
+ if (point === 0x5d && !first) {
65
+ return { source: negated ? `[^/${members}]` : `(?!/)[${members}]`, end: at };
66
+ }
67
+ if (point === 0x2d && low !== undefined && at < pattern.length && pattern[at] !== "]") {
68
+ let high = next();
69
+ if (high === 0x5c) {
70
+ high = next();
71
+ }
72
+ if (high === undefined) {
73
+ return { source: NOTHING, end: pattern.length };
74
+ }
75
+ members += high >= low ? `${member(low)}-${member(high)}` : "";
76
+ low = undefined;
77
+ continue;
78
+ }
79
+ if (point === 0x5b && pattern[at] === ":") {
80
+ const close = pattern.indexOf("]", at + 1);
81
+ if (close < 0) {
82
+ return { source: NOTHING, end: pattern.length };
83
+ }
84
+ if (close > at + 1 && pattern[close - 1] === ":") {
85
+ const ranges = CLASSES.get(pattern.slice(at + 1, close - 1));
86
+ if (ranges === undefined) {
87
+ return { source: NOTHING, end: pattern.length };
88
+ }
89
+ for (let one = 0; one < ranges.length; one += 2) {
90
+ members += `${member(ranges.charCodeAt(one))}-${member(ranges.charCodeAt(one + 1))}`;
91
+ }
92
+ low = undefined;
93
+ at = close + 1;
94
+ continue;
95
+ }
96
+ }
97
+ if (point === 0x5c) {
98
+ point = next();
99
+ if (point === undefined) {
100
+ return { source: NOTHING, end: pattern.length };
101
+ }
102
+ }
103
+ members += member(point);
104
+ low = point;
105
+ }
106
+ }
107
+ /** The expression source of one pattern with no brace list. */
108
+ function source(pattern, form) {
109
+ let text = "";
110
+ let at = 0;
111
+ while (at < pattern.length) {
112
+ if (pattern.startsWith("**/", at)) {
113
+ text += "(?:[^/]*/)*";
114
+ at += 3;
115
+ continue;
116
+ }
117
+ if (pattern.startsWith("**", at)) {
118
+ text += ".*";
119
+ at += 2;
120
+ continue;
121
+ }
122
+ const character = pattern[at] ?? "";
123
+ if (form === "gitignore" && character === "[") {
124
+ const read = bracket(pattern, at);
125
+ text += read.source;
126
+ at = read.end;
127
+ continue;
128
+ }
129
+ if (form === "gitignore" && character === "\\" && at + 1 < pattern.length) {
130
+ text += quoted(pattern[at + 1] ?? "");
131
+ at += 2;
132
+ continue;
133
+ }
134
+ at += 1;
135
+ text += character === "*" ? "[^/]*" : character === "?" ? "[^/]" : quoted(character);
136
+ }
137
+ return text;
138
+ }
139
+ /** A pattern with every brace list expanded into its alternatives; a lone `{` stands for itself. */
140
+ export function braceExpanded(pattern) {
141
+ const open = pattern.indexOf("{");
142
+ const close = open < 0 ? -1 : pattern.indexOf("}", open);
143
+ if (close < 0) {
144
+ return [pattern];
145
+ }
146
+ const before = pattern.slice(0, open);
147
+ const after = pattern.slice(close + 1);
148
+ return pattern
149
+ .slice(open + 1, close)
150
+ .split(",")
151
+ .flatMap((member) => braceExpanded(before + member + after));
152
+ }
153
+ /** The expression one whole-path pattern of the configured form denotes. */
154
+ export function globExpression(pattern) {
155
+ const alternatives = braceExpanded(pattern).map((one) => source(one, "configured"));
156
+ return new RegExp(`^(?:${alternatives.join("|")})$`, "u");
157
+ }
158
+ /** The expression one `.gitignore` pattern denotes over a path below its file's directory. */
159
+ export function gitignoreExpression(pattern) {
160
+ return new RegExp(`^${source(pattern, "gitignore")}$`, "u");
161
+ }
162
+ const SEGMENTS = new Map();
163
+ /**
164
+ * Whether one directory name matches one segment of a workspace's member pattern, its brace
165
+ * lists already expanded. Neither `*` nor `?` matches a leading dot, as npm's workspaces read
166
+ * them: https://docs.npmjs.com/cli/using-npm/workspaces
167
+ */
168
+ export function segmentMatches(segment, name) {
169
+ if (name.startsWith(".") && !segment.startsWith(".")) {
170
+ return false;
171
+ }
172
+ let expression = SEGMENTS.get(segment);
173
+ if (expression === undefined) {
174
+ expression = globExpression(segment);
175
+ SEGMENTS.set(segment, expression);
176
+ }
177
+ return expression.test(name);
178
+ }
179
+ /**
180
+ * Whether one path's segments match a member pattern's, `**` standing for any run of segments
181
+ * that starts with no dot.
182
+ */
183
+ export function pathMatches(pattern, path) {
184
+ const [head, ...rest] = pattern;
185
+ if (head === undefined) {
186
+ return path.length === 0;
187
+ }
188
+ if (head === "**") {
189
+ return (pathMatches(rest, path) ||
190
+ (path.length > 0 && !(path[0] ?? "").startsWith(".") && pathMatches(pattern, path.slice(1))));
191
+ }
192
+ const [name, ...below] = path;
193
+ return name !== undefined && segmentMatches(head, name) && pathMatches(rest, below);
194
+ }
@@ -0,0 +1,298 @@
1
+ /** Layer 3 of the command reader: the files its words name, and the package names a command's text names. */
2
+ import { PART } from "../commands/shell.js";
3
+ import { APPENDED_EXTENSIONS, extensionOf } from "../extensions.js";
4
+ import { dirnamePath, normalizePath, relativePath } from "../paths.js";
5
+ /** The extensions a name of a file drops: a source's, an emitted file's, and a declaration's (roots.13). */
6
+ const NAMED_EXTENSIONS = [...APPENDED_EXTENSIONS, ".d.ts", ".d.mts", ".d.cts"];
7
+ /** A character a package's or a command's name may hold, so one beside a name makes it part of a longer one. */
8
+ const NAME_CHARACTER = /[\w.@-]/u;
9
+ const SEPARATOR = /[/\\]/u;
10
+ /**
11
+ * The names whose appearance as a path in a text holds one path below `dir`: its last segment
12
+ * without the extension, or whole where nothing else is left or it has none, and for an
13
+ * `index` file its directory's last segment, and `.` too where that is `dir`. Every spelling
14
+ * of the path that writes it as a path holds one of them (roots.13). None is empty, because
15
+ * an empty name is in every text.
16
+ */
17
+ function namesOf(path, dir) {
18
+ const last = path.slice(path.lastIndexOf("/") + 1);
19
+ const bare = last.slice(0, last.length - (extensionOf(last, NAMED_EXTENSIONS)?.length ?? 0));
20
+ const own = bare === "" || bare === last ? { text: last, kind: "segment" } : { text: bare, kind: "stem" };
21
+ if (own.text !== "index") {
22
+ return [own];
23
+ }
24
+ const parent = dirnamePath(path);
25
+ const directory = parent.slice(parent.lastIndexOf("/") + 1);
26
+ return [
27
+ own,
28
+ ...(directory === "" ? [] : [{ text: directory, kind: "directory" }]),
29
+ ...(parent === normalizePath(dir) ? [{ text: ".", kind: "root" }] : []),
30
+ ];
31
+ }
32
+ /**
33
+ * Whether a name that ends at `end` ends there as a path: no name character follows, nor a
34
+ * separator, which goes on to a path below it, nor a part, whose text goes on with the name,
35
+ * nor a `.` that a word character or a part follows, which goes on to another extension.
36
+ */
37
+ function endsAt(text, end) {
38
+ const next = text.charAt(end);
39
+ const after = text.charAt(end + 1);
40
+ return (!/[\w@/\\-]/u.test(next) &&
41
+ next !== PART &&
42
+ !(next === "." && (/\w/u.test(after) || after === PART)));
43
+ }
44
+ /** A character a word that writes a path may hold, a part only its run knows among them. */
45
+ const PATH_CHARACTER = new RegExp(`[\\w.@+/\\\\${PART}-]`, "u");
46
+ /** A run of {@link PATH_CHARACTER}s: a word as {@link noFileEnd} reads one. */
47
+ const PATH_WORD = new RegExp(`${PATH_CHARACTER.source}+`, "gu");
48
+ const SCOPED_PACKAGE = /^@[\w-][\w.-]*\/[\w-][\w.-]*(?:@[\w.-]*)?$/u;
49
+ /**
50
+ * The end of what `text` writes from `start`, where `word` starts, that names an image or a
51
+ * package and never a file, or `start` where it names none (roots.13): a value of a `docker:`
52
+ * that starts no longer name, and a scoped package's name, which no part goes on with, since
53
+ * a part beside it may make it a path.
54
+ */
55
+ function noFileEnd(text, start, word) {
56
+ const end = start + word.length;
57
+ const image = word.startsWith("//") &&
58
+ start >= 7 &&
59
+ text.startsWith("docker:", start - 7) &&
60
+ !NAME_CHARACTER.test(text.charAt(start - 8));
61
+ return image || (SCOPED_PACKAGE.test(word) && !holdsExtension(word)) ? end : start;
62
+ }
63
+ /** Each place of `text` that {@link noFileEnd} rules out, as a 1. */
64
+ function placesNamingNoFile(text) {
65
+ const ruledOut = new Uint8Array(text.length);
66
+ for (const { 0: word, index: start } of text.matchAll(PATH_WORD)) {
67
+ ruledOut.fill(1, start, noFileEnd(text, start, word));
68
+ }
69
+ return ruledOut;
70
+ }
71
+ /** The place after the separators `text` holds from `at`. */
72
+ function pastSeparators(text, at) {
73
+ let after = at;
74
+ while (SEPARATOR.test(text.charAt(after))) {
75
+ after += 1;
76
+ }
77
+ return after;
78
+ }
79
+ /** Whether `name`, found in `text` at `at`, appears there as a path (roots.13). */
80
+ function appearsAsPath(text, at, name) {
81
+ const before = text.charAt(at - 1);
82
+ const end = at + name.text.length;
83
+ if (before === PART) {
84
+ return false;
85
+ }
86
+ if (name.kind === "root") {
87
+ const after = pastSeparators(text, end);
88
+ return ([before, text.charAt(after)].every((one) => !NAME_CHARACTER.test(one) && !SEPARATOR.test(one)) && text.charAt(after) !== PART);
89
+ }
90
+ if (NAME_CHARACTER.test(before)) {
91
+ return false;
92
+ }
93
+ const after = pastSeparators(text, end);
94
+ if (name.kind === "directory" && after > end && endsAt(text, after)) {
95
+ return true;
96
+ }
97
+ if ((SEPARATOR.test(before) || (name.kind === "segment" && name.text.indexOf(".", 1) > 0)) &&
98
+ endsAt(text, end)) {
99
+ return true;
100
+ }
101
+ return (name.kind === "stem" &&
102
+ NAMED_EXTENSIONS.some((extension) => text.startsWith(extension, end) && endsAt(text, end + extension.length)));
103
+ }
104
+ /** Whether some text holds one of the extensions as a whole. */
105
+ function holdsExtension(written) {
106
+ return NAMED_EXTENSIONS.some((extension) => new RegExp(`${extension.replaceAll(".", "\\.")}(?!\\w)`, "u").test(written));
107
+ }
108
+ /** Whether a word's segment writes path text: text beside its parts other than `.` and `..`. */
109
+ function writesPath(segment) {
110
+ return segment.split(PART).some((piece) => piece !== "" && piece !== "." && piece !== "..");
111
+ }
112
+ /**
113
+ * Each run of path characters of `word`, at `start`, whose last segment holds a part, read as
114
+ * roots.13 reads one from past its last segment before the last that writes no path: one that
115
+ * writes none names nothing and is `unwritten` where the word may write the file a command runs,
116
+ * where a bare one names a file too. The word stands `depth` segments below the target root,
117
+ * whose own directories no checkout names alike: a leading `..` past it writes none, and an
118
+ * absolute run reads from its last segment that writes a path, `unwritten` where more is left.
119
+ */
120
+ function dynamicWords(word, start, ruledOut, depth) {
121
+ const { text, runs } = word;
122
+ const found = [];
123
+ let unwritten = false;
124
+ const read = (from, next) => {
125
+ const entry = next < 0;
126
+ // A `.` the word ends with ends a sentence, as endsAt reads one after a name.
127
+ const run = entry ? text : text.slice(from, next).replace(/\.+$/u, "");
128
+ const all = run.replaceAll("\\", "/").split("/");
129
+ const directory = all.length > 1 && all.at(-1) === "";
130
+ const written = all.filter((segment) => segment !== "" && segment !== ".");
131
+ const last = (written.at(-1) ?? "").split(PART);
132
+ // A runtime's entry is a path whatever it looks like, a scoped package's name among them.
133
+ if (!entry && (last.length < 2 || ruledOut[start + from] === 1)) {
134
+ return;
135
+ }
136
+ const climbs = written.findIndex((segment) => segment !== "..");
137
+ const above = Math.max(0, (climbs < 0 ? written.length : climbs) - depth);
138
+ const segments = written.filter((_, at) => at < climbs || at >= climbs + above);
139
+ if (!segments.some(writesPath)) {
140
+ unwritten ||= runs && (!entry || above > 0);
141
+ }
142
+ else if (all.length > 1 || holdsExtension(last.join("")) || runs) {
143
+ const kept = directory ? segments.length : segments.length - 1;
144
+ const anyDirectory = segments.slice(0, kept).findLastIndex((one) => !writesPath(one));
145
+ const absolute = all[0] === "" && all.length > 1 && anyDirectory < 0;
146
+ const from = absolute ? segments.findLastIndex(writesPath) : anyDirectory + 1;
147
+ unwritten ||= runs && absolute && from < segments.length - 1;
148
+ const glob = segments.slice(from).join("/");
149
+ found.push({ glob: glob === "" ? ["", ""] : glob.split(PART), directory });
150
+ }
151
+ };
152
+ if (runs && !text.includes(PART)) {
153
+ read(0, -1);
154
+ }
155
+ let at = text.indexOf(PART);
156
+ while (at >= 0) {
157
+ let from = at;
158
+ while (from > 0 && PATH_CHARACTER.test(text.charAt(from - 1))) {
159
+ from -= 1;
160
+ }
161
+ let next = at;
162
+ while (next < text.length && PATH_CHARACTER.test(text.charAt(next))) {
163
+ next += 1;
164
+ }
165
+ read(from, next);
166
+ at = text.indexOf(PART, Math.max(next, at + 1));
167
+ }
168
+ return { found, unwritten };
169
+ }
170
+ /** Whether `segment` is the text `glob` writes, any text standing between two of its parts. */
171
+ function standsFor(glob, segment) {
172
+ const first = glob[0] ?? "";
173
+ const last = glob.at(-1) ?? "";
174
+ if (glob.length === 1) {
175
+ return segment === first;
176
+ }
177
+ if (!segment.startsWith(first) ||
178
+ !segment.endsWith(last) ||
179
+ first.length + last.length > segment.length) {
180
+ return false;
181
+ }
182
+ let at = first.length;
183
+ const end = segment.length - last.length;
184
+ for (const middle of glob.slice(1, -1)) {
185
+ const found = segment.indexOf(middle, at);
186
+ if (found < 0 || found + middle.length > end) {
187
+ return false;
188
+ }
189
+ at = found + middle.length;
190
+ }
191
+ return true;
192
+ }
193
+ /** Whether a word's glob may write `path` or the end of it after a `/`. */
194
+ function mayStandFor(glob, path) {
195
+ let at = 0;
196
+ while (!standsFor(glob, path.slice(at))) {
197
+ const slash = path.indexOf("/", at);
198
+ if (slash < 0) {
199
+ return false;
200
+ }
201
+ at = slash + 1;
202
+ }
203
+ return true;
204
+ }
205
+ /**
206
+ * Each spelling of one path below `dir` a word may write the end of: the whole path from `root`,
207
+ * so a word may write the directories between them too, but no checkout's own, without its
208
+ * extension, and without its `/index` part, which alone is a directory's spelling.
209
+ */
210
+ function spellingsBelow(path, dir, root) {
211
+ const fromRoot = relativePath(root, path);
212
+ if (relativePath(dir, path) === undefined || fromRoot === undefined) {
213
+ return { file: [], directory: [] };
214
+ }
215
+ const whole = `/${fromRoot}`;
216
+ const extension = extensionOf(whole, NAMED_EXTENSIONS);
217
+ const bare = extension === undefined ? whole : whole.slice(0, -extension.length);
218
+ const directory = bare.endsWith("/index") ? [bare.slice(0, -"/index".length)] : [];
219
+ return { file: [whole, bare, ...directory], directory };
220
+ }
221
+ /**
222
+ * Every file of `files` below `dir` that `words` name: one of whose {@link namesOf} a path of it
223
+ * has appears in a word as a path, or a spelling of one of whose paths a word that writes a
224
+ * path with a part only its run knows may stand for, and whether a word that may write the
225
+ * file a command runs writes no path text. A file the words do not name may be named too, and
226
+ * no file a word writes as a path outside an image's or a package's name is missed.
227
+ */
228
+ export function spelledFiles(words, dir, root, files) {
229
+ const byName = new Map();
230
+ for (const { file, paths } of files) {
231
+ const [own] = paths;
232
+ if (own === undefined || relativePath(dir, own) === undefined) {
233
+ continue;
234
+ }
235
+ const seen = new Set();
236
+ for (const name of paths.flatMap((path) => namesOf(path, dir))) {
237
+ const key = `${name.kind}\u0000${name.text}`;
238
+ if (!seen.has(key)) {
239
+ seen.add(key);
240
+ byName.set(name.text, [...(byName.get(name.text) ?? []), { file, name }]);
241
+ }
242
+ }
243
+ }
244
+ const found = new Set();
245
+ const text = words.map((word) => word.text).join("\n");
246
+ const ruledOut = placesNamingNoFile(text);
247
+ // One pass per name length: each place of the text is looked up once for every length.
248
+ for (const length of new Set([...byName.keys()].map((name) => name.length))) {
249
+ for (let at = 0; at + length <= text.length; at += 1) {
250
+ for (const { file, name } of byName.get(text.slice(at, at + length)) ?? []) {
251
+ if (!found.has(file) && ruledOut[at] !== 1 && appearsAsPath(text, at, name)) {
252
+ found.add(file);
253
+ }
254
+ }
255
+ }
256
+ }
257
+ const dynamic = [];
258
+ let unwritten = false;
259
+ let start = 0;
260
+ const depth = normalizePath(dir) === normalizePath(root)
261
+ ? 0
262
+ : (relativePath(root, dir)?.split("/").length ?? 0);
263
+ for (const word of words) {
264
+ const read = dynamicWords(word, start, ruledOut, depth);
265
+ dynamic.push(...read.found);
266
+ unwritten ||= read.unwritten;
267
+ start += word.text.length + 1;
268
+ }
269
+ if (dynamic.length > 0) {
270
+ for (const { file, paths } of files) {
271
+ const spellings = paths.map((path) => spellingsBelow(path, dir, root));
272
+ if (!found.has(file) &&
273
+ dynamic.some((word) => spellings.some((spelled) => (word.directory ? spelled.directory : spelled.file).some((one) => mayStandFor(word.glob, one))))) {
274
+ found.add(file);
275
+ }
276
+ }
277
+ }
278
+ return { files: [...found], unwritten };
279
+ }
280
+ /**
281
+ * Each of `names`, a package's or a command's name, that `text` holds with no name character
282
+ * before it and no character after it but one a path or a version may go on with, `/`, `.` or
283
+ * `@` among them: `module-alias/register` holds `module-alias`, and `tsxx` holds no `tsx`.
284
+ */
285
+ export function heldNames(text, names) {
286
+ const found = new Set();
287
+ for (const name of names) {
288
+ for (let at = text.indexOf(name); at >= 0 && name !== ""; at = text.indexOf(name, at + 1)) {
289
+ const before = text.charAt(at - 1);
290
+ const after = text.charAt(at + name.length);
291
+ if (!NAME_CHARACTER.test(before) && !/[\w-]/u.test(after)) {
292
+ found.add(name);
293
+ break;
294
+ }
295
+ }
296
+ }
297
+ return found;
298
+ }